OpenAI 智能体给出纳维-斯托克斯千禧年大奖难题的解答
OpenAI 表示，一组 AI 智能体借助远超 GPT-6 Astra 的下一代模型，给出了纳维-斯托克斯千禧年大奖难题的解答。
全球 AI 动态简报
-
-
OpenAI智能体以Lean形式化产出纳维-斯托克斯千禧年大奖证明
OpenAI分享了由智能体团队生成、并经Lean形式化验证的分析证明，证明纳维-斯托克斯动力学下流体可在有限时间内形成奇点，该奇点表现为向内螺旋并不断拉长的涡旋。
-
OpenAI 宣布由智能体生成纳维-斯托克斯千禧年问题证明
OpenAI 表示将分享纳维-斯托克斯千禧年问题的解决方案，该证明由一组 AI 智能体使用比 GPT-6 Astra 更强的下一代模型生成。
-
谷歌Gemini推出Gemini 3.5 Transcribe，支持实时语音转文字
Gemini 3.5 Transcribe 是谷歌最新的语音转文字模型，专为精准、智能的实时转录而设计，并已可在 macOS 版 Gemini 应用中结合语音与屏幕上下文使用。
-
Gemini 3.5 Transcribe 登陆 macOS 应用，支持语音与屏幕上下文
Gemini 3.5 Transcribe 现已在 macOS 版 Gemini 应用中推出，用户可通过自然语言、语音和屏幕上下文来总结本地文件、规划研究并生成图像。
-
Meta 上调 Muse Spark Contributor 速率限制
Meta 已提高 Muse Spark Contributor 的速率限制，以减少 429 错误，并希望用户反馈是否仍遇到限流问题。
-
在 Hugging Face 上，任何人都能用 AI 预测天气
一篇新博客文章介绍了基于AI的天气模型如何让普通人无需超级计算机就能进行天气预报，并指出 Hugging Face 上缺乏标准化文档的问题。
-
OpenCode 将在布宜诺斯艾利斯为本地开发者举办社区烧烤聚会
开源编程智能体 OpenCode 将于 9 月 27 日在布宜诺斯艾利斯为本地开发者社区举办一场阿根廷烧烤聚餐（asado），现场提供限定周边和丰富美食。
