Исследователи OpenAI протестировали невыпущенную модель ИИ, предложив ей решить 4 000 математических задач, которые ранее считались нерешенными. В результате работы система подготовила 722 рукописи, распределенные по 372 группам связанных результатов.
По данным OpenAI, на получение каждого результата уходило в среднем три часа вычислительных мощностей. Компания подчеркнула, что, хотя многие из полученных работ содержат проверяемые компьютером доказательства Lean, часть результатов остается неподтвержденной и может содержать ошибки.
В ходе работы над проектом OpenAI консультировалась с независимой Консультативной группой по математике и искусственному интеллекту при Институте перспективных исследований. Официальный анонс результатов состоялся 6 октября 2026 года.
Эксперимент демонстрирует переход ИИ от ответов на известные вопросы к генерации решений для неизвестных задач. Это создает проблему верификации: скорость производства аналитических материалов машиной значительно превышает возможности человека по их проверке.
