AI破解流体百年难题，证明细节公开
▲图片由AI生成 多个发光AI智能体围绕巨大流体涡旋方程，共同推演破解数学难题，背景浮现千禧年奖章轮廓。
[众享AI摘要] OpenAI官方推文宣布，其研究团队已成功解决Navier-Stokes方程这一千禧年大奖难题。该证明并非由单一模型完成，而是由一组自主协作的AI Agent，基于一个比GPT-6 Astra更强的下一代未公开模型协同推导得出。Navier-Stokes方程描述三维粘性流体的运动规律，其光滑解是否存在且唯一，是数学物理领域悬而未决的核心问题，关乎湍流理论、天气预报、航空设计及气候模拟等重大应用。OpenAI表示，完整证明过程将分步公开，供全球数学家验证。此举标志着AI在纯数学推理与长链条逻辑证明上取得里程碑式突破，超越此前仅辅助猜想或验证的范畴，首次独立产出可冲击顶级奖项的完整理论成果。若证明通过同行评审，将直接改写流体力学教科书，并为AI驱动的基础科学发现开辟全新范式。
OpenAI破解千禧年难题，数学界炸锅
▲图片由AI生成 AI 集群生成发光数学公式网络，中心浮现 Navier-Stokes 方程，背景是争议中的数学界与法庭天平意象。
[众享AI摘要] OpenAI 正式宣布其内部模型成功解决了 Navier-Stokes 千禧年难题，并发布了基于 Lean 证明助手的形式化验证结果。该成果由约一万个并发 AI Agent 协作完成，累计消耗 1300 亿 token，训练与推理耗时数周。模型通过符号推理与自动定理证明的结合，首次给出了 Navier-Stokes 方程在三维空间中的全局光滑解存在性与唯一性的完整证明框架。然而，该声明立即引发学界激烈争议：数学家 Buckmaster 指控 OpenAI 在时间线、动机与学术功劳归属上存在严重问题，认为其成果可能是在未充分公开算法细节的情况下抢先发布，且部分关键步骤依赖未经验证的数值假设。若证明最终被独立验证为真，这将是数学与 AI 交叉领域的里程碑事件，有望推动流体力学、气候模拟、航空航天等领域的范式变革；但若被证伪，也将成为 AI 过度宣称科学成果的警示案例。目前，OpenAI 已公开 Lean 证明代码，邀请全球数学家与形式化验证专家进行复核。
AI营收不足0.01%，股价却狂飙93%
▲图片由AI生成 红色K线图陡峭飙升，背景叠加模糊的AI芯片与视频播放图标，下方标注“营收占比0.01%”对比警示。
[众享AI摘要] 龙版传媒在8月31日至9月8日期间，股价累计暴涨逾93%，主要受AI视频、AI短剧等热门题材催化。然而，该公司AI视频业务实际营收占比不足0.01%，与市场炒作形成严重背离。半年报中披露的AI漫剧相关业务尚处于早期探索阶段，未形成规模化收入。由于信息披露前后不一致，龙版传媒已收到上交所监管警示，要求其核实并澄清AI业务的实际进展与营收贡献。此次事件反映出当前市场对AI概念的过度追捧，部分资金盲目追逐热点题材，忽视公司基本面与业务实质。龙版传媒作为传统出版企业，其AI转型尚处起步期，短期股价异动更多由情绪与资金驱动，而非业绩支撑。投资者需警惕概念炒作后的回调风险，并关注公司后续对AI业务真实落地情况的披露与监管整改进展。
© 版权声明
© 本站文章版权归 众享AI 所有，未经许可禁止转载。
