Mathematicians' dispute over AI accuracy raises concerns for scientific integrity

A public disagreement among mathematicians over AI-generated proofs is fueling concerns that reliance on AI in research could undermine scientific rigor. The dispute highlights uncertainty about the reliability of AI outputs in formal verification and peer review. This matters because it could affect trust in AI-assisted discoveries across scientific fields.

AI disclosure: Model-written summary of the source, not a verified fact. Check the sources. How Mosaic works