OpenAI研究员：训练模型做AI研发真的没有做数学那么容易

Reddit r/singularity 新闻
openai ai-research model-training artificial-general-intelligence ai-safety

摘要

一位OpenAI研究员评论称，训练AI模型进行AI研发远比训练它们做数学要困难得多，这为关于AI快速推动研究并加速迈向ASI的期望泼了一盆冷水。

训练模型做AI研发真的没有做数学那么容易 https://x.com/tszzl/status/2107880723877343492 他是在回应这条评论：几乎可以肯定，OpenAI及其同行公司正在将这些内部模型应用于AI研发，这应该让人产生一种类似于严重眩晕感的想法 https://x.com/_NathanCalvin/status/2107877736018846193 我喜欢数学，但有点令人失望的是，这场智能爆炸似乎只局限于这个最缺乏直接实际应用价值的领域。如果AI对AI研究产生的影响与它对数学产生的影响相同，我们现在应该已经拥有ASI了，而ASI会想出如何将这种智能推广到生物学和医学领域。
查看原文

相似文章

AI曾向数学发起挑战。如今，它正追逐其他科学领域

Wired

麻省理工学院研究员尼尔·汤普森的一项新研究显示，2024年至2026年间，前沿人工智能模型在物理学、统计学和经济理论等领域解决理论问题的比例从约2%跃升至约35%，这表明人工智能正在数学领域引发的颠覆性变革很快将蔓延至整个科学界。

OpenAI 的数学解答尚未达到该领域的标准

TechCrunch AI

OpenAI 发布了数百个由 AI 生成的高难度数学问题解答，但这些解答未能达到数学与人工智能咨询小组的标准，在形式化、思维链披露和人类可理解性方面存在不足。剑桥大学和国王学院的一篇论文指出，自然语言证明与 Lean 代码之间存在差异。

关于 OpenAI 发布的数学证明的一些细致观察

Reddit r/singularity

一篇评论文章，讨论了数学家们对 OpenAI 发布的 AI 生成数学证明的强烈反对，认为真正的问题不在于人类没有获得应有的认可，而在于这些证明缺乏可理解性——模型只是封闭了证明，却没有传递推动数学发展所需要的理解。