OpenAI公布纳维–斯托克斯千禧年难题解答及Lean证明
By: openai.com|2026/09/09 00:21:00
0
分享
设为Google首选来源OpenAI宣布其内部系统给出纳维–斯托克斯存在性与光滑性问题的解答：在光滑外力作用下，初始静止且光滑的三维不可压缩流体可在有限时间内形成奇点，且全过程能量保持有限。该结果对应克雷数学研究所官方表述中的C、D命题，已同步公开论文和Lean形式化证明，仍待学界独立审查。项目使用了比GPT-6 Astra显著更强的内部模型，约1万个并行智能体在约88小时内形成证明，发送270万条消息、生成约1300亿输出Token，Lean形式化和验证另耗时17小时。OpenAI无意申领千禧年大奖。OpenAI最初误以为Anthropic员工Levent Alpöge与纽约大学教授Tristan Buckmaster也解出了该题，后确认两人解决的是受迫欧拉方程问题，并认可其在该问题上的优先权。
本内容仅供参考，不构成任何金融、投资、法律或税务建议。文中提及的任何活动、奖励、线上活动或相关信息，不应被视为对购买、出售或交易任何加密资产的推荐、招揽或邀请。加密资产具有高波动性，存在价值损失风险。WEEX服务、产品及相关活动的可用性可能因地区而异。用户在参与前有责任确保符合当地适用法律法规。
猜你喜欢
迪拜DMCC首次将世界最大银锭进行代币化
KDE在KWin中加入Wayland的关键视频和游戏协议
KWin，KDE的窗口合成器，已经集成了Wayland的commit-timing协议，这一改进可能会惠及视频播放、使用FreeSync的游戏以及Vulkan的兼容性。
以太坊构建成为机构金融基础设施的堆栈
Metaplanet的比特币热潮悄然将4600万股高管薪酬计划转变为3.19亿股的意外收益
Metaplanet承认其旧的薪酬公式加剧了稀释，但管理层迄今为止仍保留了其产生的奖励。
DaVinci Resolve 21.1 引入 AI 助手以自动化编辑任务
DaVinci Resolve 21.1 带来了一个人工智能助手的集成，能够帮助组织媒体、创建精彩集锦并删除不需要的剪辑。此次更新还扩展了相机支持，改善了多机位工作流程，并增加了 25 个 Krokodove 图形工具。
Chime收购Stride Bank：5.9亿美元打造自有银行
欧洲初创公司筹集4.5亿美元以挑战SpaceX
ARK请求SEC批准风险投资基金的代币化股份类别
2026年顶级加密IA：为什么通过价格比较Qubic、TAO、Render、FET和NEAR已不再有意义
Castle允许用户将STRC股息转换为比特币
比特币可能在本周实现美元下跌的目标，但未能获得所需的流动性反弹
更强的欧元可能改善比特币的货币背景，但对高收益率和紧缩融资约束的缓解作用有限。
山寨币市场自高峰以来下跌58%，匿名加密货币上涨213%
根据Glassnode的数据，自十月高峰以来，隐私领域上涨213%，而山寨币的中位数损失58%。一切都依赖于一个代币，Zcash。
市场波动，资本保值：Steady Lads 一周年庆视频发布！
在 Steady Lads 推出一周年之际，Cara 回顾了熊市、投资组合管理及其对比特币和山寨币的预期。
2026年9月二手车价格：最受欢迎车型的价格是多少？
需求量最大的车型在汽车商业协会的官方名单中调整了价格。
麻省理工学院研究警告2050年食品、水和能源存在极端差距
麻省理工学院的模型警告称，2050年食品、水和能源的获取可能会因地区和收入水平而大幅度分化。在某些情景下，非洲最贫困的家庭将近一半的收入用于购买食品，而其他人群则面临特别严重的能源压力。
蛋白质时钟将加速衰老与更高的死亡和疾病风险联系起来
对17,473名参与者的分析将通过血液蛋白质测量的年龄加速与更高的死亡风险、心血管疾病、痴呆症和多种癌症联系起来。
卡塔尔面临自2016年以来创纪录的季度赤字，因液化天然气崩溃
卡塔尔在地缘政治干扰影响其通过霍尔木兹海峡的液化天然气出口的情况下，记录了212亿里亚尔的季度赤字，约合58亿美元。上半年的缺口已超过2026年全年预算预测。
应对人力短缺：人工智能如何改变乌克兰商业
2026年创新周：人工智能将在41项活动中进行讨论
活动深入探讨伦理困境、社会保护和生产力，结合尖端技术与公共服务的人性化。
乔·拜登之子推出的MEME币LAPTOP在首次交易前遭冷遇
Kalshi法院分裂可能导致美国预测市场碎片化：专家
美元汇率跌破1.510美元，汇率上限差距维持在25%
当地市场预计9月份将出现更有利的资金流动，并关注8月份的CPI数据。
Tether AI钱包支出限额，WDK由开发者负责
持有Tether（USDT）的人工智能（AI）代理在实际使用资金之前，必须先建立支出控制机制，而不是仅仅依赖钱包。Tether的Wallet Development Kit（WDK）将资金存储和交易批准路径分开，但防止预算超支的责任仍然留给应用程序开发者。
ETF流动性：如何解读加密货币基金的资金流入和流出
ETF流动性成为了解机构资本在数字资产市场流动方向的最直观方式之一。自2024年1月美国推出现货比特币ETF以来，这一指标已与交易量、期货头寸和链上数据达到了同一水平：流入显示了真实需求，而流出则帮助我们察觉兴趣的降温。加密货币基金已成为大型投资者进入比特币、以太坊及其他数字资产的最大合规渠道。
亚瑟·海斯：美元走弱与日元走强将推动加密货币反弹
亚瑟·海斯最近关注到，加密货币反弹的背景在于日本的资金流动变化，而非美国的利率言论。日本资金从海外流入国内，可能引发日元走强和美元走弱的预期。
欧洲资金离开美国，法国和比特币有机会吗？
Nansen成为首个支持Outcome.xyz HIP-4市场的前端
美国国债：200年来最糟糕的表现揭示了新的范式
ChatGPT、Claude、Grok 集体掉线，为啥都怀疑 Cloudflare？
赵长鹏：吉尔吉斯斯坦在一年内走向加密中心，通常需要九年
赵长鹏认为，吉尔吉斯斯坦在数字资产监管方面取得了罕见的突破：仅用一年时间，该国就从讨论转向了实际的基础设施，银行已经开始与加密交易所互动，稳定币也开始实际发行。币安创始人及吉尔吉斯斯坦总统萨迪尔·扎帕罗夫的公共顾问赵长鹏表示，吉尔吉斯斯坦有机会成为中亚虚拟资产的关键中心。
迪拜DMCC首次将世界最大银锭进行代币化
KDE在KWin中加入Wayland的关键视频和游戏协议
KWin，KDE的窗口合成器，已经集成了Wayland的commit-timing协议，这一改进可能会惠及视频播放、使用FreeSync的游戏以及Vulkan的兼容性。
以太坊构建成为机构金融基础设施的堆栈
Metaplanet的比特币热潮悄然将4600万股高管薪酬计划转变为3.19亿股的意外收益
Metaplanet承认其旧的薪酬公式加剧了稀释，但管理层迄今为止仍保留了其产生的奖励。
DaVinci Resolve 21.1 引入 AI 助手以自动化编辑任务
DaVinci Resolve 21.1 带来了一个人工智能助手的集成，能够帮助组织媒体、创建精彩集锦并删除不需要的剪辑。此次更新还扩展了相机支持，改善了多机位工作流程，并增加了 25 个 Krokodove 图形工具。
Chime收购Stride Bank：5.9亿美元打造自有银行
...
