**降维打击！数学博士熬秃头，AI数学家：上午出题，下午4点交证明**

> 报道了AI数学证明系统AxiomProver，自今年2月以来已协助完成8篇论文证明，展示出上午出题、下午即提交证明的高效能力，颠覆传统数学研究模式。

**来源信息**
- **来源**：新智元：资讯（API）
- **分类**：ai-models
- **发布时间**：2026-06-09 08:01（北京时间）
- **原文**：[打开原文](https://aiera.com.cn/2026/06/09/other/admin/98115/%e9%99%8d%e7%bb%b4%e6%89%93%e5%87%bb%ef%bc%81%e6%95%b0%e5%ad%a6%e5%8d%9a%e5%a3%ab%e7%86%ac%e7%a7%83%e5%a4%b4%ef%bc%8cai%e6%95%b0%e5%ad%a6%e5%ae%b6%ef%bc%9a%e4%b8%8a%e5%8d%88%e5%87%ba%e9%a2%98%ef%bc%8c)