NYU mathematician: OpenAI fought dirty on career-making math problem

NYU professor Tristan Buckmaster announced three proofs, a step toward solving the Navier-Stokes existence and smoothness problem, one of the Millennium Prize problems. He alleges OpenAI, after learning of his work with Anthropic's Levent Alpöge, used its massive compute advantage to produce a full proof first, and even pressured him to drop Alpöge's credit. OpenAI denies seeing their work but acknowledges the possibility of data leakage via Codex.
«Почему бы тебе не разрушить свою карьеру?» — ответил Bubeck, когда Buckmaster захотел предать спор огласке.
- hatthew
Я думаю, вся эта история завязана на одном моменте. OAI говорит[0]:
> Однако наши доказательства существенно различаются, и даже точные доказанные результаты различаются в случае Эйлера (вынужденный и невынужденный).
Насколько это правда?
Если подразумеваемое утверждение верно (т.е. OAI не мог украсть результаты, потому что результаты и так были слишком разными), то, по-моему, довольно ясно, что OAI решили задачу самостоятельно, и предложить некоторую долю признания Тристану и Левенту — это щедро. Хотя, с другой стороны, грязно было вообще пытаться перехватить результат.
Если подразумеваемое утверждение ложно, и результаты Тристана/Левента составляют существенную часть решения проблемы тысячелетия, то это, вероятно, непреднамеренный, но явный плагиат. Я думаю, разумно предположить, что OAI обучали свои модели на переписках Тристана в codex, и поэтому, независимо от юридического владения, академическое владение определенно включает Тристана и Левента.
Остальная драма (отдельные заявления и формулировки, например, Себастьена) кажется несколько отвлекающим маневром. Это стоит отметить, но не стоит основывать на этом окончательные суждения об академическом проступке. Тем не менее, OAI не выглядят хорошими парнями.
- cmiles8
OpenAI здесь нужно многое объяснить.
Наименее плохое представление хода событий состоит в том, что их исследователи просто ведут себя по-хамски и не так, как принято в исследовательском сообществе.
Другие предполагаемые сценарии идут по наклонной.
- golly_ned
Кто такой «Бубек»? Статья его не представляет. И не называет его имени. То же с «Луисом» и «Диего».
Предполагаю, это https://en.wikipedia.org/wiki/S%C3%A9bastien_Bubeck
Это ужасно:
Когда Бакмастер настаивал на предании спора огласке, он говорит, что Бубек ответил: «Зачем тебе рушить свою карьеру?» Бакмастер говорит, что когда он возразил, Бубек добавил: «Если ты не хочешь, чтобы я был добр, то мне не обязательно быть добрым».
- dumberquestions
Наиболее сочувственная интерпретация событий для OAI состоит в том, что они узнали, что два математика близки к решению, и решили бросить все силы на то, чтобы добраться до него первыми, что, честно говоря, всё равно не выставляет их в особенно положительном свете.
- biophysboy
https://mathstodon.xyz/@tao/117237320796901560
Теренс Тао недавно опубликовал интересный взгляд, который отстраняется от деталей драмы с Навье-Стоксом.
Это интересное наблюдение, потому что оно не отличается от довольно распространенного явления, когда одна академическая лаборатория перехватывает результат у другой (обычно случайно).