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