数学家谈 OpenAI 发布的数百个 AI 证明：解法超出人类直觉

OpenAI 公布了数百个由 AI 完成的重大数学证明，多位数学家分享了第一手阅读体验。他们发现部分问题的解法路径完全不像人类的思考方式，难以直观理解。Ethan Mollick 称这是早期接触狭窄超人类智能的经历，引发关于'知道'本身含义的讨论。