Part of The Rogue AI Crisis · 14 stories · since Sep 22 · newest 8h ago
OpenAI's 722-paper math dump splits mathematicians, forces retractionsOpenAI withdraws three manuscripts over a sign error
4 Oct 8 3:05 AM · 5d ago · 5 articles · 6 posts · 6 comments · 5 sources · development 4 of 7
OpenAI pulled three papers related to Weil classes, Kuga-Satake correspondences and the rational Hodge conjecture after a sign error was found to invalidate a key argument, and revised 14 other manuscripts; the company said about 42% of top-line results (300/719) are now formalized.
OpenAI Releasing labAssociation for Human Mathematics Mathematicians' advocacy groupTerence Tao Mathematician
Zvi Mowshowitz Independent AI analyst / blogger
The whole story articlespostscomments the bright band is this development · numbered dots are the others · click one to jump
What was reported 1 claim about this development
-
first by HN Best, 5d ago · also HN Frontpage
What people said 8 voices · verbatim
-
Right, easy comparison to make the the open source community for software.And it's not like this is something where we're loaned some top math genius for a limited amount of time and we have to make the most of it. Rather, this is a new high water mark. The accessibility of the results is no longer scarce. The scarcity has shifted, and that's…
-
🧠 Traditional 🧑🏫 breakthroughs enriched the field; today, AI solves problems without contextualizing or communicating them, bypassing scholarly activities and undermining the long‑term health of mathematics. @ tao proposes a “Math 2.0” vision to shift emphasis toward holistic contributions—exposition, community building, and new directions 👇…
-
Interesting to see, given the controversy over the OpenAI release of a series of proofs and what it means for the discipline of mathematics, that at least some of the OpenAI proofs seem to have kicked off extremely rapid iterative advances from a wide community of collaborators.
-
I have this feeling that the frontier of maths is going to accelerate faster than humans can keep up with it, even if machines get exceptionally good at math exposition. There’ll be some event horizon of new discoveries which are so complex we’ll never understand their intermediate steps. Beyond that point, humans will revert to “Math 1.0”, where…
-
I think this focus on a "holistic" approach applies to everything AI is touching now, not just math. On Twitter I see people one-shotting games, or reproducing games. If the goal is to just one-shot a game using AI, it's done. But if the goal is to produce immersive medium that people can truly enjoy, admire the story and the craftsmanship, and…
-
I said this when OpenAI announced they had solved a Millennium prize problem: solving open problems for the sake of it will lose its cachet. AI companies will no longer benefit by making these announcements. They've proven the effectiveness of their tool. If people want to use them to advance human knowledge then let them do that. There's no…
-
> There seems to be more interest in hitting some arbitrary benchmark (we proved X unsolved problems)> genuinely contributing to mathematicsWhat's the difference between the two? Proofs are no longer the goalpost?
-
Its kinda like the arms race in the cold war. There came out some truly marvelous technologies but the actualy goals were frankly terrifying.
All 7 developments of OpenAI's 722-paper math dump splits mathematicians, forces… →
NewswiresHacker NewsMastodonRedditXBlueskyGoogle NewsLobsters