Mathematicians put AI model AlphaProof to the test
T
Talia Ringer
Article Details
Journal
Nature
Volume / Issue
Vol. 651, Issue 8106
Published
March 19, 2026
Pages
595-597
ISSN
0028-0836
Publisher
Nature Portfolio
Authors (1)
T
Talia Ringer
Related Articles from this Journal
Graduating without a thesis: meet the people getting ‘practical’ PhDs in China
Xiaoying You
Jul 2026
10.1038/d41586-026-01242-z
White House rolls out AI funding — and signals a new era for US science
Dan Garisto, Kaia Glickman
Jul 2026
10.1038/d41586-026-02332-8
Personalized gene therapy relieves severe epilepsy in two boys
Jul 2026
10.1038/d41586-026-02267-0
Author Correction: Feature-specific threat coding in lateral septum guides defensive action
Dionnet Leandro Bhatti Mazo, Marc Z. C. Berger et al.
Jul 2026
10.1038/s41586-026-10911-y
Briefing Chat: Baby T. rex were killers from birth, suggest new fossils
Elizabeth Gibney, Nick Petrić Howe
Jul 2026
10.1038/d41586-026-02338-2