product1 publisher
Mathematicians set the verification bar for AI proofs by shipping the Lean file
OpenAI says roughly 10,000 agents produced a Navier-Stokes singularity proof in about 88 hours, but the only proofs an outsider can run belong to two mathematicians who posted Lean formalisations with their preprints.
Publishers:thenextweb.com
Reality
- Evidence42
- Adoption22
- Hype gap+45
- Incentives78
- Confidence52