Научный 2026-й начинается с сообщений о том, что искусственный интеллект наконец-то решает нерешенные математиками задачи

Научный 2026-й начинается с сообщений о том, что искусственный интеллект наконец-то решает нерешенные математиками задачи. Один из самых выдающихся математиков современности, лауреат Филдсовской премии Теренс Тао подтвердил, что GPT-5.2 решил задачу Эрдёша № 397.

Венгерский математик Пал Эрдёш, опубликовавший больше научных работ, чем кто-либо другой в истории царицы наук (более 1400), оставил больше тысячи головоломок после своей смерти в 1996 году. В задаче № 397 задается вопрос, существует ли бесконечно много решений для конкретного уравнения, включающего центральные биномиальные коэффициенты. GPT-5.2 сгенерировал доказательство, математическая LLM Аристотель формализовала его на верифицируемом языке, исправила ошибки, и проверила истинность получившегося решения, а теперь и Теренс Тао принял это доказательство.

Заявляется также о решении GPT-5.2 задач Эрдёша № 728 и № 729, - все это буквально в последние дни. Неужели мы и правда переходим к эпохе, когда нейросети перейдут от сопоставления шаблонов к настоящей логике и доказательствам? Грядет искусственный разум и ведет нас в технологическую сингулярность? )

Тао, впрочем, подчеркивает, что это все-таки самые простые задачи из списка Эрдёша, "низко висящий плод", а не глубокие новаторские прорывы. Задача № 397 была переформулирована всего несколько месяцев назад, и математики просто не успели за нее как следует взяться. В обзорах пишут, что GPT-5.2 показывает очень высокие результаты на хорошо формализованных олимпиадных задачах и существенно более скромные и нестабильные успехи на открытых исследовательских задачах.

Но интуиция подсказывает, что недолго осталась 660-ти нерешенным проблемам Эрдёша оставаться нерешенными, - а там и до совсем других проблем дело дойдет.

На фото – Теренс Тао, - между прочим, человек с самым высоким IQ в мире, 225–230 баллов.

Телеграм: t.me/ainewsline

Источник: vk.com

Комментарии: