OpenAI's announced math breakthroughs prompt debate over AI's role in proofs

OpenAI announced hundreds of mathematical breakthroughs, weeks after claiming it had solved one of the most complicated problems in mathematics.

The findings raised questions about whether the model used creative thinking or only completed the final steps of human work.

Experts say AI could be revolutionary for mathematics if it provides proofs, since proof techniques often underpin other breakthroughs.