标签：AI数学
超越IMO金牌？谷歌创超难FirstProof数学挑战新纪录
去年7月的IMO数学奥林匹克竞赛中，两大AI公司争夺金牌的闹剧引发关注：OpenAI因绕过官方竞赛规则提前官宣遭到广泛吐槽，谷歌DeepMind的Gemini进阶模型成为首...
陶哲轩来给AI数学泼冷水了
陶哲轩针对AI生成的低质量数学内容提出警示，指出AI生成数学是把双刃剑——虽能大幅增加数学新想法，却也降低了平均想法质量。此前AI在数学领域搅动风云，不仅...
Meta、斯坦福等：AI的下一个前沿，正是陶哲轩说的形式化数学推理
近期，AI在数学领域的应用取得了显著进展，特别是在形式化数学推理方面。著名数学家陶哲轩认为，未来数学家可以通过AI助手来解释证明，AI将证明形式化为Lean...
很快OpenAI能证明陶哲轩错了？陶哲轩一句话，被OpenAI高管怼回去
OpenAI的最新o1模型在数学和代码能力上取得了显著提升，其中数学性能提升了36%。菲尔兹奖得主陶哲轩在与OpenAI研究高级副总Mark Chen的访谈中，讨论了o1推理...
Grok 3证明黎曼猜想，训练遭灾难性事件？数学家称不夸张，两年内AI将解出千禧年难题
近期，关于AI证明黎曼猜想的讨论在社交媒体上引发了广泛关注。黎曼猜想作为千禧年七大数学难题之一，至今未被证明。近期的讨论起源于xAI工程师Hieu Pham的一...
DeepSeek开源数学大模型，高中、大学定理证明新SOTA
数学家陶哲轩在牛津数学公开讲座中提出，人工智能（AI）与数学的结合将推动形式化证明的编写超越人类，这不仅将验证现有证明，还将创造新的数学知识。AI在形...
AI颠覆数学研究！菲尔兹奖得主、华裔数学家领衔11篇顶刊论文｜陶哲轩转赞
新智元的这篇报道聚焦于人工智能（AI）对数学领域的影响，特别是在数学研究方法上的潜在变革。报道提到了多位数学家和计算机科学家的观点，包括菲尔兹奖得主A...
