Последние сутки в моей инфосфере только и разговоров о том, что новая модель от OpenAI решила одну из математических Задач тысячелетия…
 
Вообще-то, большими и малыми победами искусственного интеллекта в математике за последние полгода уже никого не удивишь. Но Задачи тысячелетия — это совсем другой уровень, ибо их решение неизбежно продвинет целые области. Неспроста на каждую Институтом Клэя выставлен приз — 1 миллион долларов.
 
На этот раз машина — а, точнее, рой из 10000 ИИ-агентов — кажется, смогли найти условия, при которых нарушается гладкость решений уравнений Навье — Стокса. Я пишу «кажется», потому что впереди долгая процедура верификации доказательства экспертным сообществом, но публика настроена весьма оптимистично. К сожалению, в этой истории не обошлось и без споров об авторстве.
 
Обо всём этом можно прочитать в разборе по горячим следам, который буквально только что вышел на N + 1. Подготовили его мои коллеги из AIRI, ну а я им немного помог.