OpenAI 是否已经彻底解决纳维-斯托克斯千禧年难题？
OpenAI 宣称找到相关解法，但 Buckmaster 与 Alpöge 公开的成果并未宣称彻底解决该难题，而是证明了不可压缩多孔介质方程、布辛涅斯克方程和三维不可压缩欧拉方程在光滑驱动条件下的有限时间爆破等结果。
OpenAI抄袭、威胁数学家？“AI攻克千禧难题”秀，终成 OpenAI 和 Anthropic 的大战
资讯摘要
Codex中的私人研究数据有没有被用于训练的问题，始终没回答
AI 摘要
InfoQ 中文报道称，OpenAI 宣称其模型找到纳维-斯托克斯问题相关解法，随后纽约大学数学家 Buckmaster 质疑 OpenAI 可能利用了其上传至 Codex 的未公开研究数据，并与 Anthropic 员工 Alpöge 的署名问题引发争议；OpenAI 方否认相关指控，双方对研究过程和成果归属各执一词。
AI 问答
本次争议的核心问题是什么？
核心争议包括 Buckmaster 长期上传至 Codex 的研究草稿、提示词和对话是否被 OpenAI 用于训练或模型迭代，以及 OpenAI 是否曾提出不把 Alpöge 列入作者名单；OpenAI 方面否认相关署名指控。
这项研究是否完全由 AI 独立完成？
不是。Buckmaster 强调核心理论路线源自 Córdoba 和 Martínez-Zoro 此前的研究，AI 主要用于推进证明、整理和核验，且早期 AI 生成的证明质量较差，需要人类用 Lean 形式化验证并重写。
更多资讯
理想落幕：加密行业为何集体走向同质化？
自主团队被捧过头了？Simon Rohrer 直言：你们交付的根本不是产品
潘功胜最新文章：深刻认识中国金融结构变迁（全文）
阶跃发布 StepAudio 3 ，多款语音模型登顶 Artificial Analysis 全球榜单
飞书与豆包工作合体后首亮相：Agent 能进群，还能帮你写周报、做PPT
CLARITY闯关失败 加密市场闻声而动 政策空白谁填补
当黄仁勋和Dario遇上休谟：火鸡、台球与AI末日论商用割草机器人完成数千万融资，用L4级无人驾驶重构高尔夫草坪运维｜硬氪首发把记忆交给CPU，大模型会变快
比 MEGA Home 便宜 14 万！理想 i9 Home 上市定价 36.98 万元，六座旗舰变天了前高通算法研发经理跨界AI算力板检测，获近亿元战略投资丨36氪首发强化学习大本营新作：如何破解「学新忘旧」困局
129亿美元卖身英伟达之后，是时候重新理解Hugging Face了
开学季 | 学生理财的三条建议，学生党也可以一样理财Xspark AI 丁文伯：触觉替代不了视觉，但机器人需要一套自己的“脊髓” ｜物理AI 50人
耐克、妮维雅、谷歌的警示：品类，正在误导品牌战略！
企业该买模型还是养上下文？
WorkBuddy + 美图设计室，在对话框里就能解决办公设计任务？
HYROX比赛腹泻这事，运动员拼归拼，但主办方不能装看不见
派早报：豆包发布手机助手消费者版，绿联发布首款雷电 5 显卡坞等
Uniswap v4上的恶意Hooks一张GPU跑10万原子！分子之心用AI把化学反应“拍”成了电影圆桌：中国之光成为新共识| 36氪 2026产业未来大会
在金融支付系统中实施混沌工程：来自企业级 ECS 部署的经验教训清华稳准智能联合发布LimiX-2，结构化数据基础模型登顶国际评测榜单
从 Trace 到规模化实时评估：面向生产流量的 Agent 可观测实践｜QCon上海
Dense vs. MoE Models: Active Parameters, Throughput, and When to Choose Each
抖音上线 “免费短剧” App，短剧赛道再添一员猛将
谁在给我们制造 AI 焦虑2nm天玑9600 Pro，把旗舰SoC竞争推向「融合计算」