Cardano创始人关注OpenAI的数学突破

Cardano创始人查尔斯·霍斯金森在9月9日表示，人工智能在形式数学方面的进展超出了他的预期。

霍斯金森表示，人工智能的数学进展远远超过了他之前的公开预期。

OpenAI表示，大约10,000个代理在88小时的工作中产生了Navier-Stokes方程的解决方案。

克雷数学研究所仍将Navier-Stokes方程视为未解决，待全球范围内的出版、审查和广泛数学接受。

霍斯金森对研究人员将未发表的工作输入集中式云AI系统表示了保密方面的担忧。

OpenAI否认访问了私人工作，但无法排除去标识化的使用数据影响模型改进的可能性。

他的评论是在OpenAI声称其内部系统产生了Navier-Stokes千年奖问题的解决方案之后发表的。

在一次广播中，霍斯金森称报告的能力“相当显著”。然而，他也提到了关于该工作的来源和提交给基于云的AI服务的研究隐私的未解决问题。

霍斯金森表示，他最初期望形式系统能够帮助更大规模的数学团队进行合作并验证人类撰写的证明。他没有预料到大型语言模型会如此迅速地生成完整的证明。

“我们从未预料到人工智能会如此深入，”霍斯金森说。他补充说，人工智能完全撰写证明的想法之前看起来“相当遥远”。

霍斯金森与形式数学研究有直接联系。根据大学的公告，他在2021年向卡内基梅隆大学捐赠了2000万美元，以建立霍斯金森形式数学中心。

他最新的评论也符合Cardano在人工智能方面的更广泛实验。正如crypto.news之前报道的那样，霍斯金森为Cardano AI代理实验辩护，涉及通信、社区活动和以隐私为中心的Midnight生态系统。

OpenAI于9月8日发布了其研究。该公司表示，一个内部模型协调了大约10,000个代理，并在88小时后产生了一个建议的解决方案。GPT-6 Astra随后又花了17小时在Lean中对论证进行形式化和检查。

该证明试图建立一个最初平滑、静止的流体在受到平滑外力作用时可以在有限时间内发展出奇点。OpenAI表示，这满足了官方千年奖表述中的C和D条款。

该公司还发布了一篇分析论文和Lean代码。Lean形式化提供了机器可检查的验证，确保编码步骤遵循所述假设。它并不独立地建立每个定义和假设准确地代表所意图的数学问题。

OpenAI表示不打算申请相关的100万美元奖金。尽管如此，该公司仍然将其工作描述为问题的解决方案。

克雷数学研究所仍将Navier-Stokes问题标记为“未解决”。在报道时，其网站尚未承认OpenAI提出的证明为被接受的解决方案。

克雷不接受通过直接提交的建议解决方案。根据其规则，解决方案必须出现在符合条件的出版物中。至少必须经过两年，然后该工作必须获得全球数学界的普遍接受。

这一过程意味着OpenAI的公告和正式证明并不构成立即的机构认可。数学家必须检查构造是否满足精确的问题陈述，以及其使用外部强迫是否回答了通常理解的问题。

该公告还引起了对纽约大学数学家特里斯坦·巴克马斯特和Anthropic研究员莱文特·阿尔波格的审查。这些研究人员一直在使用强迫方法研究相关的欧拉方程结果。

巴克马斯特质疑OpenAI的Codex系统中是否有私人工作可能对公司的结果产生了贡献。他没有指控已证明的不当行为，而是表示：“我不知道我们的数据是否被使用。”

OpenAI否认访问了他们的具体工作。然而，该公司表示无法完全排除去标识化的数据可能帮助改善其模型的可能性。OpenAI坚持认为其证明是独立开发的，并且与研究人员的工作不同。

霍斯金森认为，争议应关注处理未发表想法的研究人员。他表示，使用集中式AI服务的学者应考虑提示、笔记和研究日志是否保持机密。

下一阶段将涉及对OpenAI论文和Lean形式化的公开审查。在专家审查假设并满足克雷的正式条件之前，该工作仍然是一个声称的解决方案，而不是被认可的解决方案。

本内容仅供参考，不构成任何金融、投资、法律或税务建议。文中提及的任何活动、奖励、线上活动或相关信息，不应被视为对购买、出售或交易任何加密资产的推荐、招揽或邀请。加密资产具有高波动性，存在价值损失风险。WEEX服务、产品及相关活动的可用性可能因地区而异。用户在参与前有责任确保符合当地适用法律法规。