OpenAI’s AI Just Solved Three of the Hardest Problems in Mathematics. If the Proofs Hold, the World Changes.
I’ve been writing about AI for years. I’ve seen models pass bar exams, write code, defeat grandmasters, generate synthetic biology sequences, and...