AI News
AI is solving 80-year-old math puzzles, and some mathematicians feel 'the rug pulled out'
The Decoder · Aug 1, 2026 · 3 min read
The math world just hit a tipping point. In May 2026, OpenAI published a counterexample to the Unit Distance Conjecture...