Hacker News · AI 最新· sbulaev·· 2 天前AI 评分47
OpenAI 分享 722 份手稿与证明，AI 在数学界引发争议
AI causes uproar in mathematics after OpenAI shares 722 manuscripts and proofs
AI 导读
OpenAI 上周分享了 400 多项困扰人类数十年的数学公式结果，由一个未公开名称的内部前沿模型得出。研究人员表示，验证这些 AI 生成的成果可能需要数年时间。数学界质疑，这些解答缺少可审查的推导过程，无法作为后续研究的基础，也未带来新的数学理解。
来源：Hacker News · AI 最新 · tomshardware.com