DeepMind hits milestone in solving maths problems — AI’s next grand challenge

Davide Castelvecchi

Nature, 2024, vol. 632, issue 8024, 236-237

Abstract: AlphaProof showed its prowess on questions from this year’s Mathematical Olympiad — a step in the race to create substantial proofs with artificial intelligence.

Keywords: Mathematics and computing; Machine learning (search for similar items in EconPapers)
Date: 2024
References: Add references at CitEc
Citations:

Downloads: (external link)
https://www.nature.com/articles/d41586-024-02441-2 Abstract (text/html)
Access to the full text of the articles in this series is restricted.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:nat:nature:v:632:y:2024:i:8024:d:10.1038_d41586-024-02441-2

Ordering information: This journal article can be ordered from
https://www.nature.com/

DOI: 10.1038/d41586-024-02441-2

Access Statistics for this article

Nature is currently edited by Magdalena Skipper

More articles in Nature from Nature
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().