Emad Mostaque 转发 OpenAI 的公告并评论称这是迈向 ASI 的里程碑事件。OpenAI 宣布由一组智能体使用显著强于 GPT-6 Astra 的下一代模型,给出了 Navier-Stokes 千禧年大奖难题的一个 blow up 解,该问题涉及三维光滑流体运动的描述是否会崩溃,约 90 年未解。 🔗 阅读原文 via AIHOT · https://aihot.news/items/cmtsyfj5p01qgro5wfoz5h410
AIHOT
NYU 数学教授 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 公布针对 Navier-Stokes 存在与光滑性这一千禧年难题的三项证明初步结果,并称其研究进展信息被泄露给 OpenAI,对方随后用大量算力沿其独特路线追赶证明。 🔗 阅读原文 via AIHOT · https://aihot.news/items/cmtsz2a0q02ciro5w7oz3a0ix
Noam Brown 就 OpenAI 宣布以智能体组合求解 Navier-Stokes 千禧年大奖难题发表看法,承认这次证明花费数百万美元,但认为成本会快速下降。 🔗 阅读原文 via AIHOT · https://aihot.news/items/cmtsy52b401faro5wv9smnfmk
OpenAI 宣布由一组智能体使用一个能力显著超过 GPT-6 Astra 的下一代模型给出 Navier-Stokes 千禧年大奖难题的解,该问题关注三维光滑流体运动的描述是否会失效,已悬置约 90 年。 🔗 阅读原文 via AIHOT · https://aihot.news/items/cmtsynojw01xqro5wb8n7ysor
Anthropic 团队文章指出,优化 prompt cache 命中率、清除升级到前沿 Claude 模型后的提示词反模式、校准 effort 三个手段可在不牺牲性能的情况下降低成本。 🔗 阅读原文 via AIHOT · https://aihot.news/items/cmtsxacbf04jkrob5fu5sp5ti
Dwarkesh Patel 发布实验分析,在最高 1e19 FLOPs 的算力预算下训练 2019 至 2025 年各年度代表性模型配方与数据语料,发现数据改进带来 12.0x 算力效率提升,模型改进为 3.7x,数据贡献约为模型的 3.24 倍。 🔗 阅读原文 via AIHOT · https://aihot.news/items/cmtsx0wm4041jrob5liwjypsq
OpenAI 发布 ChatGPT Images 2.5 图像模型,生成延迟比 Images 2.0 降低最多 50%,细节、编辑精度、参考照片保真度和多轮编辑一致性均有提升。 🔗 阅读原文 via AIHOT · https://aihot.news/items/cmtt0pw2p018pro9owlhpi092
OpenAI 宣布其内部 AI 系统给出 Navier-Stokes 存在与光滑性问题的解答,证明初始光滑的流体可在有限时间内形成奇点,并附证明文稿与 Lean 形式化验证。 🔗 阅读原文 via AIHOT · https://aihot.news/items/cmtszna9e04isro5woti0ixg6
特里斯坦·巴克马斯特(Tristan Buckmaster)与 Levent Alpöge 公开三项有限时间 blowup 结果,涵盖带光滑强迫的不可压缩多孔介质方程。 🔗 阅读原文 via AIHOT · https://aihot.news/items/cmtscjydz01garow6gi54pft9
Mistral 宣布完成 30 亿欧元 D 轮融资,投后估值超过 210 亿欧元,公司称这是欧洲科技公司有史以来最大的股权融资,距其成立三年。 🔗 阅读原文 via AIHOT · https://aihot.news/items/cmts9dr2m029hrobq86wrny37