The Mathocalypse
Вчора OpenAI опублікувала 372 проривних математичних результатів, серед яких — доведення унікальної гіпотези проіграшу (Unique Games Conjecture, UGC), над якою математики працювали десятиліттями. Вперше штучний інтелект створив формальне доведення задачі, яка визначає складність багатьох оптимізаційних проблем — і це означає, що низка задач справді NP-складні навіть для наближених рішень. Новаторство не лише в обсязі (сотні результатів), а й у тому, що багато з них ще не прочитав жоден математик — є лише формальні Lean-сертифікати. Вчені вже називають це одним із найбільших днів в історії математики
Карта висвітлення
У випуск пішла версія Hacker News: серед видань цієї теми в нього вища вага. Першим подію опублікував Hacker News — на 8 хв раніше. Ми зберігаємо всі посилання, тож видання, яке було першим, видно назавжди, навіть якщо агрегатори про це забудуть.
Як новина потрапила у випуск
«Новина про важливе математичне відкриття, це наукова подія.» — класифікатор, 0,95