ИИ находит забытые решения в математике: прорыв Теренса Тао
Теренс Тао, выдающийся математик современности, отметил растущую роль искусственного интеллекта в научных исследованиях. По его словам, ИИ выступает в качестве "археолога знаний", эффективно сопоставляя данные из различных источников – научных архивов, баз данных и публикаций – и обнаруживая упущенные ранее доказательства.
Благодаря этому, в знаменитом Каталоге задач Эрдеша, обширной коллекции математических проблем, были исправлены ошибки. ИИ выявил, что как минимум шесть задач, ранее считавшихся нерешенными, на самом деле уже имели решения. Например, задача №339 была решена еще 22 года назад, что было установлено с помощью GPT-5 Pro.
Тао уверен, что это лишь первый шаг. Методы, успешно примененные к Каталогу Эрдеша, могут быть масштабированы на всю математику и другие научные дисциплины. Интеграция ИИ с базами данных, такими как OEIS, arXiv, zbMATH Open и PubMed, позволит выявлять дубликаты, находить связи между проблемами и решениями, и создавать "карты знаний" между различными областями науки.
Главная ценность ИИ, по мнению Тао, заключается не в создании новых теорем, а в систематизации и организации уже имеющихся знаний. Ведь прежде чем идти вперед, необходимо разобраться в том, что уже известно.
