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's Math Breakthrough Questioned: Transparency and Validity in Doubt(10 posts)→
More from Fun
- Altman's Suggestion to Use AI for Kids' Podcasts Sparks Backlash Over Personal Connection — zacharynado · 2026-08-02
- Imagining '2001: A Space Odyssey' Remade with AI in 2026 — xiaosun86 · 2026-08-02
- AI Will Solve the Riemann Hypothesis Before Doing Our Taxes — rickasaurus · 2026-08-02
- Gary Marcus Slams AI Community for Desperate 'Astra is ASI' Hype — GaryMarcus · 2026-08-02
- Google Earth Pulls AI Image Feature in Under 24 Hours After Deepfake Disasters — jonerp · 2026-08-02
- AI Researcher Mocks: AI Might Kill Everyone, But At Least The Math Proofs Are Great — Miles_Brundage · 2026-08-02