For the sake of anyone who might read this blog post in the distant future (a month from now, say), let me mention that I am writing it a few days after OpenAI announced that it had solved ten major problems in mathematics and theoretical computer science, including the first construction of a non-sofic group,…

来源链接可在原站核对查看原文 ↗

11快讯

影石 X6 正式发布：3999 元起，1/1.1 英寸大底传感器 + AI 三芯架构支持 8K 50 帧全景视频

该机搭载两颗定制 1/1.1 英寸方形大底传感器，支持 8K 50 帧全景视频，还内置 AI 芯片带来多项 AI 创作功能。

来源链接可在原站核对查看原文 ↗

12快讯

SpaceXAI 推出 Grok Bot：可独立完成工作的 AI"队友"

来源链接可在原站核对查看原文 ↗

13快讯

AI 编程语言 Mojo 推出 1.0 正式版，预计年内开源编译器及相关工具链

新版整理优化语法与类型系统，新增“引用失效”问题诊断能力，语言基础进入稳定阶段，官方预计今年将开源 Mojo 编译器及相关工具链。

来源链接可在原站核对查看原文 ↗

14快讯

奇瑞×火山引擎：东南亚首个AI大模型座舱发布，OMODA 4搭载豆包大模型亮相

来源链接可在原站核对查看原文 ↗

15快讯

微软 MAI Code 1.1 Flash 发布，性能与价格均被 DeepSeek 碾压

Microsoft has released MAI Code 1.1 Flash, a code model for GitHub Copilot that's said to be 25 percent more token-efficient at a quarter of the cost of its predecessor. In benchmarks, though, it gets crushed by the cheaper Deepseek V4 Flash. The move fits a pattern: Microsoft talks up open AI, then bakes worse proprietary models into its apps to protect margins.

来源链接可在原站核对查看原文 ↗

16快讯

字节跳动为豆包推出在校大学生专属优惠：2.5 倍免费额度，专业版 38 元 / 月起

大学生完成身份认证后可获 2.5 倍免费额度，还能以 38 元 / 月特惠价订阅原价 68 元 / 月的豆包专业版标准套餐，附认证领取方式。

来源链接可在原站核对查看原文 ↗

17快讯

人即回路：一位科技作者暂别 AI 数周后的反思

After a few weeks away from AI, I see my usage wasn't always productive or healthy.

来源链接可在原站核对查看原文 ↗

18快讯

专家警示医学生过度依赖 AI：或从一开始就无法形成诊疗推理能力

斯坦福大学医学院医学学生兼记者西马尔 · 巴贾杰、约翰斯 · 霍普金斯医学中心创伤外科医生兼外科执行副主任约瑟夫 · 萨克兰认为，医学生使用 AI 带来的问题已经相当令人担忧。

来源链接可在原站核对查看原文 ↗

19快讯

数据分析的未来：AI 如何改写数据分析师的岗位职责

AI is automating SQL, dashboards, and ad-hoc analysis. The future of data analytics isn't fewer analysts — it's analysts who lead with judgment, not queries.

来源链接可在原站核对查看原文 ↗

20快讯

Manus 开启限时免费活动：8 月 26 日前 Manus 1.6/Lite 全球免费用

活动持续至 8 月 25 日，免费付费用户均可参与，不同档位用户有不同额度限制，Manus 1.6 Max 不参与本次活动。

来源链接可在原站核对查看原文 ↗

2026-08-12AI 快讯日报.

2026-08-12
AI 快讯日报.