Mathematician questions OpenAI's 10,000-agent proof: certificates without understanding

Mathematician Alexander Gamburd published an arXiv essay criticizing OpenAI's 88-hour proof completed by roughly 10,000 software agents, arguing it produced certificates without genuine understanding. Drawing on Schmitt's philosophy, the piece sparked wide discussion on AI-era hype.

2026-10-13 ~ 2026-10-13 · 2 related posts

• Mathematician pushes back on OpenAI's 10,000-agent, 88-hour Lean proof: certificate without understanding — _onionesque · 2026-10-13
• "Silicon Leviathan" essay drawing buzz as a key reflection on AI-era blowup — _onionesque · 2026-10-13