Cardano 创始人评估 OpenAI 的数学突破
核心要点
- 霍斯金森对研究人员将未发表的工作在线输入集中式云人工智能系统提出了保密问题。
- 在他发表评论之前，OpenAI 声称内部系统为纳维-斯托克斯千禧年奖问题提供了解决方案。
- OpenAI 声称其系统解决了 Navier-Stokes 问题 OpenAI 于 9 月 8 日发布了其研究报告。
Cardano 创始人 Charles Hoskinson 9 月 9 日表示，人工智能在形式数学方面的进步超出了他的预期。
卡尔达诺创始人查尔斯·霍斯金森 (Charles Hoskinson) 公开表示，人工智能的数学进步大大超出了他之前的预期。
OpenAI 表示，大约 10,000 名代理在总共 88 小时的工作时间内制定了 Navier-Stokes 解决方案。
克莱仍然将纳维-斯托克斯问题归为悬而未决的待发表、审查和当今世界范围内广泛数学接受的问题。
霍斯金森对研究人员将未发表的工作在线输入集中式云人工智能系统提出了保密问题。
OpenAI 拒绝访问私人作品，但无法排除影响模型改进的去识别化使用数据。
在他发表评论之前，OpenAI 声称内部系统为纳维-斯托克斯千禧年奖问题提供了解决方案。
在一次广播中，霍斯金森称所报道的能力“非常了不起”。不过，他还解决了有关该作品的出处以及提交给基于云的人工智能服务的研究隐私等尚未解决的问题。
您可能还喜欢：Cardano 在 Dijkstra 之前发布了节点 11.1.1
卡尔达诺创始人表示人工智能已经超越了协作工具
霍斯金森说，他最初期望正式系统能够帮助更大的数学家团队协作并验证人类编写的证明。他没想到大型语言模型这么快就能自己生成完整的证明。
“我们从未预料到人工智能的应用程度会达到何种程度，”霍斯金森说。他补充说，人工智能完全编写证明的想法以前似乎“相当遥远”。
霍斯金森与正规数学研究有直接联系。据卡内基梅隆大学公告称，2021年，他向卡内基梅隆大学捐赠了2000万美元，用于建立霍斯金森形式数学中心。
他的最新评论也符合卡尔达诺更广泛的人工智能实验。正如 crypto.news 之前报道的那样，Hoskinson 为 Cardano AI 代理实验进行了辩护，这些实验涉及通信、社区活动和以隐私为中心的 Midnight 生态系统。
OpenAI 声称其系统解决了 Navier-Stokes 问题
OpenAI 于 9 月 8 日发布了其研究报告。该公司表示，内部模型协调了大约 10,000 个代理，并在 88 小时后生成了建议的解决方案。 GPT-6 Astra 随后又花了 17 个小时在 Lean 中形式化和检查论证。
该证明试图证明，最初平滑、静止的流体在受到平滑外力作用时可以在有限时间内形成奇点。 OpenAI 表示，这满足官方千年奖表述中的陈述 C 和 D。
该公司还发布了分析论文和精益代码。精益形式化提供了机器可检查的验证，证明编码步骤遵循规定的假设。它并没有独立地确定每个定义和假设都准确地代表了预期的数学问题。
OpenAI 表示不打算寻求相关的 100 万美元奖金。尽管如此，该公司仍将其工作描述为解决了问题。
Clay 尚未识别所声称的解决方案
克莱数学研究所仍然将纳维-斯托克斯问题标记为“未解决”。截至报告发布时，其网站尚未将 OpenAI 提出的证明视为可接受的解决方案。
Clay 不接受通过直接提交提出的解决方案。根据其规则，解决方案必须出现在合格的出版物中。至少需要两年的时间，这项工作必须获得全球数学界的普遍认可。
这一过程意味着 OpenAI 的公告和正式证据并不构成立即的机构认可。数学家必须检查该构造是否满足精确的问题陈述，以及其对外部强迫的使用是否回答了通常理解的问题。
出处争议引发研究隐私问题
这一声明还引起了纽约大学数学家特里斯坦·巴克马斯特和人类学家莱文特·阿尔波格的密切关注。研究人员一直在使用强迫方法研究相关的欧拉方程结果。
Buckmaster 质疑进入 OpenAI Codex 系统的私人工作是否会对公司的业绩做出贡献。他没有指控已证实的不当行为，而是说：“我不知道我们的数据是否被使用。”
OpenAI 拒绝访问他们的具体工作。然而，该公司表示，不能完全排除产品使用中的去识别化数据有助于改进其模型的可能性。 OpenAI 坚称其证明是独立开发的，与研究人员的工作不同。
霍斯金森认为，争议应该涉及研究人员处理未发表的想法。他表示，使用集中式人工智能服务的学者应该考虑提示、笔记和研究日志是否保密。
下一阶段将涉及对 OpenAI 论文的公开审查和精益形式化。在专家审查假设并满足克莱的正式条件之前，这项工作仍然是一个声称的解决方案，而不是一个公认的解决方案。