OpenAI выложила на GitHub 372 математических результата своей ИИ-модели

OpenAI выложила на GitHub 372 математических результата своей ИИ-модели и утверждает, что каждый решает открытую задачу или заметно продвигает её, сообщает The Decoder.

Среди них, по данным компании, улучшения важных компьютерных алгоритмов и продвижение в задачах, связанных с гипотезой Римана. Почти каждый результат модель получила по одному запросу к одному ИИ-агенту, хотя иногда понадобилось несколько попыток. В среднем на результат ушло примерно столько вычислений, сколько ChatGPT Pro Thinking тратит за три часа работы.

Для сравнения, решение одной из задач Навье — Стокса, которое, по словам OpenAI, та же модель получила раньше и которое уже несколько недель проходит рецензирование, потребовало 10 тыс. агентов и вычислений на миллионы долларов.

Результаты выложены не в научные журналы, а в репозиторий с историей правок и ссылками на литературу. Многие доказательства записаны также на языке Lean, чтобы их логику мог проверить компьютер, ведь при таком объёме математикам было бы трудно проверить всё вручную. Но такая проверка подтверждает только правильность рассуждений, а не новизну и значимость результата.

Компания опубликовала методику и статистику попыток, но не раскрыла запросы к модели и указала затраты только в среднем, без разбивки по задачам. OpenAI также обещает финансировать семинары и конференции, посвящённые разбору результатов ИИ, и готовит выпуск модели для учёных.

Математики встречают такие публикации неоднозначно. В открытом письме «Серьёзное расхождение ИИ и математики» 25 лауреатов Филдсовской премии предупредили, что цели ИИ-индустрии и математики сильно расходятся. Решение задач для учёных лишь путь к пониманию, а массовое производство верных утверждений, по их словам, может уничтожить почву для новых идей.