Недоступна модель OpenAI опублікувала 719 математичних праць і розділила математиків

OpenAI оприлюднила на GitHub добірку математичних результатів, отриманих за допомогою моделі штучного інтелекту, яку компанія ще не зробила публічною. Опублікований на початку жовтня 2026 року набір містить сотні дослідницьких праць, які, за словами компанії, розв'язують давні відкриті проблеми. Публікація викликала різко поляризовані реакції серед математиків.

Спочатку добірка містила 722 праці. 7 жовтня три з них було відкликано після виявлення помилки в доведенні, тож загальна кількість становить 719. Жодних конкретних заперечень щодо решти праць поки публічно не висловлено. OpenAI стверджує, що обчислення для кожного результату приблизно відповідають трьом годинам міркувань ChatGPT Pro.

Перевірка триває

Для перевірки роботи OpenAI використовує Lean, систему, яка записує доведення формальною мовою, щоб комп'ютер міг перевірити кожен логічний крок. Таким способом підтверджено близько половини праць. Проте потрібна незалежна перевірка, зокрема для того, щоб переконатися, що формально перевірене твердження справді відповідає тезі кожної праці. Тому наукове визнання результатів поки залишається під питанням.

Французький математик Юго Дюмен-Копен, відомий своїми роботами з теорії ймовірностей і статистичної фізики, заявив під час відеоконференції, що в добірці є 16 задач, над якими він працював роками. На його думку, головна проблема полягає не в тому, що машина розв'язала їх першою, а в тому, що результати з'явилися у величезному обсязі, не давши спільноті часу їх осмислити. Раніше відкритий лист, підписаний 25 лауреатами Медалі Філдса, попереджав, що одночасна публікація багатьох розв'язків залишає замало часу для розуміння ідей і методів, які за ними стоять.

Заклик до бойкоту та інші погляди

Асоціація «Людська математика» (HMA) пішла далі, стверджуючи, що ця робота скоріше демонструє технологічну міць, ніж є науковим внеском, і закликала математиків бойкотувати співпрацю з OpenAI. Лауреат Медалі Філдса Тімоті Гауерс має іншу позицію: він вважає, що сама кількість результатів не повинна автоматично сприйматися негативно. Його занепокоєння стосується довгострокової перспективи: відкриті задачі допомагають залучати молодих людей до математики, і незрозуміло, наскільки стійким буде цей потік талантів.

OpenAI заявила, що фінансуватиме семінари, конференції та спеціальні дослідницькі програми, які допоможуть спільноті осмислити результати. Компанія також ділиться узагальненнями міркувань, оцінками обчислювальних ресурсів і матеріалами для перевірки. Цей випадок позначає новий етап дебатів про роль штучного інтелекту у створенні науки та про те, як дослідники-люди можуть не відставати від нього.