OpenAI оприлюднює каталог математичних результатів
6 жовтня 2026 року OpenAI виклала в публічному репозиторії на GitHub математичні рукописи, створені внутрішньою моделлю, і формалізації частини з них у Lean. У першій версії репозиторію 722 рукописи в 372 родинах результатів; на кожен результат, за словами OpenAI, у середньому пішло близько трьох годин міркувань ChatGPT Pro. Наступного дня три рукописи відкликали через помилку знака.
Чому це важливо
Раніше OpenAI показувала окремі результати моделі; тепер усе зібрано в каталог, який математики можуть читати, перевіряти й цитувати, з Lean-доказами там, де вони є, і з відкритим журналом правок. Перші ж відкликання показують, що серед неформалізованих результатів трапляються помилки, як і попереджає README. Чи правильні решта тверджень, незалежної перевірки ще не прочитано.
Що каже OpenAI на сторінці. Компанія публікує «широкий спектр» нових математичних результатів, отриманих внутрішньою передовою моделлю; радилася з незалежною Дорадчою групою з математики й штучного інтелекту при Інституті перспективних досліджень (див. запис про її створення) щодо найкращих практик; публікує результати в репозиторії з правилами внесення змін і цитування; додає формалізації багатьох доведень у Lean; і виклала 10 стислих викладів міркувань моделі, оцінки витрачених обчислювальних ресурсів у перерахунку на ChatGPT Pro та статистику щодо кількості задач, які модель пробувала розв'язати. У середньому на результат пішло приблизно три години міркувань ChatGPT Pro. Компанія обіцяє фінансувати семінари, конференції й програми для осмислення результатів і працює над відповідальним відкриттям доступу до моделі. Що в репозиторії. README першого коміту (6 жовтня, 21:58 UTC) каже: «722 рукописи, організовані в 372 родини»; не всі мають Lean-формалізації; деякі неформалізовані результати «можуть мати вади». Оновлення 7 жовтня відкликало три рукописи через помилку знака в аргументі скорочення слідів стабілізації («Algebraicity of Weil classes on split abelian eightfolds» і дві залежні роботи про відповідності Куґа—Сатаке для K3-поверхонь і раціональну гіпотезу Ходжа для добутків K3-поверхонь), виправило ще 14, а загальну кількість довело до 719 із формалізованою часткою головних результатів 300/719, близько 42%. README, прочитаний 21 жовтня, додає, що моделі поставили близько 4 000 задач і що виклад зони без нулів Re(s) > 11/12 для дзета-функції Рімана редагувала людина. Опис результату 003 у CONTENTS.md: зона без нулів Re s > 7/8 для всіх L-функцій Діріхле, яку автори називають квазі-гіпотезою Рімана, з допоміжним доведенням для Re s > 11/12. Чого запис не стверджує. Рукописи тут не читано; описи результатів — слова OpenAI про власні тексти, і незалежного підтвердження того, що вони правильні, тут не прочитано. Кількість рукописів узято з репозиторію, а не зі сторінки OpenAI, яка чисел не наводить.