Математика OpenAI на перевірці фактами: масовий випуск і миттєві відкликання

6 жовтня 2026 року OpenAI оголосила про низку математичних результатів, отриманих власною внутрішньою передовою моделлю — невипущеною й безіменною. Рукописи розміщено в публічному репозиторії GitHub «openai/math» за ліцензією Apache-2.0. Згідно з документацією, більшість результатів отримано після того, як моделі запропонували близько чотирьох тисяч задач; обчислювальні витрати на середній результат оцінюють приблизно в три години «thinking» ChatGPT Pro. Ініціатива з’явилася після критики математиків щодо серпневих заяв, коли OpenAI повідомила про результати з відкритих проблем, зокрема про роботу щодо рівнянь Нав’є — Стокса. Згодом при Інституті перспективних досліджень (Institute for Advanced Study) утворили Advisory Group on Mathematics and Artificial Intelligence (AGMAI), щоб виробити правила сумлінної публікації.

OpenAI заявляє, що консультувалася з AGMAI і частково виконала її рекомендації — оприлюднила оцінки обчислень і статистику, а також оголосила про фінансування майбутніх семінарів, — проте випуск не повністю відповідає критеріям групи. Настанови, які AGMAI опублікувала 29 вересня 2026 року, вимагають розміщувати результати в архівах, що не контролюються лабораторіями-джерелами, і робити моделі публічними, аби роботу можна було відтворити. Крім того, AGMAI заявила, що не схвалює практику передавання складних математичних задач пропрієтарним моделям («we do not endorse this practice»), і наголосила, що людське розуміння математики залишається головним.

Крихкість такої масштабної публікації виявилася вже наступного дня після запуску. Станом на 7 жовтня журнал змін фіксує відкликання трьох рукописів: помилка в знаку в дослідженні класів Вейля зруйнувала основне доведення й потягнула за собою дві похідні роботи. У журналі також зазначено виправлення в чотирнадцяти рукописах і оновлені посилання ще в тринадцяти. Нині в Lean формалізовано 300 із 719 основних результатів — близько 42%. Щодо решти сама OpenAI попереджає, що деякі «можуть мати проблеми». Як зауважила Annemarije de Boer у Yahoo Tech, навіть формальної верифікації недостатньо, щоб встановити, чи справді результат новий, вагомий і коректно поставлений. Добір результатів здійснила OpenAI, жоден із них, наскільки відомо, не пройшов рецензування, а збірку не оцінено незалежно. Оскільки модель не названо і вона недоступна, генерацію неможливо відтворити.

Публікація такого масштабу перекладає значну частину роботи з перевірки на математичну спільноту: три відкликання й десятки виправлень за один день це добре показують. Автоматизувати письмо — не те саме, що автоматизувати істину. — Olya