EDITION

US Edition

Coverage of US markets, technology, and business

AI ★ FEATURED

Devin AI and GPT-5.6 Sol Ultra crack math problems that stumped researchers for half a century

Cognition's Devin AI refuted four graph theory conjectures open for up to 40 years using Lean-verified proofs, while OpenAI's GPT-5.6 Sol Ultra generated a proof of the Cycle Double Cover Conjecture using 64 parallel subagents in under an hour. The results are rewriting assumptions about what reasoning-focused AI agents can do, and what they are worth.