Оказалось, что главный вопрос сегодняшней математики звучит так: а не с3.14здил ли OpenAI решение задачи тысячелетия у двух людей, которые год загружали свою работу в её же Codex?
И бомба тут не в слухах. OpenAI сама в официальном посте написала: «мы не можем исключить, что обезличенные данные из использования ими наших продуктов помогли улучшить наши модели». То есть компания не отрицает, что сессии этих двух математиков могли стать топливом для модели, которая их обошла.
Теперь по порядку. Уравнения Навье-Стокса описывают движение жидкости. За доказательство, что их решения всегда остаются гладкими, институт Клэя с 2000 года обещает миллион. Из семи задач тысячелетия решена одна, Перельман от денег отказался.
Тристан Бакмастер (NYU, премия Клэя 2019) и Левент Альпёге (математик, сотрудник Anthropic) год работали над задачей как частные лица, без поддержки компаний. Пользовались и Claude, и Codex. 15 августа доказали взрыв решений для уравнений Эйлера, ближайшего родственника Навье-Стокса. Верифицировано в Lean.
3 сентября в твиттере пошёл слух: «Anthropic решил Навье-Стокса». Бакмастер сам написал знакомому в OpenAI: проекта Anthropic нет, это наша частная работа. Ответили дружелюбно, предложили компьют.
6 сентября, воскресенье. Себастьян Бюбек из OpenAI на созвоне сообщает: наша внутренняя модель уже написала 100 страниц доказательства для Навье-Стокса. Тем же подходом. Варианты: либо вы публикуете Эйлера, а мы завтра Навье-Стокса, либо ты один пишешь статью о нашем результате. Условие одно: Альпёге из авторов убрать, он же из Anthropic. На отказ, по словам Бакмастера, прозвучало: «Зачем вам ломать себе карьеру?»
Бакмастер спросил в лоб: модель учили на наших сессиях в Codex? Прямого ответа не получил.
8 сентября он выложил препринты и четыре страницы заявления. Через несколько часов OpenAI выпустила доказательство: 10 000 агентов, 88 часов, миллионы долларов компьюта, невыпущенная модель «сильнее GPT-6 Astra». Бюбек назвал обвинения ложными. Обучение, по его словам, стартовало 28 августа. После слухов ресурсы перебросили на Навье-Стокса.
Оказалось также, что миллион пока никому не светит. Оба результата про вариант с внешней силой. Клэй числит задачу нерешённой.
Вопрос теперь не к Навье и не к Стоксу. Вопрос к каждому, кто держит в Codex свой стартап, диссертацию или патент: вы уверены, что это ещё ваше?
И бомба тут не в слухах. OpenAI сама в официальном посте написала: «мы не можем исключить, что обезличенные данные из использования ими наших продуктов помогли улучшить наши модели». То есть компания не отрицает, что сессии этих двух математиков могли стать топливом для модели, которая их обошла.
Теперь по порядку. Уравнения Навье-Стокса описывают движение жидкости. За доказательство, что их решения всегда остаются гладкими, институт Клэя с 2000 года обещает миллион. Из семи задач тысячелетия решена одна, Перельман от денег отказался.
Тристан Бакмастер (NYU, премия Клэя 2019) и Левент Альпёге (математик, сотрудник Anthropic) год работали над задачей как частные лица, без поддержки компаний. Пользовались и Claude, и Codex. 15 августа доказали взрыв решений для уравнений Эйлера, ближайшего родственника Навье-Стокса. Верифицировано в Lean.
3 сентября в твиттере пошёл слух: «Anthropic решил Навье-Стокса». Бакмастер сам написал знакомому в OpenAI: проекта Anthropic нет, это наша частная работа. Ответили дружелюбно, предложили компьют.
6 сентября, воскресенье. Себастьян Бюбек из OpenAI на созвоне сообщает: наша внутренняя модель уже написала 100 страниц доказательства для Навье-Стокса. Тем же подходом. Варианты: либо вы публикуете Эйлера, а мы завтра Навье-Стокса, либо ты один пишешь статью о нашем результате. Условие одно: Альпёге из авторов убрать, он же из Anthropic. На отказ, по словам Бакмастера, прозвучало: «Зачем вам ломать себе карьеру?»
Бакмастер спросил в лоб: модель учили на наших сессиях в Codex? Прямого ответа не получил.
8 сентября он выложил препринты и четыре страницы заявления. Через несколько часов OpenAI выпустила доказательство: 10 000 агентов, 88 часов, миллионы долларов компьюта, невыпущенная модель «сильнее GPT-6 Astra». Бюбек назвал обвинения ложными. Обучение, по его словам, стартовало 28 августа. После слухов ресурсы перебросили на Навье-Стокса.
Оказалось также, что миллион пока никому не светит. Оба результата про вариант с внешней силой. Клэй числит задачу нерешённой.
Вопрос теперь не к Навье и не к Стоксу. Вопрос к каждому, кто держит в Codex свой стартап, диссертацию или патент: вы уверены, что это ещё ваше?