#纳维-斯托克斯方程

共 11 条 · 7 天 1 条 · 30 天 4 条

OpenAI 9 Lean 3 AI安全 2 GPT-6 2 千禧年大奖难题 2 数学证明 2 智能体 2 陶哲轩 2

信息流里打上「纳维-斯托克斯方程」标签的资讯、产品与论文，按刊登时间排，新的在上。

10月17日

行业 Agent 与开发者多源确认84°18:34

OpenAI 纳维-斯托克斯方程证明遭数学界质疑：方法来源与智能体贡献成谜

OpenAI 那 88 小时拿下千禧年难题的证明被数学家挑出问题了：方法对不上前人路线，连 Noam Brown 都说 1 万个智能体的贡献可能不到 10%。

#OpenAI #纳维-斯托克斯方程 #Lean #多智能体

IT之家11 个信源在谈原文

10月7日

论文中美对照多源确认87°07:30

OpenAI 公开 722 篇 AI 数学论文

OpenAI 把内部数学模型做的 722 篇论文全开源了，包含黎曼猜想等难题，还附带了形式化证明。

#OpenAI #数学论文 #纳维-斯托克斯方程 #GPT-6

宝玉@dotey11 个信源在谈原文

9月24日

行业政策与合规多源确认78°07:33

Sam Altman 在联合国安理会演讲：AI 或文艺复兴或动荡，呼吁国际标准

Altman 在联合国安理会谈 AI 失控和权力集中两大风险，还披露 OpenAI 内部模型解出了纳维-斯托克斯方程，里面信息量不少。

#Sam Altman #OpenAI #AI安全 #联合国

IT之家11 个信源在谈原文

9月22日

模型中美对照多源确认90°07:26

OpenAI 内部模型称解出纳维-斯托克斯方程，27 位菲尔兹奖得主联名质疑

模型自称解出纳维-斯托克斯方程，陶哲轩等 27 位菲尔兹奖得主联名反对，顾问组可公开批评但不建议减速。

#OpenAI #陶哲轩 #纳维-斯托克斯方程 #AI安全

宝玉@dotey11 个信源在谈原文

9月21日

模型中美对照多源确认00:40

OpenAI 用 1 万个代理展示纳维-斯托克斯方程失效，DeepSeek V4.1 Flash 发布新架构

OpenAI 用 1 万个代理做了个实验，结果挺有意思的，DeepSeek 也出了个新版本，对长文本处理更便宜了。

#OpenAI #DeepSeek #纳维-斯托克斯方程 #长上下文

DeepLearning.AI@DeepLearningAI11 个信源在谈原文

9月11日

行业中美对照多源确认14:22

OpenAI 退出数学黑客马拉松，数学家联名抗议其解法争议

OpenAI 不再赞助数学黑客马拉松，数学家联名抗议其解法争议，值得看看。

#OpenAI #数学黑客马拉松 #纳维-斯托克斯方程 #数学家

IT之家11 个信源在谈原文

果蝇大脑解决纳维-斯托克斯方程

朋友，你肯定没见过，果蝇的大脑居然能解决流体力学方程，这太酷了，比任何AI模型都厉害。

#果蝇大脑 #纳维-斯托克斯方程 #生物智能 #神经科学

AI Breakfast@AiBreakfast原文

9月10日

论文中美对照多源确认73°07:42

OpenAI解决纳维-斯托克斯方程

OpenAI用1万智能体解决千年数学难题，88小时完成形式化验证，陶哲轩警告AI改变数学研究生态。

#OpenAI #纳维-斯托克斯方程 #Lean #陶哲轩

SuperTechFans11 个信源在谈原文

9月9日

模型中美对照多源确认83°07:44

OpenAI用1万AI智能体88小时解决千禧年难题

OpenAI用1万AI智能体88小时解决困扰数学界90年的千禧年难题，陶哲轩点赞又担忧。

#OpenAI #GPT-6 #纳维-斯托克斯方程 #千禧年大奖难题

IT之家11 个信源在谈原文

模型 Agent 与开发者多源确认93°05:12

OpenAI团队用AI模型解决纳维-斯托克斯千年难题

OpenAI用新一代模型让AI智能体团队解决了困扰数学界90年的难题，比GPT-6 Astra还强。

#OpenAI #GPT-6 Astra #纳维-斯托克斯方程 #数学难题

Aravind Srinivas@AravSrinivas11 个信源在谈原文

9月6日

行业中美对照多源确认78°06:40

Anthropic被指解决纳维-斯托克斯方程

Andrew爆料称Anthropic解决了百年数学难题，Claude模型已证明纳维-斯托克斯方程，一个月后IPO就能验证真假。

#Anthropic #Claude #纳维-斯托克斯方程 #千禧年大奖难题

宝玉@dotey11 个信源在谈原文