产业观察
不到一个月连破两道千禧年大奖难题？消息称 OpenAI 即将攻克霍奇猜想
📋总体概括
据《The Information》援引知情人士报道，OpenAI 在宣称攻克千禧年大奖难题之一纳维-斯托克斯问题后不到一个月，又接近解决霍奇猜想。内部代号「Doug」的下一代预训练模型变体被用于攻关，花费或达数百万美元。OpenAI 研究人员认为数学是大模型继软件工程之后最自然的试验场，因其逻辑推理可自动验证，并预判自动化进程未来6至9个月将在数学领域重演。攻克难题的深层意义在于推动机器学习研究自动化，即递归式自我改进。即便找到解法，OpenAI 或暂不公布，正考虑与数学界合作发布以避免公关危机。
⚡关键信息
- ▸消息人士称 OpenAI 接近攻克千禧年难题中的霍奇猜想，距纳维-斯托克斯问题不足一个月
- ▸OpenAI 使用代号「Doug」的下一代预训练模型变体攻关，纳维-斯托克斯问题或已花费数百万美元
- ▸研究人员判断数学是大模型继软件工程后的下一块试验场，结果可自动验证对错
- ▸攻克难题的深层目标是推动机器学习研究自动化，即递归式自我改进
- ▸OpenAI 或不会立即公布解法，正考虑与数学界合作发布以避免公关危机
🔥犀利点评
数学难题自带「可自动验证对错」的属性，确实是大模型刷战绩的绝佳舞台——比起玄学般的通用智能评估，证明对了就是对了。但要注意两点：其一，「接近攻克」是典型的 PR 话术，上一个纳维-斯托克斯的宣布已引发数学界质疑；其二，用烧钱数百万美元的前沿模型去验证解法，成本远未到可规模化。真正值得警惕的不是霍奇猜想本身，而是 OpenAI 打算绕过数学界同行审议自己发布结论的姿态。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 IT之家 阅读全文 →