OpenAI опубликовала математические решения, но не полностью выполнила рекомендации AGMAI

Что произошло

8 октября 2026 года TechCrunch сообщил, что OpenAI выпустила сотни заявленных решений сложных математических задач. Компания заявила, что перед публикацией консультировалась с группой ведущих математиков, чтобы избежать споров, возникших после предыдущего решения моделью давно нерешённой задачи.

Однако OpenAI не полностью выполнила рекомендации математиков, особенно в части обеспечения человеческого понимания результатов.

Какие требования не были выполнены

AGMAI рекомендовала формализовать доказательства, которые люди не могут понять. При этом 42% доказательств OpenAI не прошли такую процедуру.

Из 719 рукописей только 10 содержали описание рассуждений моделей. OpenAI при этом выпускала результаты без промедления и включала сведения о том, как модели пришли к своим выводам.

Группа также призывала прекратить проверку сложных математических задач на закрытых моделях. В релизе OpenAI прямо указано, что компания оценивает свои закрытые модели на открытых исследовательских задачах по математике.

Почему это важно

Новый научный документ выявил расхождения между решением, изложенным на естественном языке, и его формальной записью в задаче с призовым фондом в 1 млн долларов, которую, предположительно, решили модели OpenAI.

Пока неясно, берёт ли OpenAI на себя ответственность за то, чтобы после публикации доказательств за ними следовало человеческое понимание, как того требуют принципы AGMAI. Группа предложила компании финансировать работу математиков, необходимую для придания решениям практического смысла.

Контекст

AGMAI опубликовала рекомендации для передовых лабораторий, работающих над решением математических задач, в конце сентября. Группа заявила, что окончательно оценить соблюдение рекомендаций должно математическое сообщество.

AGMAI не ответила на запрос TechCrunch о более подробной оценке последнего выпуска доказательств OpenAI.