Tiny Pickles: Why are AI companies investing so much in math proofs?
OpenAI announced on September 8th, 2026 that a fleet of 10,000 AI agents running GPT-6 Astra and an unreleased model, at a cost of millions of dollars, discovered an analytical solution to a specific question about the N…