Gary Marcus Questions OpenAI: At Least One AI Math Proof is Wrong
GaryMarcus · x · 2026-08-02
In response to OpenAI's claim that their model solved 10 decade-old math problems for under $2,000 in API costs, prominent AI critic Gary Marcus expressed skepticism.
Citing verification from other users, Marcus pointed out that at least one of the mathematical proofs generated by OpenAI might be incorrect.
Related event: OpenAI Math Breakthrough Questioned by Gary Marcus and Others(38 posts)→
More from Fun
- Tech-circle jest: a 'sleeper agent' planted in SF under Salesforce's all-seeing eye — StewartalsopIII · 2026-11-14
- Claude-powered Seapower modding rabbit hole ends with a custom Kaiju and a flying Genshin Celestia — Parking_Asparagus_36 · 2026-11-14
- FAA only just began phasing out floppy disks, per NYT — AmiBhattMD · 2026-11-14
- Gemini 4 Carbon's Debugging Style Is Hilariously Excitable, Full of 'Aha!!' — chongdashu · 2026-11-14
- "It's Y2K calling": meme maps millennium bug fears onto today's AI anxiety — RollingMeteors · 2026-11-14
- Sci-fi film KILL/SAVE team releases "fake ads from 2045" made with AI video — killsavecom · 2026-11-14