ИИ может решить оставшиеся задачи тысячелетия за 5–10 лет

Директор Высшей школы современной математики МФТИ Андрей Соболевский предположил, что в ближайшие 5–10 лет искусственный интеллект поможет закрыть большинство оставшихся «задач тысячелетия».

Всего Математический институт Клэя сформулировал семь таких проблем и назначил за каждое решение премию в $1 млн. Официально признана решённой гипотеза Пуанкаре. В сентябре OpenAI представила доказательство по задаче Навье — Стокса, однако его проверка ещё продолжается.

Если результат подтвердят, в списке останутся пять открытых проблем. По прогнозу Соболевского, ИИ ускорит поиск доказательств и контрпримеров, но проверка и осмысление результатов останутся за математическим сообществом.

❤️ — если хотите чаще видеть новости большой математики.