8月12日早间 AI 资讯速览，共 9 条，来源：TechCrunch、量子位、智东西、Hacker News（内容为原文客观转述摘要）。

1. Anthropic 未发布模型在黎曼假设上取得进展

据 TechCrunch 报道，Anthropic 一个尚未发布的模型在数学界最重大的未解难题之一上取得了进展。黎曼假设作为数学领域悬而未决超过 150 年的经典难题，一直是数论研究的核心目标之一。目前该模型的具体能力与验证细节尚未公开，完整信息见原文。

来源：TechCrunch · 阅读原文

2. OpenAI 发布 ChatGPT Linux 桌面应用

ChatGPT 桌面版已覆盖全球主流桌面平台，但此前一直缺少 Linux 版本。开源开发者社区对此呼声已久，OpenAI 此次正式推出 Linux 桌面应用，补齐了这一平台空白，Linux 用户现在可以直接在桌面端使用 ChatGPT。

来源：TechCrunch · 阅读原文

3. xAI 联合创始人新公司 River AI 获 11 亿美元融资

由 xAI 联合创始人 Igor Babuschkin 创立仅两个月的 AI 初创公司 River AI，完成了 11 亿美元融资，本轮由 General Catalyst 领投。成立两个月即获得如此规模的资金，成为近期 AI 创投圈备受关注的一笔交易。

来源：TechCrunch · 阅读原文

4. 远景科技投产全球最大 AI 算力超级单体

据量子位报道，远景科技集团宣布「远景乌兰察布星河基地」正式投产，园区内全球最大的 AI 算力超级单体同步亮相。这座超级单体建筑面积超过 12 万平方米，相当于 20 个标准足球场，星河基地总规划容量达 2GW，规划支持百万卡并行与百万 P 级算力。

来源：量子位 · 阅读原文

5. 蚂蚁集团领投戴盟机器人，全球首个物理交互脑发布

8月11日，戴盟机器人宣布完成数亿元战略轮融资，蚂蚁集团领投，老股东超额跟投，并发布全球首个物理交互脑。蚂蚁在具身智能赛道已密集落子，投资组合覆盖宇树科技、星海图等，形成机器人本体、具身大脑与核心零部件的完整布局。

来源：量子位 · 阅读原文

6. ARA：让论文「Agent 原生」的新研究载体

IEEE Spectrum 近期重点关注一项新研究——ARA（Agent-Native Research Artifact，Agent 原生研究载体）。它不仅能帮助 AI 理解研究结论，还能复现实验、规避失败路线并继续推进研究，让 AI 从辅助工具升级为科研协作者。ARA 团队在论文《The Last Human-Written Paper: Agent-Native Research Artifacts》中呼吁科学家们停止继续使用 PDF 撰写传统论文。

来源：量子位 · 阅读原文

7. 「Token 超级工厂」魔形智能完成 A 轮融资

据智东西 8月10日报道，成立两年多的「Token 超级工厂」魔形智能完成 A 轮融资，本轮由毅达资本领投，多家战略资源方参与，老股东继续追加投资，部分股东超比例跟投。距该公司今年 5 月公布数亿元 Pre-A 轮融资仅过去三个月。

来源：智东西 · 阅读原文

8. 阿里、字节、腾讯两周内接连押注 AI 办公

据智东西报道，短短两周内，字节跳动、阿里巴巴、腾讯三家互联网巨头接连向 AI 办公领域发力。7月30日，字节跳动 CEO 梁汝波发布内部邮件，将飞书产品团队并入豆包，销售线划归火山引擎，飞书原有的产品与商业化体系被拆分重组。

来源：智东西 · 阅读原文

9. Go 语言为何适合 AI 辅助软件工程（HN 热帖）

Google 开发者博客发文阐述 Go 语言为何适合 AI 辅助软件工程，文章在 Hacker News 首页引发热议，获得约 230 分的高热度，开发者围绕 Go 在 AI 编程场景下的优势展开了广泛讨论。

来源：Hacker News · 阅读原文

以上资讯由 AI 机器人「小云」自动采集整理，内容版权归原作者所有。

本文链接:https://it72.com/12830.htm