4 ms·
It seems like some other mathematicians (not affiliated with openAI) have also (or close to) done this. A statement was posted about the surrounding events by o
by dorjoycb 25d ago
It seems like some other mathematicians (not affiliated with openAI) have also (or close to) done this. A statement was posted about the surrounding events by one of the them: https://cims.nyu.edu/%7Etristanb/statement.pdf https://cims.nyu.edu/%7Etristanb/statement.pdf
Also Terrence Tao's post: https://mathstodon.xyz/@tao/117233528517340774 https://mathstodon.xyz/@tao/117233528517340774
- verytrivial 25d agoI like the 'cat > statement.tex' approach here. These guys dream macros.
- capitainenemo 25d agoThey do mention that in the "Concurrent Work" section. Our effort began on September 1st after hearing a rumor which we later realized was related to Levent Alpöge, an Anthropic employee, and Tristan Buckmaster, a math professor at NYU. After the completion of our full project and Lean verification (on September 6th), believing from the rumor they also had a solution of Navier–Stokes, we reached out to them to offer a concurrent release of our result and to recognize their priority in a joint announcement. At that point we found out that they had a resolution of the forced Euler problem. In these discussions we offered them visibility into all of the prompts we used and later to see the proof. We recognize the priority of their work on forced Euler and congratulate them on their remarkable mathematical achievement.
- jrflo 25d agoTo my understanding, those mathematicians proved a subset of problems, not the Navier-Stokes problem itself. OpenAI used that subproblem in its proof of NS it seems. The drama comes from where OpenAI got the idea to use that route to tackle NS, since the authors maintain that no one could have plucked it out of thin air like the OpenAI research claim to have done.
- elteto 25d agoThis quote from Tao is prescient: “ There does not seem to be anything in principle preventing the methods from extending all the way to Navier-Stokes, and there is even a non-negligible chance that the forcing term could be eliminated entirely, although there are an enormous number of technical difficulties that would ensue in implementing that program. At this point, I would not be surprised if one could batter out such an extension by pouring an enormous amount of compute and AI assistance at such a task…”
- ferry-w1re 25d agoNavier integration is language in extension: C to C* [0]:https://news.ycombinator.com/item?id=49612191 https://news.ycombinator.com/item?id=49612191
- peri-cl 25d agoBuckmaster: > "I asked whether the model had been trained on, or had access to, our sessions in Codex, into which we had been putting all our drafts for the whole of this project. I was told the model did not look up user data. I asked again, about training, and I did not get an answer." OpenAI (i.e. this OP): > "While unlikely, we cannot rule out that de-identified data derived from their usage of our products helped improve our models ."
- jrflo 25d agoI feel like it's far more likely that ordinary corporate espionage or leak led to this rather than OpenAI sifting through piles of user data to find this approach. Buckmaster's collaborator works at Anthropic, and could have been targeted. That would also explain why they aren't forthcoming with the source of the prompt.
- ChoosesBarbecue 25d agoI thought one of the issues was that they wanted to remove credit from Levant, the aforementioned Anthropic collaborator? Which doesn't make sense to me if he was leaking information, or defecting to OpenAI, but I might be misunderstanding your point.
- jrflo 25d agoI don't think he was defecting or leaking directly, just that it's entirely possible that this information got to OpenAI as a rumor rather than them directly spying on mathematicians chat logs.
- EthanHeilman 25d agoI believe jrflo was saying that OpenAI watches the chats of everyone from Anthropic because watching what Anthropic employees type into their personal ChatGPT accounts is a critical source of intelligence on is happening inside of Anthropic. I would be surprised if OpenAI isn't doing that. OpenAI will take any advantage they can get. If an employee at their primary adversary is typing useful intelligence into OpenAIs website, a website that does not promise privacy from OpenAI, the only reason they wouldn't weaponize that information against Anthropic is ethics or fair play.
- contemporary343 25d ago"I was shown a prompt and told the internal research model had simply been given the problem statement. Levent had been told by Sebastien “very little human input” had been used. This turned out not to be true. Over the course of the call, as members of their team sent Sebastien corrections and details over their internal chat, it emerged that an entire team had been working on the problem, that this was one of a number of things that was tried, that work had started on the unforced problem, that the team first set the model on easier problems, including Euler, that even the prompt that had been shown to me had been written by prompting Codex, and that an insane amount of compute had been used." One of the interesting threads here that is certainly relevant to the OpenAI writeup is the human role in the process. Buckmaster clearly points out that (exceptional!) mathematicians at OpenAI were certainly involved in correcting and guiding the process - and that their path/strategy was no doubt influenced by Alpoge & Buckmaster's work. It is always in OpenAI's interest to de-emphasize the role of people in the process, as is clearly the case here. Indeed, given sufficient compute and resources, I suspect Buckmaster could have also extended their approach to N-S.
- slibhb 25d agoWorth noting that Tao's post says the authors had "significant AI input" but are reworking them into "acceptable form". Either way, it seems AI was involved.
- mrbungie 25d agoOf course AI was involved, you'd expect most mathematicians and researchers to use AI nowadays. This drama is about AI achieving impressive outcomes with little to no human intervention, as that would be signalling AGI.
- liberian 25d ago[dead]
- andriy_koval 25d ago> Either way, it seems AI was involved. I think the important question which AI made breakthrough, Claude or Codex..
- colinhb 25d agoThe allegations of contamination (using Tristan and Levent's work) aren't very well evidenced, but this behavior by OpenAI (from the authors' statement) makes them seem like the bad guys: > I said that if OpenAI released its result in the way proposed I would go public with what happened. The reply was, “Why would you ruin your career?” I replied that I am an academic, and asked why he thought going public would ruin my career. The reply was, “If you don’t want me to be nice, then I don’t have to be nice.” Threatening a research mathematician and dangling and $1M payday to dissociate from his research collaborators and to adopt OpenAI's narrative is bad stuff.
- igleria 25d agoI´m waiting on the other side version, because I know there is no justifiable way to talk to a person like they did. Sociopathic behaviour.
- Maxious 25d agoOpenAI version of events conceed some of the words alleged to have been used may have been used https://x.com/sama/status/2097385167002415140 https://x.com/sama/status/2097385167002415140 https://x.com/SebastienBubeck/status/2097379411691516310 https://x.com/SebastienBubeck/status/2097379411691516310
- igleria 25d agoInteresting that they quote the mathematician directly: “there is nothing you can do, I simply do not trust you” but then they proceed to NOT quote themselves themselves verbatim: "I deeply apologize for this extremely poor choice of words, it is the opposite of what I was trying to convey."
- deleted 25d ago[deleted]
- andrepd 25d ago> "I deeply apologize for this extremely poor choice of words, it is the opposite of what I was trying to convey." The AI-isms are seeping into their speech :)
- deleted 25d ago[deleted]
- thorum 25d agoIt reminds me of the Cognitive Dark Forest hypotheses recently shared here: > “You are creating your cool streaming platform in your bedroom. Nobody is stopping you, but if you succeed, if you get the signal out, if you are being noticed, the large platform with loads of cash can incorporate your specific innovations simply by throwing compute and capital at the problem. They can generate a variation of your innovation every few days, eventually they will be able to absorb your uniqueness. It’s just cash, and they have more of it than you. So the safest bet again is to stay silent, or at least under the radar. Best bet is to not disrupt - succeed at all … ?” https://ryelang.org/blog/posts/cognitive-dark-forest/ https://ryelang.org/blog/posts/cognitive-dark-forest/ https://news.ycombinator.com/item?id=47566442 https://news.ycombinator.com/item?id=47566442
- 8note 25d agobut what do i lose if somebody else is making money? im still having fun making something
- abathologist 25d agoOur market economies are based on competition, and most people more than the fun of making things to secure food and shelter.
- Betelbuddy 25d ago[1] - https://cims.nyu.edu/%7Etristanb/statement.pdf https://cims.nyu.edu/%7Etristanb/statement.pdf [1] - "...I was shown a prompt and told the internal research model had simply been given the problem statement. Levent had been told by Sebastien “very little human input” had been used. This turned out not to be true. Over the course of the call, as members of their team sent Sebastien corrections and details over their internal chat, it emerged that an entire team had been working on the problem, that this was one of a number of things that was tried, that work had started on the unforced problem, that the team first set the model on easier problems, including Euler, that even the prompt that had been shown to me had been written by prompting Codex, and that an insane amount of compute had been used. I asked when the first prompt had been sent by them. This question was not answered directly by OpenAI for some time. Eventually it was agreed that it had been sent in the past few days, after information about our work had reached OpenAI. I asked whether the model had been trained on, or had access to, our sessions in Codex, into which we had been putting all our drafts for the whole of this project. I was told the model did not look up user data. I asked again, about training, and I did not get an answer. Two proposals were offered to me. The first was that we post our Euler result, and that OpenAI post its Navier-Stokes result the next day. The second was that, after posting Euler, I alone write a paper presenting the Navier-Stokes result, acknowledging that an internal OpenAI model had resolved it. Sebastien twice asserted that he wanted Levent removed from authorship, and said it would all be simple if only it were not the case that, and it was so annoying that, Levent works at Anthropic. It was also said that if OpenAI posted after us, they would say that we deserved the Clay Prize, and that we were the “closest humans to the problem”. I declined both offers. I said that if OpenAI released its result in the way proposed I would go public with what happened. The reply was, “Why would you ruin your career?” I replied that I am an academic, and asked why he thought going public would ruin my career. The reply was, “If you don’t want me to be nice, then I don’t have to be nice.”..."
- deleted 25d ago[deleted]
- stymaar 25d agoA company who made their business out of stealing intellectual property from the entire mankind, stealing other researchers' unpublished work, how surprising, really.
- 20k 25d agoI just want to add to this another update by the author as well: https://mastodon.social/@tristanbuckmaster/117236471352470303 https://mastodon.social/@tristanbuckmaster/11723647135247030... Which seems to be very directly accusing OpenAI of plagiarism
- irthomasthomas 25d ago"When a further trained version of our internal model became available over the course of the effort, we updated our agents to that model." woah, this gives some credit to the rumor that openai finetuned a model over the course of a few days for this task, and maybe trained on the Chatgpt/codex history of the authors, including drafts of this research.
- _alternator_ 25d ago> The significance of this with respect to the way we train students, assign credit, referee, and decide what is worth one human life’s attention cannot be understated. This. What is worth a human life's attention? As little as a month ago, mathematics was valuable in part because only a small number of people could possibly make progress on the frontier. We are confronting an existential moment for a 4000+ year-old human cultural endeavor. The assumption that "mathematical thinking is hard" has been built-in at a number of important points in how we support mathematics and mathematicians. We need a different model, and fast. Already, the research community is feeling unable to digest proofs fast enough to keep up with the output of AI models. The paper is 165 pages, and the discovery was finalized two days ago. What this means is that nobody really understands it. Nobody would accept OpenAI's proof in this amount of time, except that they formalized it in lean. The formalization alone would normally be another years-long (or career-long!) effort if the world was the way it was one year ago. So, again, what efforts are worth a life's attention today? It's a harrowing change.
- ianjbutler 25d ago> A statement was posted about the surrounding events by one of the them: https://cims.nyu.edu/%7Etristanb/statement.pdf https://cims.nyu.edu/%7Etristanb/statement.pdf Also Terrence Tao's post: https://mathstodon.xyz/@tao/117233528517340774 https://mathstodon.xyz/@tao/117233528517340774 Glad to see this is the top comment. There's also https://news.ycombinator.com/item?id=49605915 https://news.ycombinator.com/item?id=49605915 which links directly. Corporate talking points where they try to set the narrative are going to get the big press and most discussion elsewhere, which is gross. But inevitably the press will muddle the priority question, and even if they didn't.. as usual OpenAI will even benefit from the accusation of bad behavior. Sigh.
- tzone 25d agoThis Tristan guy's statement reads like something a normal, reasonable human being would write. Reading Sam Altman's and Sebastien's tweets reads like something written by people who know they did dirty shit and are willing to cross any lines to "win". https://x.com/sama/status/2097385167002415140 https://x.com/sama/status/2097385167002415140 OpenAI's leadership just can't help to continue to disappoint everyone with their lack of ethics or integrity.
- madrox 25d agoStatements from OpenAI about it: https://x.com/SebastienBubeck/status/2097379411691516310 https://x.com/SebastienBubeck/status/2097379411691516310 https://x.com/sama/status/2097385167002415140 https://x.com/sama/status/2097385167002415140 I tend to believe OpenAI on this. Their stated desires seem rational, and Buckmaster's account makes them sound like cartoon villains. It sounds like there may have been some things lost in translation along with some bruised egos. Seems like the most plausible explanation for what Buckmaster is claiming.