OpenAI опубликовала 719 математических доказательств, сгенерированных ИИ, которые охватывают 372 семейства результатов и открытые исследовательские задачи. Изначально 6 октября было представлено 722 рукописи, однако 7 октября три из них отозвали из-за ошибки в символах.
Публикация подверглась критике за несоответствие стандартам Консультативной группы по математике и ИИ (AGMAI). OpenAI использовала проприетарные модели, тогда как эксперты рекомендовали раскрывать промпты, цепочки рассуждений, затраты на вычисления и использовать открытые модели.
Лишь 10 рукописей содержат цепочки рассуждений ИИ. Около 42% доказательств не прошли формализацию и не имеют машиночитаемых метаданных, что, по мнению AGMAI, затрудняет проверку и изучение результатов математическим сообществом.
Математик Теренс Тао раскритиковал подход компании, назвав его «доказательным несварением». Он считает, что акцент на скорости и количестве решенных задач подрывает традиционные механизмы обучения, сотрудничества и глубокого понимания математических концепций.
Тао опасается, что использование ИИ для массового решения открытых задач превращает математику в ресурс для «сбора урожая». По его мнению, знание ответа препятствует поиску новых путей решения, так как процесс исследования оказывается «загрязнен» готовым результатом.
