OpenAI's mathematical breakthroughs roil the field
Experts have argued that AI could be revolutionary for mathematics, but only if it gives the proof for a solution.
We haven't written up this one. Semafor has the full story — the link below goes straight to it.