OpenAI опублікував 722 математичні рукописи, створені за неопублікованою моделлю внутрішнього кордону, розмістивши повну колекцію в загальнодоступному репозиторії GitHub під ліцензією Apache-2.0. Випуск, оголошений у дослідницькій публікації під назвою «Обмін прогресом штучного інтелекту в математиці» 6 жовтня 2026 року, є одним із найбільших на сьогоднішній день дампів математичних результатів, згенерованих штучним інтелектом, і додається з формальними перевірками Lean-доказу, скороченими підсумками міркувань і незвичайними деталями про те, скільки обчислень споживав кожен результат.

Ход приземляється в полі вже на краю. The New York Times повідомила, що реліз ще більше сколихнув математичну спільноту, яка витратила місяці на боротьбу з системами штучного інтелекту, які дають серйозні результати досліджень, тоді як Scientific American описав OpenAI як вивільнення «сотень інших математичних результатів у галузі, яка вже була в шоці». Для читачів, які відслідковують [найновіші дослідження штучного інтелекту] (https://aibuzzwire.news), випуск є тестовим прикладом того, як передові лабораторії діляться наукою, створеною машиною, не викликаючи кредитних суперечок.

Що знаходиться всередині сховища

Колекція живе в репозиторії openai/math на GitHub. Відповідно до README, вміст є математичними рукописами та допоміжними доказовими артефактами, створеними внутрішньою моделлю OpenAI, зібраними як частина оцінки розробки моделі для відкритих проблем дослідження. Поточний каталог містить 722 рукописи, організовані в 372 сімейства, де сімейство групує пов’язані статті, які можуть містити головний результат, супутні аргументи, наслідки або альтернативні докази, кожне з яких класифіковано за математичною дисципліною.

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

Як були отримані результати

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

Два названі винятки відійшли від цієї процедури: робота зі встановлення вільної від нуля області для дзета-функції Рімана, із записом, що охоплює область Re(s) > 11/12, відредаговану людиною для зручності читання, і доказ гіпотези Ходжа для абелевих різновидів CM. Обидва є серйозними основними математиками, і обидва тепер зіткнуться з громадськістю.

Також опубліковано десять скорочених підсумків міркувань моделі. Вони охоплюють результати, включаючи показник ірраціональності пі, симетричну та загальну гіпотези Малера, ізоморфізм факторів вільної групи, квазіполіноміальні межі для арифметичних прогресій, гіпотезу прямої скінченності Капланського у другій характеристиці, формулу Мезарда-Парізі для розбавлених спінових стекол, спонтанну намагніченість у квантовому феромагнетику Гейзенберга та тривимірна релятивістська система Власова-Максвелла.

Дорадча група допомогла сформувати випуск

OpenAI каже, що консультувався з незалежною консультативною групою з математики та штучного інтелекту в Інституті перспективних досліджень, розробляючи найкращі практики для обміну результатами. Ця група опублікувала свої рекомендації щодо відповідального випуску 29 вересня 2026 року після отримання понад 600 відповідей від математичної спільноти. Рекомендації прямі: «ми не схвалюємо таку практику і просимо їх припинити тестування складних математичних задач на запатентованих моделях». Група закликає лабораторії зберігати результати в наукових репозиторіях, які не контролює жодна лабораторія штучного інтелекту, призначати постійні ідентифікатори, які можна цитувати, розкривати назву моделі, використані підказки та узагальнені ланцюжки міркувань, а також утримуватися від розгляду випусків результатів як засобів маркетингу.

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

Тягар перевірки перекладається на математиків

Практичний виклик тепер належить працюючим математикам. Формальні докази Lean можна перевірити механічно, і їх наявність суттєво знижує ризик помилки. Але рукописи без формалізацій, які сам README позначає як потенційно недосконалі, потребують традиційного рецензування, а 722 рукописи – це далеко за межі того, що спільнота може швидко сприйняти. Існує також питання пріоритету та кредиту: математики, які роками займалися цими проблемами, захочуть точно знати, що було запропоновано моделі, що вона дала та чи були включені будь-які людські результати. Публікація OpenAI підсумків підказок і статистики обчислень розроблена, щоб відповісти на деякі з цих запитань заздалегідь.

Реліз також встановлює шаблон, якого можуть наслідувати конкуренти. Anthropic, Google DeepMind та інші лабораторії з граничними моделями, здатними до математики на рівні дослідження, тепер стикаються з фактичною нормою, сформульованою консультативною групою, згідно з якою результати, приховані на пропрієтарних моделях, мають бути оприлюднені з повним походженням або взагалі не дражнити.

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

Будьте попереду кривої ШІ

Наука, створена ШІ, переходить від прес-релізу до експертної оцінки. Слідкуйте за останніми новинами штучного інтелекту на aibuzzwire.news, щоб дізнатися про кожне велике дослідження, запуск моделі та зміну політики.

Читати більше новин AI →