标签：AI数学
DeepSeek开源数学大模型，高中、大学定理证明新SOTA
数学家陶哲轩在牛津数学公开讲座中提出，人工智能（AI）与数学的结合将推动形式化证明的编写超越人类，这不仅将验证现有证明，还将创造新的数学知识。AI在形...
AI颠覆数学研究！菲尔兹奖得主、华裔数学家领衔11篇顶刊论文｜陶哲轩转赞
新智元的这篇报道聚焦于人工智能（AI）对数学领域的影响，特别是在数学研究方法上的潜在变革。报道提到了多位数学家和计算机科学家的观点，包括菲尔兹奖得主A...
