Решили задачу тысячелетия, но обсуждается не математика
OpenAI выкатили пост: их непубличная модель якобы доказала, что решения уравнений Навье-Стокса могут терять гладкость за конечное время. Это одна из семи задач тысячелетия Института Клэя – за 26 лет решили только одну (гипотезу Пуанкаре, и то человек). Рой из ~10 000 агентов собрал доказательство за 88 часов, ещё 17 часов ушло на верификацию в Lean – грубо говоря перепроверка еще сотней агентов и отклонение доказательства при малейшей несостыковке
Но тут всплыла история, из-за которой всё это выглядит совсем не как чистая победа науки. Математик Тристан Бакмастер и исследователь из Anthropic Левент Альпёге почти год пилили похожее доказательство, активно используя ИИ, в том числе Codex от OpenAI.
Бакмастер прямо спросил, не тренировалась ли модель на его пользовательских сессиях в Codex – OpenAI ответили уклончиво (мол, в процессе решения не подсматривали, а что было раньше – не уточнили). А потом ему якобы предложили опубликовать результат первым как человеку, ближе всех подошедшему к задаче, с миллионом долларов – но только если из соавторов уберут коллегу из Anthropic. На отказ намекнули, что портить карьеру не стоит
На что нас это наталкивает?
1 – задачи, казавшиеся невозможными, походу все таки будут решаться
2 – помогать в этом будут ученые и пользователи нейронок.
Вроде и порадоваться хотелось, что ИИ решил задачу тысячелетия, но с такими вводными не очень радостно
@web3che
OpenAI выкатили пост: их непубличная модель якобы доказала, что решения уравнений Навье-Стокса могут терять гладкость за конечное время. Это одна из семи задач тысячелетия Института Клэя – за 26 лет решили только одну (гипотезу Пуанкаре, и то человек). Рой из ~10 000 агентов собрал доказательство за 88 часов, ещё 17 часов ушло на верификацию в Lean – грубо говоря перепроверка еще сотней агентов и отклонение доказательства при малейшей несостыковке
Но тут всплыла история, из-за которой всё это выглядит совсем не как чистая победа науки. Математик Тристан Бакмастер и исследователь из Anthropic Левент Альпёге почти год пилили похожее доказательство, активно используя ИИ, в том числе Codex от OpenAI.
Как только по твиттеру пошёл слух об их прогрессе, у OpenAI буквально за пару дней внутренняя модель выдала решение с подходом, подозрительно похожим на их собственный.
Бакмастер прямо спросил, не тренировалась ли модель на его пользовательских сессиях в Codex – OpenAI ответили уклончиво (мол, в процессе решения не подсматривали, а что было раньше – не уточнили). А потом ему якобы предложили опубликовать результат первым как человеку, ближе всех подошедшему к задаче, с миллионом долларов – но только если из соавторов уберут коллегу из Anthropic. На отказ намекнули, что портить карьеру не стоит
На что нас это наталкивает?
1 – задачи, казавшиеся невозможными, походу все таки будут решаться
2 – помогать в этом будут ученые и пользователи нейронок.
Вроде и порадоваться хотелось, что ИИ решил задачу тысячелетия, но с такими вводными не очень радостно
@web3che