Navier-Stokes 相关 AI 资讯

论文政策与合规多源确认21:17

哈佛数学界因 OpenAI 纳维-斯托克斯证明声明产生分歧

OpenAI 声称搞定 Navier-Stokes 后，哈佛数学家吵起来了：AI 给的证明没人看得懂，还算不算证明？

#OpenAI #Navier-Stokes #AI安全

事件专题

rohanpaul_ai@rohanpaul_ai11 个信源在谈原文

行业多源确认83°17:19

数学家质疑 OpenAI 的 Navier-Stokes 证明方法论

OpenAI 交了 166 页的 Navier-Stokes 证明，结果数学家说他们自己都讲不清方法是怎么来的，挺离谱的。

#OpenAI #Navier-Stokes #千禧年难题 #AI数学

事件专题

官方账号Decoder@Manuel Uth11 个信源在谈原文

行业 Agent 与开发者16:05

Gary Marcus 批评将 2022 年 LLM 与 2026 年神经符号系统混为一谈的论调

Gary Marcus 这次难得没全盘否定 AI，他说 2026 年的系统加了符号验证早不是当年的“随机鹦鹉”，还提到万级智能体 88 小时攻 Navier-Stokes，观点有点意外。

#Gary Marcus #神经符号AI #智能体 #Stochastic Parrot

Gary Marcus@GaryMarcus原文

模型 Agent 与开发者76°20:26

Stability AI创始人谈Navier-Stokes证明

Stability AI创始人分享AI如何用88小时解决数学难题，相当于百年数学家工作量。

#Stability AI #Navier-Stokes #千禧年奖问题 #AI代理

rohanpaul_ai@rohanpaul_ai原文

模型中美对照多源确认01:34

Mark Chen 谈 Navier-Stokes：重点不在题目本身

OpenAI 的 Mark Chen 说这次模型跑出的一周顶十年数学功力，还预告要拿去搞生命科学和对齐，原推值得点开看图。

#Navier-Stokes #OpenAI #alignment #数学推理

事件专题

官方账号Mark Chen (OpenAI 研究)@markchen9011 个信源在谈原文

论文 Agent 与开发者多源确认11:08

Lean 验证通过不代表自然语言证明正确：从 Navier-Stokes 看自动形式化局限

一篇用 SCI 层级理论拆解自动形式化局限的论文，直接指向 OpenAI 的 Navier-Stokes 证明——Lean 验证过了，原文可能还是错的。

#Lean #自动形式化 #Navier-Stokes #OpenAI

事件专题

arXiv: OpenAI@Alexander Bastounis 等 3 人11 个信源在谈原文

论文多源确认13:51

arXiv 论文重写 OpenAI Navier-Stokes 有限时间爆破证明的剖面构造部分

有人把 OpenAI 那篇 Navier-Stokes 爆破论文里最难懂的部分重写成了可读版本，还引入了新线性模型解释内核构造，数学爱好者可以看看。

#Navier-Stokes #OpenAI #流体力学 #千禧年问题

事件专题

arXiv: OpenAI@Zhen Lei, Xiao Ren4 个信源在谈原文

论文 Agent 与开发者多源确认09:54

OpenAI 万级智能体 88 小时证明 Navier-Stokes 有限时间爆破，essay 探讨无人能读的证明意味着什么

OpenAI 的一万个智能体 88 小时写完 166 页 Navier-Stokes 证明，还用 61.6 万行 Lean 验证了，但没人读过全文。这篇 essay 探讨数学界该不该接受这种证明，观点挺有意思。

#OpenAI #Navier-Stokes #Lean #形式化验证

事件专题

arXiv: OpenAI@Alexander Gamburd11 个信源在谈原文

论文 Agent 与开发者72°22:40

1万AI agents解决Navier-Stokes方程

DeepLearningAI展示了1万AI agents如何协作解决复杂数学问题，引发了对AI证明有效性的重要讨论。

#AIAgents #Navier-Stokes #Lean #数学证明

DeepLearning.AI@DeepLearningAI原文

行业多源确认11:24

OpenAI 称解决 Navier-Stokes 难题，三位数学家指其回避了问题

OpenAI 宣称解出 Navier-Stokes，被三位数学家指出其实绕开了问题，典型宣传翻车现场。

#OpenAI #Navier-Stokes #数学推理 #AI炒作

事件专题

Gary Marcus@GaryMarcus11 个信源在谈原文

论文 Agent 与开发者多源确认精选09:43

OpenAI 2026 强迫 Navier-Stokes 方程有限时间爆破构造中 GD1998 精确解的相似变量重访

朋友，OpenAI 新发布的 2026 强迫 Navier-Stokes 方程有限时间爆破构造挺有意思，这篇论文专门研究了它和 1998 年 GD1998 精确解的关系，挺硬核的。

#OpenAI 2026 #Navier-Stokes #GD1998 #相似变量

事件专题

arXiv: OpenAI@Ramani Duraiswami11 个信源在谈原文

模型中美对照多源确认78°07:22

OpenAI CEO 谈 GPT-6 与 1 万个代理解决流体力学问题

OpenAI CEO 谈 GPT-6 和 1 万个代理解决流体力学问题，内容很具体，值得听听。

#GPT-6 #OpenAI #Navier-Stokes #推理模型

事件专题

a16z@a16z11 个信源在谈原文

模型中美对照多源确认78°00:14

OpenAI CEO称已进入AGI时代，GPT-6 Astra可24小时连贯运行

OpenAI老总说进入AGI时代了，GPT-6 Astra能24小时连续工作，10万个代理一起算物理方程，还破解了Hugging Face的防护，挺有意思的。

#GPT-6 #OpenAI #AGI #Navier-Stokes

事件专题

a16z@a16z11 个信源在谈原文

行业中美对照多源确认09:24

OpenAI 被指窃取科学家研究，声称 AI 成果

OpenAI 又惹事了，被指偷了科学家的研究，还说是 AI 做的，和科学家自己说的完全不一样。

#OpenAI #ChatGPT #Navier-Stokes

事件专题

CNBC Indonesia Tech11 个信源在谈原文

模型中美对照多源确认73°05:27

OpenAI解决数学千禧年难题

OpenAI用AI方法解决了数学界悬而未决的千禧年难题，展示了AI在基础研究中的潜力。

#OpenAI #Navier-Stokes #千禧年难题 #数学

事件专题

官方账号theverge@Robert Hart11 个信源在谈原文

模型 Agent 与开发者多源确认73°00:26

OpenAI用Agent解决Navier-Stokes数学难题

OpenAI用上万个Agent在88小时内解决了悬置90年的数学难题，展示了大规模智能体协作的惊人能力。

#OpenAI #Navier-Stokes #Agent #数学难题

事件专题

Techsauce@ Techsauce Team 11 个信源在谈原文

模型 Agent 与开发者多源确认78°14:07

OpenAI报告Navier-Stokes方程解算成果

OpenAI用10,000个智能体88小时解算Navier-Stokes方程，成本4000万美元，可能获千禧年大奖。

#OpenAI #Astra-next #Navier-Stokes #千禧年大奖

事件专题

官方账号Latent Space (swyx)11 个信源在谈原文

行业中美对照多源确认11:57

OpenAI被批科学造假

OpenAI被批用计算暴力冒充科学突破，学术争议背后是IPO前的营销焦虑。

#OpenAI #Navier-Stokes #Gary Marcus #科学伦理

事件专题

Gary Marcus@GaryMarcus11 个信源在谈原文

论文政策与合规多源确认精选08:28

OpenAI与纳维-斯托克斯问题争议

Simon Willison解析OpenAI参与千年数学奖争议，揭示"数据使用"定义的模糊地带。

#OpenAI #Navier-Stokes #Simon Willison #AI伦理

事件专题

官方账号Simon Willison@simonw11 个信源在谈原文

模型 Agent 与开发者多源确认78°04:57

OpenAI宣布解决Navier-Stokes数学难题

OpenAI解决了困扰数学界90年的Navier-Stokes问题，看看AI如何攻克这个流体动力学难题

#OpenAI #Navier-Stokes #数学难题 #流体动力学

事件专题

官方账号theverge@Emma Roth11 个信源在谈原文

论文 Agent 与开发者多源确认78°02:45

OpenAI发布Navier-Stokes问题解决方案

OpenAI用比GPT-6 Astra更强的模型解决了困扰数学界90年的Navier-Stokes问题

#OpenAI #GPT-6 Astra #Navier-Stokes #千禧年难题

事件专题

elvis@omarsar011 个信源在谈原文

模型 Agent 与开发者多源确认78°02:42

OpenAI称解决纳维-斯托克斯千年难题

OpenAI用AI agents解决了存在90年的数学难题，还回应了学术争议，挺有意思的。

#OpenAI #Navier-Stokes #GPT-6 Astra #AI agents

事件专题

The Rundown AI@therundownai11 个信源在谈原文

论文中美对照多源确认93°02:33

OpenAI 宣布解决 Navier-Stokes 千禧年难题

OpenAI 用上万个 Agent 解决了流体力学千年难题，还和数学家 Buckmaster 有学术争议。

#OpenAI #Navier-Stokes #Lean #Agent

事件专题

宝玉@dotey11 个信源在谈原文

模型 Agent 与开发者多源确认73°02:27

OpenAI新模型在多个基准测试上实现阶梯式提升

OpenAI新模型用1万AI agents仅88小时解决复杂流体问题，训练还在继续。

#OpenAI #Navier-Stokes #AI agents #基准测试

事件专题

官方账号OpenAI@OpenAI11 个信源在谈原文