بشنو از یه شاهکار ناب که تو دنیای ریاضیات غوغا به پا کرده و مغز آدم از ابعادش سوت می‌کشه

بشنو از یه شاهکار ناب که تو دنیای ریاضیات غوغا به پا کرده و مغز آدم از ابعادش سوت می‌کشه! تیم Axiom اعلام کرده که بالاخره غول‌پیکرترین اثبات ریاضی کل تاریخ بشریت، یعنی قضیه «طبقه‌بندی گروه‌های ساده متناهی» رو با سیستم لین (Lean) کامپیوتری و تمام‌عیار راستی‌آزمایی کرده. قضیه شوخی نیست؛ پای یه دریای علم وسطه که حدود ۱۵ هزار صفحه کاغذ می‌شه و بیش از ۱۰۰ تا دانشمند و نخبه تو چند تا نسل مختلف روش عرق ریختن تا چیزی رو بسازن که بهش لقب «جدول تناوبی تقارن» دادن. حالا سیستم‌های هوشمند نشستن خط به خط و مو رو از ماست کشیدن بیرون و مهر تایید رسمی کوبیدن پای این بنای تاریخی علم.