本期 AI 早报聚焦：
1. OpenAI 称模型反证 Erdős 几何猜想：OpenAI称其新通用推理模型给出原创数学证明，反驳Paul Erdős 1946年提出的几何猜想；Noga Alon、Melanie Wood和Thomas Bloom…
2. Google 将 Genie 世界模型接入 Street View：Google DeepMind 将 Genie 3 世界模型接入 Street View 影像，用户可在地图落点、选择风格并描述角色，生成以真实地点为起点的可行走 AI…
3. 机器人行业距离 ChatGPT 时刻仍有差距：Agility Robotics 联合创始人 Jonathan Hurst 与 Google X Everyday Robots 前负责人 Hans Peter Brøn…
4. DeepSeek Code 瞄准 Claude Code 与 Codex：Deepseek在北京组建“Harness”团队，从零开发AI代码代理“Deepseek Code”。团队招聘产品经理和开发者，需熟悉智能体循环、MCP、多智能体系统和上…
5. Gemini 3.5 Flash 价格显著上升：Google DeepMind 发布 Gemini 3.5 Flash。Artificial Analysis 测试称其智能指数较 Gemini 3 Flash 高 9…
6. Anthropic 每年 150 亿美元采购 SpaceX 算力：SpaceX提交的S-1文件披露，Anthropic将到2029年5月每月向SpaceX支付12.5亿美元，获取Colossus与Colossus II数据中心GPU算力…
7. 1Password 与 OpenAI 保护 AI 编码凭证：1Password 与 OpenAI 合作保护 AI 编码工作流，重点防止 OpenAI Codex 等智能体 AI 系统泄露凭据。1Password 称编码智能体不应持…
8. Anthropic 与 OpenAI 政治行动竞争升级：正文称，AI 行业 super PAC 已成为政治力量与企业竞争工具。纽约民主党候选人 Alex Bores 挑战由 Joe Lonsdale、Andreessen Ho…
9. OpenAI 推进最早 9 月 IPO 准备：OpenAI在Elon Musk败诉后据称恢复IPO准备，CEO Sam Altman希望公司9月前具备上市条件。正文称其正与Goldman Sachs、Morgan S…
10. Anthropic 修补 Claude Code 沙箱绕过漏洞：Anthropic 已静默修补一项 Claude Code 网络沙箱漏洞。正文称，该缺陷原本会让攻击者绕过沙箱限制，发现漏洞的研究人员还表示，它可与提示注入串联，进而导致…
来源：
1. https://techcrunch.com/2026/05/20/openai-claims-it-solved-an-80-year-old-math-problem-for-real-this-time/
2. https://the-decoder.com/google-pairs-its-genie-world-model-with-street-view-to-create-explorable-ai-worlds-based-on-real-places/
3. https://spectrum.ieee.org/robotics-ai-breakthrough
4. https://the-decoder.com/deepseek-wants-to-take-on-claude-code-and-openais-codex-with-deepseek-code/
5. https://the-decoder.com/googles-gemini-3-5-flash-follows-anthropic-and-openai-in-making-newer-ai-models-significantly-pricier/
6. https://www.wired.com/story/spacex-ipo-anthropic-compute-finances-risks/
7. https://www.securityweek.com/1password-teams-with-openai-to-stop-ai-coding-agents-from-l…
