标签：AI数学
很快OpenAI能证明陶哲轩错了？陶哲轩一句话，被OpenAI高管怼回去
OpenAI的最新o1模型在数学和代码能力上取得了显著提升，其中数学性能提升了36%。菲尔兹奖得主陶哲轩在与OpenAI研究高级副总Mark Chen的访谈中，讨论了o1推理...
Grok 3证明黎曼猜想，训练遭灾难性事件？数学家称不夸张，两年内AI将解出千禧年难题
近期，关于AI证明黎曼猜想的讨论在社交媒体上引发了广泛关注。黎曼猜想作为千禧年七大数学难题之一，至今未被证明。近期的讨论起源于xAI工程师Hieu Pham的一...
DeepSeek开源数学大模型，高中、大学定理证明新SOTA
数学家陶哲轩在牛津数学公开讲座中提出，人工智能（AI）与数学的结合将推动形式化证明的编写超越人类，这不仅将验证现有证明，还将创造新的数学知识。AI在形...
AI颠覆数学研究！菲尔兹奖得主、华裔数学家领衔11篇顶刊论文｜陶哲轩转赞
新智元的这篇报道聚焦于人工智能（AI）对数学领域的影响，特别是在数学研究方法上的潜在变革。报道提到了多位数学家和计算机科学家的观点，包括菲尔兹奖得主A...
