选项
首页
快讯
内容
AnthonyRoberts
AnthonyRoberts
2026-10-09

OpenAI 发布了涵盖 17 个领域的 722 个由人工智能生成的数学证明,引发了关于成本效益和实际用途的争论。尽管这些证明经过了机器验证,但许多证明缺乏人类可解释性,单个符号的错误会导致连锁失败。数学家们担心,人工智能只是重新组合现有知识,将整理和解读海量输出的负担转移给人类研究人员,而没有产生数学研究核心的新颖见解。

评论 (0)
0/300
OR