ИИ взял математику штурмом

OpenAI заявила, что решила одну из знаменитых задач тысячелетия — класса математических проблем, за решение каждой из которых Clay Mathematics Institute учредил премию в миллион долларов. Сообщение прозвучало во вторник и стало заметным событием не только для самой компании, но и для академической математики: результат показывает, насколько быстро системы искусственного интеллекта пытаются перейти от вычислений и подсказок к самостоятельной работе с фундаментальными доказательствами.

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

Именно здесь возник спор. Необычная последовательность событий вызвала обвинения в том, что OpenAI могла «перехватить» чужой результат, воспользовавшись сведениями о работе других групп. В обсуждении появились слова о scoop — публикации или объявлении, которыми конкурента стараются опередить, — а также намёки на возможную слежку за научными разработками. При этом представленная информация не содержит окончательных доказательств подобных нарушений и не объясняет, каким именно образом OpenAI получила сведения о прогрессе других исследователей.

Само заявление ещё не означает, что математическое сообщество автоматически признало задачу решённой. Подобные результаты должны пройти проверку специалистами: доказательство необходимо подробно изучить, воспроизвести и убедиться, что в нём нет скрытых пробелов. Для задач тысячелетия это особенно важно — эффектный пресс-релиз здесь весит меньше, чем одна корректная строка доказательства.

История поэтому выглядит двойственно. С одной стороны, OpenAI продемонстрировала серьёзный потенциал искусственного интеллекта и ускорение математических исследований. С другой — ситуация показала, как академические правила, репутация и стремление компаний первым объявить о прорыве сталкиваются в одной точке. И пока одни обсуждают возможную новую эру математики, другие пытаются понять, не превратилась ли она в соревнование по захвату заголовков.