ЗАДАЧА ТЫСЯЧЕЛЕТИЯ 4 СУТОК OpenAI заявила, что её ИИ решил задачу Навье - Стокса, одну из семи задач тысячелетия; проблема оставалась неразрешенной 90 лет. 10 тысяч ИИ-агентов перебирали подходы и обменивались находками. До доказательства они добрались за 88 часов, ещё 14 17 ушло на проверку. За основную работу система выдала 130 млрд токенов, по объёму слов это примерно 200 тысяч 4-ёх томников «Война и мир». Доказательство ещё должно пройти окончательное научное признание, это займёт около 2 лет. Кожаные математики тут же начали возмущаться. Профессор Нью-Йоркского университета Тристан Бакмастер и Левент Альпёге из Anthropic около года работали в близком направлении, используя в том числе Codex от OpenAI. Бакмастер считает подозрительным, что после известий об их прогрессе компания направила тысячи агентов по похожему пути. OpenAI отвечает, что непубличные материалы исследователей не видела, а запросы в Codex не могли повлиять на использованную систему. По словам Бакмастера, представитель OpenAI затем предложили в крысу ему одному оформить статью с результатом компании, исключив Альпёге из авторов из-за работы в конкурирующей Anthropic. В OpenAI объясняли это тем, что сотруднику конкурента нельзя дать доступ к внутренней системе. ВАШУ ЦИФРУ! Получить правильный ответ мало. Нужно понять, какая новая идея привела к нему, нормально описать доказательство, назвать работы, на которых оно основывалось, дать коллегам возможность всё проверить, упростить и потом передать метод другим. Машина может находить доказательства быстрее, чем люди успевают понять новые идеи внутри них и встроить эти идеи в научный метод. Фактически, математики теперь выполняют роль пажей у ИИ, переводя его открытие в формализованный язык научной работы. Если человек годами развивает идею, компания узнаёт направление, а финальный результат добивают тысячи её агентов, кому принадлежит открытие? Перельман, решивший предыдущий подобный вызов, отказался от $1 млн именно потому, что считал несправедливым отдавать премию ему одному: по его словам, вклад Ричарда Гамильтона, заложившего основу решения, был не меньше. Хотя, едва благородный жест нашего математика повториться ещё раз; человеком он был 1 на миллион (или, по крайней мере, один на 10 тысяч агентов). Похоже, он был последним человеком, который решил проблему тысячелетия без ИИ.