AI日报 · 2026-09-13 数学大师警告AI暴力解题

OpenAI用Rust重写服务效率飙升，25位菲尔兹奖得主联名反对AI摧毁数学精神，欧洲首次全无人Robotaxi上路。在 ai345 阅读本期 AI 日报，快速了解值得关注的 AI 产品、模型与行业动态。

返回 AI资讯

今日速览

OpenAI 用 Rust 重写在线存储平台 Habitat，CPU 效率提升 6 倍，普通用户将享受更稳定、更快的 AI 云服务。

📎 来源：[IT之家](https://www.ithome.com/1/001/497.htm)

DeepSeek 灰度测试 AI 语音对话功能，支持四种音色，普通用户可与 AI 语音交互。

📎 来源：[IT之家](https://www.ithome.com/1/001/498.htm)

微软计划 2032 年全球数据中心容量扩至 38 GW 以上，支撑更大规模算力，普通人将获得更流畅的 AI 服务。

📎 来源：[爱范儿](https://www.ifanr.com/1679729?utm_source=rss&utm_medium=rss&utm_campaign=)

蚂蚁集团发布“灵影”Agent 原生操作系统，面向 AI 眼镜等新终端，普通人未来可通过眼镜与 AI 无缝交互。

📎 来源：[雷峰网](https://www.leiphone.com/category/industrynews/XOOL34t59O0TvCAQ.html)

欧洲首次全无人 Robotaxi 载客测试在克罗地亚启动，用户可通过 Uber 体验，普通人将更快享受到自动驾驶出行。

📎 来源：[IT之家](https://www.ithome.com/1/001/599.htm)

优必选万台级人形机器人工厂投产，每 10 分钟下线一台机器人，普通人将看到更多机器人进入工厂和服务业。

📎 来源：[IT之家](https://www.ithome.com/1/001/635.htm)

25 位菲尔兹奖得主联名反对 AI 暴力解题，认为其破坏人类数学精神，普通人需思考 AI 与人类智慧的关系。

📎 来源：[量子位](https://www.qbitai.com/2026/09/487653.html) · [IT之家](https://www.ithome.com/1/001/554.htm)

GPT‑6 Astra 攻克 FrontierMath Tier 4，AI 数学推理能力重大突破，普通人未来可借助 AI 解决更复杂问题。

📎 来源：[量子位](https://www.qbitai.com/2026/09/487701.html)

Anthropic CEO 呼吁 AI 行业放缓发展速度，并承诺向第三方开放员工级访问权限，普通用户期待更安全的 AI 发展。

📎 来源：[IT之家](https://www.ithome.com/1/001/651.htm)

阿里千问办公上架麒麟商店，原生适配全部主流操作系统，普通办公用户可更便捷地使用 AI 助手。

📎 来源：[IT之家](https://www.ithome.com/1/001/562.htm)

微信灰度测试图片发送新增“AI 处理”功能，支持美化、修改和提取，普通人日常聊天体验更智能。

📎 来源：[IT之家](https://www.ithome.com/1/001/514.htm)

华境 S 新增 4 款配置，全系标配华为乾崑智驾 ADS Pro 增强版，普通人能以更低价格获得高阶智驾体验。

📎 来源：[IT之家](https://www.ithome.com/1/001/515.htm) · [IT之家](https://www.ithome.com/1/001/574.htm)

算力词元贷全国推广，支持 GPU 集群采购，降低算力成本，普通人将间接受益于更低价格的 AI 服务。

📎 来源：[IT之家](https://www.ithome.com/1/001/656.htm)

谷歌收购 AI 编程创企 Mechanize 人才，十多名工程师加入 DeepMind，普通人未来可获得更智能的编程工具。

📎 来源：[IT之家](https://www.ithome.com/1/001/653.htm)

小米 18 Fold 及澎程 SUV 热度高涨，门店客流暴增 4 倍，普通消费者对 AI 新设备热情持续升温。

📎 来源：[IT之家](https://www.ithome.com/1/001/600.htm)

重点解读

OpenAI 用 Rust 重写 Habitat：一次高效“爆改”

OpenAI 近日公布了其在线存储平台 Habitat 的重写成果。两名工程师借助 Codex 和 GPT‑5.5，用 Rust 语言将整个服务重写，使 CPU 效率提升 6 倍，内存效率提升15 倍，延迟显著降低。Habitat 目前每秒处理超 7000 万次请求，每周服务超 10 亿用户，管理超 500 PB 数据。这次重写背后最重要的信号是：AI 公司不仅在追求模型更大，也在用 AI 帮助自己优化基础设施，从而实现倍数级的效率提升。对普通用户来说，这意味着更快速、更省资源的背后服务，未来可能表现在更低的 API 成本、更快的响应速度上，也预示着 AI 工程化正在走向成熟。 📎 来源：[IT之家](https://www.ithome.com/1/001/497.htm)

25 位菲尔兹奖得主反对 AI“暴力解题”：数学精神的保卫战

9 月 13 日，包括陶哲轩、邓煜在内的 25 位菲尔兹奖得主联合签署声明，警告 AI 公司与数学共同体出现严重错位。他们指出，AI 将数学难题作为基准来“暴力解题”的做法有害，可能破坏数学研究土壤，引发署名和抄袭问题。声明直接回击了近期 GPT‑6 攻克 FrontierMath Tier 4 的事件，认为这种“蛮力碾压”式的方式会摧毁人类数学中推理论证的美感。这件事之所以值得关注，是因为它触及了 AI 发展的深层次问题：当我们追求超越人类的能力时，是否会无意中毁灭那些让人类引以为豪的智力活动？对非技术读者来说，这提醒我们要思考：我们想要的 AI 究竟是“更强”，还是“更好”？ 📎 来源：[量子位](https://www.qbitai.com/2026/09/487653.html) · [IT之家](https://www.ithome.com/1/001/554.htm)

欧洲首次全无人 Robotaxi 载客测试：自动驾驶的新大陆

9 月 12 日，获 Rimac 支持的自动驾驶公司 Verne 在克罗地亚萨格勒布开启了完全无人驾驶载客测试，成为欧洲首个实现真正“无安全员”运营的企业。用户可通过 Uber 应用体验，全长 22 km 的路线由小马智行提供驾驶系统，Verne 远程监控。车内取消了前排乘客座椅以增加空间，并配备大屏显示器。此举标志着自动驾驶在欧洲迈出了实质性一步——不再是 demo 或有限试点，而是真实付费运营。对普通人而言，这意味着无人出租车离我们的生活更近了，尤其是在对自动驾驶监管谨慎的欧洲取得突破，会加速全球其他地区的落地进程。 📎 来源：[IT之家](https://www.ithome.com/1/001/599.htm)

行业信号

AI 从追求技术极限转向基础设施优化与伦理平衡，行业在工程效率、学术伦理和商业化落地之间寻找新支点。

参考链接

以下是本日报正文引用过的真实信源，点击可跳转原文：

[IT之家 · OpenAI 用 Rust 重写 Habitat，CPU效率提升6倍](https://www.ithome.com/1/001/497.htm)
[IT之家 · DeepSeek灰度测试语音对话，支持四种音色](https://www.ithome.com/1/001/498.htm)
[爱范儿 · 微软计划2032年数据中心容量扩至38GW以上](https://www.ifanr.com/1679729?utm_source=rss&utm_medium=rss&utm_campaign=)
[IT之家 · 微信图片发送新增AI处理，支持美化修改提取](https://www.ithome.com/1/001/514.htm)
[IT之家 · 华境S新增4款配置，标配华为乾崑智驾](https://www.ithome.com/1/001/515.htm)
[量子位 · 菲尔兹奖得主联名反对AI暴力解题](https://www.qbitai.com/2026/09/487653.html)
[IT之家 · 25位菲尔兹奖得主警告：AI与数学界严重错位](https://www.ithome.com/1/001/554.htm)
[IT之家 · 阿里千问办公上架麒麟商店，原生适配主流系统](https://www.ithome.com/1/001/562.htm)
[IT之家 · 华境S明日全量OTA，华为乾崑智驾ADS 5 Pro上车](https://www.ithome.com/1/001/574.htm)
[量子位 · GPT-6 Astra攻克FrontierMath Tier 4](https://www.qbitai.com/2026/09/487701.html)
[雷峰网 · 蚂蚁发布“灵影”：AI终端Agent原生操作系统](https://www.leiphone.com/category/industrynews/XOOL34t59O0TvCAQ.html)
[IT之家 · 欧洲首例全无人Robotaxi载客测试启动](https://www.ithome.com/1/001/599.htm)
[IT之家 · 小米18 Fold及澎程SUV热度高涨，门店客流暴增400%](https://www.ithome.com/1/001/600.htm)
[IT之家 · 优必选万台级人形机器人工厂投产](https://www.ithome.com/1/001/635.htm)
[IT之家 · Anthropic CEO呼吁AI行业放缓，承诺开放员工级权限](https://www.ithome.com/1/001/651.htm)
[IT之家 · 谷歌收购AI编程创企Mechanize人才](https://www.ithome.com/1/001/653.htm)
[IT之家 · 算力词元贷全国推广，支持GPU集群采购](https://www.ithome.com/1/001/656.htm)

往期 AI 日报

上一期 · 2026-09-12 AI 日报：AI日报 · 20260912 燧原上市月之暗面十亿，智能体商业起飞
下一期 · 2026-09-14 AI 日报：AI日报 · 2026年9月14日智谱50亿与AI减速
2026-10-21 AI 日报：AI 日报 · 2026-10-21 数据飞轮与监管刹车 — OpenAI收购药企平台、Waymo车队扩至2万辆、DeepSeek新模型登榜首，AI正从模型竞赛转向落地与治理并重。
2026-10-20 AI 日报：AI 日报 · 2026-10-20 智能体加速落地 — 谷歌四智能体27小时自主通关《我的世界》，DeepSeek、MiniMax同日上新降价提速，AI仿冒营销遭平台清剿，行业从拼算力转向拼交付。
2026-10-19 AI 日报：AI 日报 · 2026-10-19 开源激战与终端落地 — 今日 AI 动态密集：OpenAI 官宣造人形机器人、Meta 与苹果推开源模型、DeepSeek 营收加速、首个十万卡国产超集群亮相。