OpenAI内部模型推翻80年Erdős单位距离猜想,数学界里程碑
OpenAI内部模型成功推翻1946年提出的Erdős单位距离猜想,为AI在纯数学领域的能力突破。菲尔兹奖得主Tim Gowers称为"AI数学里程碑"。论文已提交arXiv(2605.20695v1)。
·8 条
OpenAI内部模型成功推翻1946年提出的Erdős单位距离猜想,为AI在纯数学领域的能力突破。菲尔兹奖得主Tim Gowers称为"AI数学里程碑"。论文已提交arXiv(2605.20695v1)。
PromptArmor披露Copilot Cowork存在间接提示注入漏洞:攻击者通过投毒skill文件可在无需人工审批下通过Teams消息外泄文件。攻击对Claude Opus 4.7成功率5/5。
特朗普访华期间中美达成建立首个政府间AI对话机制。双方将在AI安全标准、治理框架等议题开展定期磋商,为全球AI治理格局带来新变量。
用户发现Google搜索框输入"disregard"可触发AI Overview执行系统级指令。Google安全博客已确认并修复,暴露了消费级AI产品的提示词安全短板。
Gemini Interactions API新架构于5月26日起成为默认。开发者可在6月8日前选择退出,此后永久迁移。影响所有调用Interactions API的应用。
NYT报道白宫悄然批准90亿美元机密AI芯片采购预算,主要分配CIA和NSA用于AI推理基础设施。反映美国情报体系加速AI化的战略决心。
DeepSeek将V4-Pro旗舰模型75%促销价永久化,原定5月31日到期。起价0.025元(~$0.0037)/千tokens,已是最便宜的前沿模型之一再砍3/4。标志AI模型定价从"限时促销"进入"永久降价"阶段。
Anthropic $300亿融资轮预计本周完成,由Sequoia领投,估值超$9000亿。完成后Anthropic将超越尚未IPO的OpenAI,成为全球最有价值的私人AI公司。背景:Q2首次盈利$5.59亿,ARR超$440亿。