DeepMath-103K：大模型数学推理新突破
在通往通用人工智能（AGI）的道路上，数…
AlphaEvolve破数学极限，陶哲轩参与！
伦敦/山景城—— 人工智能领域再次迎来重…
MegaMath发布：史上最大数学数据集开放！
“`markdown 371…
豆包BFS-Prover问世，AI攻克数学推理难题！
“`markdown 豆包发…
Goedel-Prover：AI自动证明数学题！
摘要： 普林斯顿大学、清华大学等机构联合…
Goedel-Prover：AI 自动证明数学题！
摘要： 普林斯顿大学、清华大学等机构联合…
Goedel-Prover：AI证数学题，开源新突破！
摘要： 普林斯顿大学、清华大学等机构联合…
Goedel-Prover：AI 自动证明数学题！
北京/纽约 – 由普林斯顿大学、清华大学…
数学难题再突破：希尔伯特第十问题扩展版获证
摘要： 著名数学家希尔伯特的理想，即构建…
“数学莫扎特”：AI不会取代数学天才
“数学莫扎特”陶哲轩：人工智能不会取代数…
数学神技揭秘：10大 trick 令人惊叹！
The article titled 1…
山东济南汇聚数学精英共谋创新之路
中新网济南7月29日电 (记者李明芮)纪…
AI 助力几何难题，超越奥数金牌水平
**谷歌 DeepMind 最新 AI …
史宁中：数学哲思启润少年心
9月10日，记者对全国教书育人楷模史宁中…