新闻中心 
-
11-30陶哲轩：通义千问QwQ奥数真厉害，开源大模型顶流阿里云通义千问团队最新发布的开源AI推理模型QwQ-32B，在AI数学奥林匹克竞赛AIMO中表现惊艳，展现出强大的数学和编程能力，甚至在部分测试中超越了Open...
-
10-14陶哲轩众包数学项目完成度99.99%：仍未看到AI工具的重大贡献陶哲轩发起的「众包」数学研究项目终于快要迎来胜利时刻！大约在三周前，陶哲轩提出了一个众包项目，结合专业和业余数学家、自动定理证明器、AI工具和证明辅助语言Lea...
-
07-11陶哲轩力荐、亲自把关：AI for Math照这个清单学就对了在AIforMath领域，如果你一直找不到合适的资源，这份清单或许会有帮助。刚刚，著名数学家陶哲轩的个人博客又更新了，这次他们整理了一份有用的资源列表，该资源专...
-
07-05陶哲轩支持！AI数学奥林匹克竞赛进步奖公布，奖金100多万美元大模型做数学题到底如何，不妨让它参与一下这种级别的比赛。「AI数学奥林匹克竞赛（AIMO进步奖）的初步成绩已公布。根据排行榜的数据，目前看来，获胜的程序在私人测...
-
05-03跨越300多年的接力：受陶哲轩启发，数学家决定用AI形式化费马大定理的证明在陶哲轩的启发下，越来越多的数学家开始尝试利用人工智能进行数学探索。这次，他们瞄准的目标是世界十大最顶尖数学难题之一的费马大定理。费马大定理是一个非常复杂的数学...
-
04-23加州理工华人用AI颠覆数学证明！提速5倍震惊陶哲轩，80%数学步骤全自动化LeanCopilot，让陶哲轩等众多数学家赞不绝口的这个形式化数学工具，又有超强进化了？就在刚刚，加州理工教授AnimaAnandkumar宣布，团队发布了L...
