AI Math Breakthroughs and Controversy

OpenAI's Astra solved 10 open math problems (verified with Lean) at $2K, but Timnit Gebru challenged originality citing a 2016 paper. GPT-5.6 Sol and Fable 5 proved an open conjecture. Models now produce correct long-horizon reasoning chains.