OpenAI заявила о решении одной из семи Задач тысячелетия
Выбирайте нас в Google Внутренняя система OpenAI создала доказательство образования сингулярности за конечное время в трехмерных уравнениях Навье — Стокса.
Над решением одновременно работали около 10 000 ИИ-агентов, а его формализация и проверка в Lean заняли еще 17 часов. OpenAI заявила, что не претендует на Премию тысячелетия за этот результат.
incrypted.com