Есть небольшой обзор про это
Спасибо, посмотрел про диагонали.
Выводы авторов, которые показались мне важными:
1. Не все задачи Эрдеша одинаково интересны. Некоторые из них - уровня упражнений для студентов. Эти задачи могут упоминаться в базах данных как нерешенные просто потому, что никто не стал публиковать решение.
2. ИИ часто неправильно понимает формулировку задачи и решает (правильно) не ту задачу, которую ему задали.
3. ИИ склонен к "скрытому плагиату", когда чужой результат приводится без указания на источник (возможно, потому, что был усвоен на этапе обучения). Поэтому за ИИ нужно перепроверять не только правильность, но и оригинальность решения, и это - трудоемкая процедура.
4. ИИ у авторов все же решил одну задачу, которую они сочли нетривиальной (представляющей умеренный интерес), а решение - оригинальным, а именно задачу Эрдеша-1051.
Цитата:
We tentatively believe Aletheia’s solution to Erdős-1051 represents an early example of an AI system autonomously resolving a slightly non-trivial open Erdős problem of somewhat broader (mild) mathematical interest, for which there exists past literature on closely-related problems [KN16], but none fully resolves Erdős-1051. Moreover, it does not appear to us that Aletheia’s solution is directly inspired by any previous human argument (unlike in many previously discussed cases), but it does appear to involve a classical idea of moving to the series tail and applying Mahler’s criterion. The solution to Erdős-1051 was generalized further, in a collaborative effort by Aletheia together with human mathematicians and Gemini Deep Think, to produce the research paper [BKK+26].
