AI 日报 | 2026年6月1日（周一）：OpenAI解决80年数学难题、SoftBank投750亿欧元建法国AI数据中心

━━━ 头条 ━━━OpenAI 模型解决困扰人类 80 年的 Erdős 数学难题 — OpenAI 的 AI 模型成功解决了一个由传奇数学家 Paul Erdős 提出的经典数学问题，该问题已困扰人类超过 80 年。据报道，Claude Mythos 也利用”简洁、巧妙的证明”解决了同一个问题。这一突破证明 AI 在数学推理领域已达到前所未有的高度。Fields 奖得主此前曾表示 ChatGPT 5.5 Pro 在不到两小时内完成了博士水平的数学研究。来源：Ars TechnicaSoftBank 计划投资 750 亿欧元建设法国 AI 数据中心 — SoftBank 宣布将在法国投资高达 750 亿欧元建设 AI 数据中心集群，这是欧洲最大规模的 AI 基础设施投资之一。SoftBank 创始人孙正义表示法国将成为欧洲 AI 基础设施的核心枢纽。此前 SoftBank 已在全球多个国家布局 AI 算力基础设施。来源：TechCrunch / 来源：The Decoder

━━━ 行业动态 ━━━

• 微软与英伟达合推 AI Agent PC，Copilot 或将退居二线 — 据 The Decoder 报道，微软和英伟达正合作开发新一代 AI PC，将运行自主 AI Agent 而非当前基于 Copilot 的助手模式。这意味着 Windows 平台上的 AI 体验可能发生根本性转变——从被动响应用户指令到主动执行任务的 Agent 式交互。来源：The Decoder
• OpenAI 启动机器人计划，目标”人人拥有个人机器人” — OpenAI 正在招聘硬件、运营、系统和机器学习工程师，从基础设施机器人起步，最终目标是实现”每个人拥有一台能做任何事情的个人机器人”。Sam Altman 此前的推理认为没有机器人也能实现 AGI，但现在公司正重新押注通用机器人领域以推动 AGI 进展。来源：The Decoder
• Anthropic 超越 OpenAI，成为全球最有价值 AI 初创公司 — Anthropic 在最新一轮融资中估值超过 OpenAI，正式成为全球估值最高的 AI 初创企业。近期 Anthropic 接连发布 Claude Opus 4.8、Claude Mythos 等重磅模型，在多项基准测试中超越 GPT-5.5，并与梵蒂冈合作发布 AI 通谕。来源：Hacker News
• GitHub Copilot 改用 Token 计费引发开发者强烈不满 — GitHub 宣布 Copilot 将采用基于 Token 的新计费方案，取代此前的固定订阅模式。开发者在社交媒体上纷纷吐槽”这是个笑话”，认为 Token 计费将使成本不可预测，尤其对频繁使用 AI 辅助编码的团队影响巨大。来源：TechCrunch
• Erin Brockovich 加入反对数据中心隐秘扩张的阵营 — 环保活动家 Erin Brockovich 公开质疑 AI 数据中心的隐秘扩张，要求数据中心运营方披露更多环境影响信息。随着全球 AI 基础设施建设加速，数据中心的能源消耗和环境透明度问题日益成为公众焦点。来源：TechCrunch
• 新加坡拿下东南亚 AI 基建融资 99% — 2026 年东南亚 AI 基础设施融资中，新加坡占据了 99% 的份额，凸显其在区域 AI 领域的绝对优势地位。BEYOND Expo 2026 同期圆满收官，AI 加速落地物理世界成为展会核心主题。来源：动点科技 TechNode

━━━ 🇨🇳 中国 AI 动态 ━━━

• 豆包 6 月下旬正式付费，加速打通抖音电商 — 字节跳动旗下 AI 助手豆包将于 6 月下旬开始正式收费，并加速与抖音电商生态打通。这意味着国内 C 端 AI 产品商业化进入新阶段，豆包将探索 AI 助手直接嵌入电商场景的变现路径。来源：36氪
• VAST 斩获近 2 亿美元 A 轮系列融资，同步推出世界模型 — AI 3D 内容生成公司 VAST 完成近 2 亿美元 A 轮系列融资，顶级财务投资和产业资本共同入局。公司同步推出世界模型产品，标志着 3D AI 生成赛道持续升温。来源：雷锋网
• 扣子 3.0 正式上线，开启 Agent 团队协作新方式 — 字节跳动旗下 AI Agent 开发平台扣子（Coze）发布 3.0 版本，核心升级为 Agent 团队协作功能，允许多个 AI Agent 协同完成复杂任务。此举进一步降低了企业构建 AI Agent 工作流的门槛。来源：雷锋网
• 牧原与阿里云达成 AI 战略合作 — 国内生猪养殖龙头企业牧原股份与阿里云达成 AI 战略合作，联合打造 AI 助手将猪群健康检测效率提升超百倍。这是 AI 大规模赋能传统农业的典型案例。来源：雷锋网
• 清华 00 后团队连续完成五源、峰瑞两轮数千万融资，解决 Token 账单焦虑 — 一支清华 00 后创业团队开发的 AI 成本管理工具连续完成五源资本和峰瑞资本两轮数千万元融资，致力于解决企业和开发者日益严重的 AI Token 账单管理焦虑。来源：36氪
• 苹果代工厂开造人形机器人 — 36氪报道苹果代工厂开始投入人形机器人制造，这被解读为一场豪赌未来的产能大迁移。消费电子代工巨头向机器人制造转型，反映 AI 硬件赛道正在加速重构全球制造业格局。来源：36氪

━━━ 📊 AI 研究 & 模型 ━━━

• Anthropic 研究：男性使用 AI 编码 Agent 的频率是女性的两倍以上 — Anthropic 的一项社会科学研究发现，在社会科学研究中，男性研究者使用 AI 编码 Agent 的比例是女性的两倍以上。该研究揭示了 AI 工具在学术研究中的性别使用差距。来源：The Decoder
• AI 搜索 Agent 倾向于确认已有认知而非真正研究网络 — 一项研究发现，AI 搜索 Agent 在选择信息和验证结论时倾向于确认自己已有的认知，而非真正去研究网络上的新信息。这一发现揭示了当前 AI 搜索系统在信息多样性和客观性上的局限。来源：The Decoder
• MarkTechPost 发布 2026 年最佳 TTS 模型基准对比 — MarkTechPost 发布了 2026 年最佳文本转语音模型基准对比，涵盖多个主流模型在自然度、速度和语言支持方面的表现。最新的 TTS 模型在自然度和情感表达上已接近真人水平。来源：MarkTechPost
• ICRA 2026 高校论文榜：清华 74 篇断层领跑 — 国际机器人学顶级会议 ICRA 2026 公布高校论文贡献排名，清华大学以 74 篇论文断层领跑，中国高校占据榜单半壁江山，展现了中国在机器人领域的强劲研究实力。来源：雷锋网
  —封面图：AI 日报 2026-06-01 封面