papersSEP 9 10:25 UTC
AI math breakthrough draws scrutiny over claims and verification
A reported advance in AI-assisted mathematics has sparked disagreement among researchers about how strong the underlying results really are. The episode has focused attention on how machine-generated mathematical claims are checked, credited, and communicated to the public.