AI数学专题 | TechFoco

Claude首次实现费马大定理自动形式化证明哥伦比亚大学商学院助理教授彭天翼利用Claude在

Claude首次实现费马大定理自动形式化证明哥伦比亚大学商学院助理教授彭天翼利用Claude在11天内以高度自主的方式完成了费马大定理的第一个完整、经计算机检验的证明。

2026年09月05日TechFoco

AI黎曼猜想这一突破本质上揭示了AI科研的临界跃迁：当计算能力突破“组合爆炸”瓶颈后，AI在符号推理领域的优势从“效率工具”转向“路径发现者”——它不创造新公理，却能在人类已知定理的高维空间中穷举式探索非直觉组合，找到人类因认知惯性而忽略的“捷径”。

2026年08月16日TechFoco