Topic

AI-generated mathematical proofs

Proofs of open mathematical problems produced with substantial help from large language models, together with the verification, publication and credit questions that follow them.

Current clusters

product2 publishers

Twenty-five Fields medalists press AI labs over proofs announced without a write-up

The signatories say solutions announced in a rush arrive with no proper write-up and no citation of prior work, leaving the mathematicians who have to check them unnamed. OpenAI pulled a CalTech sponsorship on Thursday.

Publishers:gizmodo.comtechcrunch.com

Reality

Evidence42
Adoption38
Hype gap+25
Incentives68
Confidence45