ValsAI says 10 Claude Opus 5.5 agents built a Lean-verified algorithm improvement in 15 hours
alejandroll10 · x · 2026-09-23
Eval firm ValsAI claims it tasked ten Claude Opus 5.5 agents with devising a faster shortest-path algorithm and proving it in Lean. Within 15 hours the agents reportedly produced C-HD, a formally verified improvement over published bounds. The claim drew both attention and mockery online and awaits independent verification, but if true it would be a landmark case of autonomous multi-agent research.
More from Research
- Stanford's DyCraft Uses Agentic Decomposition to Cut Physical Errors in Long-Horizon 4D Scene Generation — StanfordUniversity · 2026-11-11
- Bert Chan on His Unconventional Path from Side-Projects to the ALife Institute — BertChakovsky · 2026-11-11
- CGM Study of 62,000 People: Average Glucose Beats HgbA1C at Detecting High Insulin — arjunrajlab · 2026-11-11
- First open dictation benchmark: 761 recordings across 10 apps, Wispr Flow 79% vs Apple 35% — rohanpaul_ai · 2026-11-11
- Boltz models showcased at MSK Cancer Center for accelerating early-stage drug discovery — charlieharris01 · 2026-11-11
- Carlman: a Pac-Man-style game where all characters are Lenia cellular-automata solitons — BertChakovsky · 2026-11-11