模型多源确认
数学家谈 OpenAI 发布的数百个 AI 证明：解法超出人类直觉
精选理由
OpenAI 放出一堆 AI 数学证明，数学家读了都说解法不像人想出来的，看看他们怎么描述这种体验。
OpenAI 公布了数百个由 AI 完成的重大数学证明，多位数学家分享了第一手阅读体验。他们发现部分问题的解法路径完全不像人类的思考方式，难以直观理解。Ethan Mollick 称这是早期接触狭窄超人类智能的经历，引发关于'知道'本身含义的讨论。
原文 · Ethan Mollick
Some early first-hand accounts of encountering a narrow superhuman intelligence as mathematicians grapple with the hundreds of big AI proofs released by OpenAI.
Problems solved in inhuman ways that make us wonder what it means to actually know things... https://t.co/DgpHqbYKCR https://t.co/saiSe2pl3f
