Researchers claim $400 multi-model agent run cracked 70-year-old Pierce–Birkhoff conjecture
burny_tech · x · 2026-10-04
Researcher junyur reports solving the 70-year-old Pierce–Birkhoff conjecture in real algebraic geometry with roughly $400 of tokens via a multi-agent system (details and verification still pending).
Key practical finding: models from different families (GPT and Claude) are strongly complementary even when assigned the same role independently — they bring different knowledge, habits, and strategies, catch each other's errors, and unblock stuck arguments.
On a tight token budget, one agent per model family often beat a larger swarm of a single model. A useful lesson for low-cost multi-model orchestration.
More from coding & agent
- Coding agent costs down two months straight: LangChain CEO shares 3-step playbook — hwchase17 · 2026-10-04
- Dev uses Claude to spin up ad hoc audio listening tools on the fly — teropa · 2026-10-04
- Indie dev podcast: using AI agents daily finally made me understand my boss — yihui_indie · 2026-10-04
- GeoffreyHuntley: the next programming language should be designed for LLMs, not humans — teropa · 2026-10-04
- Dev open-sources tools to run OpenAI's original 1.5B GPT-2 XL checkpoint on CPU-only WSL 2 — MikePFrank · 2026-10-04
- RLM explained: MIT's recursive REPL approach lets LLMs handle contexts beyond the window — AnuranBuilds · 2026-10-04