We cannot have them rushing to publish amidst tons of confusion, rumors of threats/scooping and outright plagiarism of existing work (by failing to cite said work).
If they're going to participate as scientists in these more rigorous fields, they're going to have to match that level of rigor, not lower it to the disastrous low that ML research publication is at.
No clue why I'm downvoted for this, HN struggles with truth-seeking on these topics.
The facts are much more nuanced than how you're presenting them here.
You mean when they say it was impossible to confirm anything but one day after it was 100% confirmed that there was no theft? And here I'm not even talking about all the ethical problems related to trying to scoop another group when you hear they're close to success, or how current solutions follow extremely closely human-generated ideas, or about the lack of relevant citations in OpenAI's paper.
Believing that OpenAI's claims have any substance cannot be explained by naivety alone.
This was a low-key hilarious replay of George Dantzig and his homework problems: https://en.wikipedia.org/wiki/George_Dantzig
The controversy was whether they had plagiarised that other work on the sub-problem, which they categorically denied after an investigation. And yes, a few days to investigate something like this is reasonable for a company as big as OpenAI. Having seen how data infra is set up when petabytes of data are flowing about, there are thousands of entwined data pipelines to figure out. Not quite as easy as running a query on a sqlite DB!
> Believing that OpenAI's claims have any substance cannot be explained by naivety alone.
Yes, they could be explained by a GitHub repo full of proofs :-)
Or are you suggesting there were hundreds of researchers who just happened to be close to solving hundreds of these long standing open problems using Codex, and OpenAI swooped in plagiarized them all? ;-)
I think it’s really cope to claim this was a human result being stolen.
There's no gatekeeping here!
https://proofsandprompts.com/2026/10/07/on-openais-release-o...
With all the hierarchy present in mathematics, I would prefer it by far.
This thing named inappropriately "OpenAI" goal is just grabbing and monopolizing. Capitalists before could not really touch the deep of the human spirit with their filth, now they can.
Said communities are doing that all on their own by caring about what AI is doing rather than just focusing on their own thing as they did before AI. It's a serious kind of envy IMO.
It is not about AI the technology, plenty of mathematicians are happy to use AI, it is about the AI companies. The tech only exists because of centuries of mathematical tradition in open science. Moreover, the livelihoods of mathematicians depend on research results and ideas which can be developed only by doing the hard work of exploring open problems.
The recent statement from mathematicians is about how the labs have spent tens of millions of dollars (resources even entire math groups at universities can only dream of) on what was essentially marketing bragging rights for their models. This directly harms the math community by depriving them of opportunities for both funding and fertile ground for new ideas, while at the same time being built on top of their entire body of work.
Now, have OpenAI decided to change their practices and stop publishing math just because they are disrupting an entire field? Not really, since this release still dumps a huge number of results to open problems without waiting for human understanding to catch up. But at least they have committed to funding programs and talking to members of the field to work out how to best evolve it in this new world. And we will still get the benefits of results that happen to have applications.
How do you know? Seems statistically unlikely with 720 problems, most of them well known