**耗时一年让AI攻克数学难题，结果令人深思**

_I Spent a Year Asking AI to Solve Math's Hardest Problem. Here's What Happened_

> 本文作者花费整整一年的时间，尝试利用人工智能解决数学界最困难的未解之谜。文章详细记录了这一漫长实验的过程、遇到的挑战以及最终得出的结论，揭示了当前AI在复杂逻辑推理和原创性数学证明方面的真实能力与局限。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-models
- **发布时间**：2026-07-23 01:58（北京时间）
- **原文**：[打开原文](https://cacm.acm.org/blogcacm/i-spent-a-year-asking-ai-to-solve-maths-hardest-problem-heres-what-happened)