西方数学家担忧 AI 削弱数学理解，中国成立数学与 AI 联盟
菲尔兹奖得主丘成桐与中国数学家周日在北京成立「丘数学与人工智能联盟」，联合八家机构并计划建立超过 1000 名研究者的网络。西方 25 位菲尔兹奖得主包括陶哲轩和 Peter Scholze 担忧 AI 生成证明削弱数学理解、让人依赖，有人呼吁抵制 AI 生成的证明；丘成桐则警告中国正落后于美国，计划开发专用模型和机器可验证证明。据《南华早报》报道。
#推理
#推理
今日 0 条The DecoderAI 评分5353
The DecoderAI 评分6666 OpenAI 在 GitHub 公开 372 条 AI 生成数学结果，跳过传统期刊评审
OpenAI 在 GitHub 上公开 372 条由内部前沿模型生成的数学结果，每条针对一个开放问题或有实质进展。多数条目附带 Lean 形式化验证以缓解审稿瓶颈，平均每条消耗约三小时 ChatGPT Pro Thinking 算力，但未公开提示词和单条算力细节，公司表示将负责任地开放该模型。
The Decoder精选AI 评分7777 OpenAI 称已阻止窃取模型推理的攻击，但同一手法在 Azure 上仍然有效
OpenAI 称已阻止一场通过蒸馏窃取其模型推理过程的攻击，并关闭了超过 15,000 个相关账号，其将核心团伙与 Moonshot AI 相关人员关联。研究人员复现后表示，该手法在 Microsoft Azure 上对包括 GPT-6 Astra 在内的所有 OpenAI 模型以及最高到 Sonnet 5 的 Anthropic 模型仍然有效，一次尝试即可逐字提取推理内容。
推荐理由：对比模型官方 API 与云平台上的防护差异，可看清蒸馏攻击为何在第三方托管渠道依然奏效，修补节奏为何难以同步。
The DecoderAI 评分5959 OpenAI 与 Synopsys 签署多年合作，共建芯片设计模型 GPT-Synopsys
OpenAI 与 Synopsys 签署多年战略合作，将共同打造名为 GPT-Synopsys 的芯片设计专用模型，把 OpenAI 的 AI 技术与 Synopsys 的 EDA 工具结合起来。
OpenAI News精选AI 评分6161 OpenAI 阻止协同模型蒸馏行动并强化防御
OpenAI 阻止了一起协同模型蒸馏行动，该行动意在提取其受保护的模型推理。OpenAI 表示正在加强对对抗性蒸馏的防御。
TechCrunch · AIAI 评分5757 Modal Labs 接近完成 7.5 亿美元融资，估值 157.5 亿美元
据知情人士消息，推理基础设施厂商 Modal Labs 正接近完成由 Accel 领投的 7.5 亿美元融资，投后估值 157.5 亿美元。这一估值是四个月前其 3.55 亿美元融资时 46.5 亿美元估值的三倍多，同期 Baseten 也接近以 260 亿美元估值融资。Modal 截至 5 月的年化营收已超过 3 亿美元，客户包括 Cognition、Suno、Ramp 和 Substack。
NVIDIA BlogAI 评分4949 NVIDIA Vera Rubin NVL72 首秀 MLPerf Inference v6.1，性能领先
NVIDIA Vera Rubin NVL72 在 MLPerf Inference v6.1 预览提交中首次亮相，在 Qwen3-VL 上吞吐量最高达 GB300 NVL72 的 3.7x，在 DeepSeek-R1 上最高 2.5x。
Berkeley AI ResearchAI 评分3535 2026 BAIR 毕业生展示：博士研究方向与毕业去向
BAIR 公布 2026 届博士毕业生展示，涵盖机器人、LLM 推理、计算机视觉、生成模型、AI 安全、人机交互以及 AI for science 与医疗等方向。毕业生将赴高校教职、博士后岗位与工业研究实验室，其中 Hanlin Zhu 加入 OpenAI，Josh Kang 加入 Mistral AI。