Reddit · AI 大众社区· /u/141_1337·· 5 小时前AI 评分38
2026 年菲尔兹奖得主 John Pardon：AI 已能理解他最混乱的数学证明并发现细微错误
2026 Fields Medalist John Pardon says AI now understands even his messiest mathematical proofs, catches subtle errors, and proves nontrivial results. “The AI understands. 100%.” Just a year ago, he would have said the opposite. He calls the progress world-changing for mathematics.
AI 导读
2026 年菲尔兹奖得主 John Pardon 表示，AI 现在能理解他写得很乱的数学证明、捕捉细微错误，还能证明非平凡结果，他称"AI 理解了，100%"。他说一年前自己会给出完全相反的评价，并认为这一进展对数学而言是变革性的。
来源：Reddit · AI 大众社区 · reddit.com