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.