DeepMind hits milestone in solving maths problems - AI's next grand challenge
成果类型：
News Item
署名作者：
Castelvecchi, Davide
刊物名称：
Nature
ISSN/ISSBN：
0028-4925
DOI：
10.1038/d41586-024-02441-2
发表日期：
2024-08-08
页码：
236-237
关键词：
摘要：
AlphaProof showed its prowess on questions from this year's Mathematical Olympiad - a step in the race to create substantial proofs with artificial intelligence.