Сингулярность достигнута в уравнениях Навье-Стокса

В математике существует список из 7 задач тысячелетия, признанных одними из самых сложных в современной математики. За их решение дают приз в 1 млн долларов. За 26 лет существования списка была решена только одна задача - Гипотеза Пуанкаре. И это при том, что тысячи, а может быть сотни тысяч профессиональных математиков бились над их решением.

OpenAI опубликовала решение задачи Навье-Стокса. Пока достоверно неизвестно точно ли оно верное, но его проверили с помощью формального прувера (автоматического верификатора) и ошибок не нашли, так что я бы предположил, что доказательство верное. К посту приложил красивую визуализацию из статьи.

Помимо этого с доказательством возник крупный скандал в среде математиков, потому что двое математиков, занимавшихся этой проблемы подобрались довольно близко к решению, они использовали Codex и есть некоторая вероятность, что их наработки легли в основу попав в тренировочные данные. Если интересно углубиться, то детальный разбор есть на Хабре.

Почему вообще это важно?

1. Уравнение Навье-Стокса важно для гидро- и аэродинамики. Его уже давно решают численными методами, но его аналитическое решение может продвинуть нас в понимании процессов турбулетности. Это в свою очередь может привести к более безопасному авиасообщению, лучшим прогнозам погоды, и, возможно, повлиять на многие другие технологические отрасли.

2. Впервые AI смог решить задачу уровня фундаментальной математики, с которой люди не могли справиться уже много десятилетий. Многие считали, что это не произойдет в ближайшие годы. Кажется, осталось очень мало формализованных задач, с которыми AI не может справиться.

3. OpenAI использовал 10 000 агентов, координирующихся между собой, и сжег токенов на десятки миллионы долларов. Раньше интеллект было невозможно купить исключительно за деньги или даже по принуждению. У работника был выбор, на что направлять свой интеллект и многие гении отказывались участвовать в сомнительных исследованиях и разработках. Теперь это выбор исключительно заказчика. Теперь интеллект можно купить за деньги, очень большие деньги.

Что теперь отделяет нас от AGI? От AGI в руках нескольких компаний, управляемых несколькими людьми, движимыми своими личными амбициями, которые даже модель не могут без инцидентов зарелизить.

@max_about_ai