- Теренс Тао отметил, что искусственный интеллект помогает математикам находить давно решённые задачи, которые считались открытыми.
- ИИ исправил ошибки в каталоге задач Эрдеша, обнаружив решения как минимум для шести задач и обновив данные для ещё нескольких.
- По мнению Тао, технологии искусственного интеллекта могут масштабироваться для работы с базами данных по разным наукам, улучшая систематизацию знаний.
Известный математик XXI века Теренс Тао поделился наблюдениями о текущем вкладе искусственного интеллекта в научную деятельность. Он подчеркнул, что современные ИИ-системы все чаще выступают в роли «археологов знаний», анализируя большой объём научной литературы и баз данных для выявления ранее упущенных доказательств и результатов. Особенно ярко это проявилось в работе с каталогом задач Эрдеша — знаменитой коллекцией математических проблем.
В частности, Тао сообщил, что ИИ помог найти решения, которые были утеряны или забыты, хотя официально задачи считались нерешёнными. Так, для шести задач каталога удалось уточнить их статус, а примерно двенадцать карточек обновили, добавив новые релевантные исследования. Отмечается, что конкретная модель искусственного интеллекта не озвучивается, однако известно, что GPT-5 Pro ранее определила решение задачи №339, решение которой было найдено более двух десятилетий назад.
Математик видит в этом лишь начало масштабной трансформации, когда подобные ИИ-инструменты могут применяться для систематизации знаний не только в математике, но и в смежных научных областях. Интеграция с такими ресурсами, как OEIS, arXiv, zbMATH Open, PubMed и патентными реестрами, позволит находить дублирующие сведения, связывать открытые проблемы с уже существующими решениями и создавать междисциплинарные «карты знаний».
Главный смысл использования искусственного интеллекта, по мнению Тао, заключается не в автоматическом доказательстве новых теорем, а в том, чтобы упорядочить накопленные сведения и избежать повторения ошибок, связанных с потерей или забыванием уже существующих результатов. Такой подход призван ускорить процесс научных открытий, предоставляя учёным более прозрачное представление о достигнутом и перспективном.
