Има един детайл, който вади тази публикация от рафта с маркетинга: всяко от десетте доказателства идва с Lean сертификат - формален запис, който машина проверява ред по ред. През май OpenAI показа опровержение на хипотеза на Ердьош, открито при тестове на неиздаден модел. Днес показват десет резултата наведнъж, и покрай тях изпускат името на следващия си голям модел.
Факт
Фактите: на 1 август OpenAI публикува десет резултата, всеки от които решава или съществено придвижва дългогодишен отворен проблем - от опаковане на сфери във високи измерения през кодове и аритметична сложност до квантови игри и криптография върху решетки. Три затварят проблеми на Ердьош (146, 180 и 183), един опровергава хипотеза на Кон за фон Нойманови алгебри, друг конструира несофична група - централен отворен въпрос в теорията на групите. По данни на компанията резултатите са постигнати от вътрешна версия на Astra, 'следващия ни голям модел', а токените за всички решения биха стрували около 2000 долара по тарифите на Sol API. Ръкописите са подготвени от хора със същия модел, след което той е формализирал всяко доказателство в Lean; публикувани са и описания на хода на разсъжденията. Компанията поема отговорност за коректността, но заявява, че самите математически аргументи са генерирани от системата. Източник: OpenAI, 01.08.2026.
Защо сертификатът е важното. Твърдение на компания за собствен модел по принцип се чете с едно наум - бенчмаркове се нагласят, формулировки се разтягат. Формализирано доказателство не оставя място за този спор: или минава проверката, или не минава. Затова тази публикация тежи повече от всяка таблица с проценти, която сме виждали тази година.
Бенчмарк се оспорва. Формално доказателство се проверява.
И режисурата си струва да се отбележи. OpenAI можеше да обяви Astra на сцена, с демо и аплодисменти. Вместо това името излиза между другото, в математическа публикация. Ходът е пресметнат: посланието не е 'вижте колко е бърз', а 'вече върши работа на изследовател'. Има и по-силен сигнал от режисурата: след майския резултат външни математици публикуваха свои надграждания. Общността не гледа от трибуната. Влязла е в играта.
Цената е онова, което остава в главата ми - около 2000 долара токени срещу задачи, по които поколения математици са си чупили зъбите. Проверката на общността тепърва предстои, и дотогава част от блясъка може да се стопи. Съотношението обаче е ново. Умният изследовател днес пита модела рано, преди колегата му да е попитал.
Официални първоизточници
OpenAI - Ten advances in mathematics and theoretical computer science, 01.08.2026Визуалът към статията е генериран код-арт, без чужди изображения.