Claude spins up its own math harness, autonomously finds counterexample to Smale's mean value conjecture
maxleiter · x · 2026-09-06
Mathematician @alpoge says that a few weeks ago Claude, prompted to work on math problems, built its own 'math harness' in Slack and autonomously found counterexamples to Smale's mean value conjecture. He plans to write more about it.
Max Leiter added he was just the 'meat proxy' — the work was all Claude's. A rare case of an AI agent autonomously exploring open math problems.
Related event: Claude Built Its Own Math Harness and Refuted the Smale Mean Conjecture(2 posts)→
More from coding & agent
- Give your coding agent unlimited Turso databases for benchmark data — glcst · 2026-09-06
- 18-year-old claims $9,000/week building sites with a 3-agent team on Grok bot — Roger_M_Taylor · 2026-09-06
- Redditor shares the pre-flight prompt he uses for every AI coding project after three-model adversarial review — Darkcraft00 · 2026-09-06
- A pragmatic guide to local agentic LLMs: compile buun's llama.cpp free on GitHub runners, Qwen3.8 27B quants span 30x — apollo_mg · 2026-09-06
- Nous Research's free Hermes Skills Hub packs 90,000+ community skills — Roger_M_Taylor · 2026-09-06
- NVIDIA gives free year-long access to 140+ AI models including GLM 5.2 and MiniMax M3 — Roger_M_Taylor · 2026-09-06