中国数学家孙智伟提出 1000 道难题，向 AI 下战书
据《南华早报》报道，中国数学家孙智伟提出了一套 1000 道专门考验 AI 系统的难题。这一动作正值数学界为 AI 的进击而纠结之际——OpenAI 近期公布了机器生成的数百道 Erdős 问题解法，约一千名数学家随即联署承诺在研究中弃用 AI。它的意义在于：精心策划的难题集正在成为检验 AI 数学实力的标尺，谁出考题，谁就掌握话语权。
报道来源
- Hacker News (AI)2026-10-23 09:27
据《南华早报》报道，中国数学家孙智伟提出了一套 1000 道专门考验 AI 系统的难题。这一动作正值数学界为 AI 的进击而纠结之际——OpenAI 近期公布了机器生成的数百道 Erdős 问题解法，约一千名数学家随即联署承诺在研究中弃用 AI。它的意义在于：精心策划的难题集正在成为检验 AI 数学实力的标尺，谁出考题，谁就掌握话语权。