Top story ·
What this status means: The result is published in a journal or has been reviewed by named experts.
AI-driven formal proof search in mathematics
Google DeepMind
A peer-reviewed article states that an AI system solved mathematical problems that were still open, with proofs written in Lean, a language in which a computer checks every step of a proof.
What remains unclear
The Science reviewers are anonymous and no named third party has rerun the published Lean proofs yet. The figures are the authors' own.
AnalogyIt is like a record approved by a panel that read the file, but that nobody else has measured again yet.
What remains unclear
The Science reviewers are anonymous and no named third party has rerun the published Lean proofs yet. The figures are the authors' own.
Read the full entryWritten by an AI · reviewed by a human