I think the answer to this is simple: Mathematicians don’t own math. Math is a tool to do useful things. I don’t want this gatekept by people who have a sense of entitlement. And luckily enough, they don’t have any leverage, so the appropriate response is to say no.
Math is not merely a tool. The question isn't one of doing the math, it's about publication and release of work. Humans have to follow certain rules, so why should we allow AI labs to behave differently?
It's not that murky anymore. It's been determined none of the chat contents were used. If you don't believe OpenAI, that's your choice.
See <a href="https://openai.com/index/navier-stokes-solution/" rel="nofollow">https://openai.com/index/navier-stokes-solution/
> Following an investigation, we have confirmed that Buckmaster’s Codex prompts over the two months preceding this announcement and paper on September 8, 2026, could not have influenced the system in any way, including through training. The OpenAI internal model used for this result was developed through large-scale reinforcement learning on top of a previously pretrained model. Our proofs also differ significantly. In the Euler case, Alpöge and Buckmaster proved a result with external forcing, while OpenAI’s system proved a result without external forcing.
At this point it takes some weird epistemics to think they'd need to outright fabricate the outcome of an investigation when countless other mathematical breakthroughs have been solved the same.
They are certainly biased, but I don't think such bias is strong enough to cause them to lie about facts. We may agree to disagree here.
Chance-Device · · focus · HN ↗
hodgehog11 · · focus · HN ↗
Chance-Device · · focus · HN ↗
pegasus · · focus · HN ↗
stevenhuang · · focus · HN ↗
See <a href="https://openai.com/index/navier-stokes-solution/" rel="nofollow">https://openai.com/index/navier-stokes-solution/
> Following an investigation, we have confirmed that Buckmaster’s Codex prompts over the two months preceding this announcement and paper on September 8, 2026, could not have influenced the system in any way, including through training. The OpenAI internal model used for this result was developed through large-scale reinforcement learning on top of a previously pretrained model. Our proofs also differ significantly. In the Euler case, Alpöge and Buckmaster proved a result with external forcing, while OpenAI’s system proved a result without external forcing.
pegasus · · focus · HN ↗
...and, I would add, it would be an informed choice, wouldn't you agree?
stevenhuang · · focus · HN ↗
pegasus · · focus · HN ↗
stevenhuang · · focus · HN ↗
They are certainly biased, but I don't think such bias is strong enough to cause them to lie about facts. We may agree to disagree here.