6月1日AI圈速览：Copilot变天、芯片禁令升级、OpenAI破解80年数学难题

今天是2026年6月1日，AI圈又是信息量爆炸的一天。三条重磅，值得一看。

一、GitHub Copilot 改计费，开发者集体炸锅

从今天起，GitHub Copilot 从固定月费转向 token 计费模式。简单说，用多少付多少，输入、输出、上下文缓存全部按 token 算钱。问题是——很多开发者预估费用可能从每月几十美元飙到数百甚至上千。独立开发者和小团队首当其冲。有人吐槽：以后写代码得先算账。

二、美国芯片禁令再加码，堵死"曲线出货"

5月31日，美国商务部发布新规，禁止向总部在中国但运营在海外的实体出口 Nvidia Rubin、Blackwell 和 AMD MI350x 等顶级芯片。此前中企通过马来西亚等海外子公司拿到了数十万颗高端芯片，现在这条路被堵死了。英伟达和AMD尚未回应，但产业链震动已经传导。

三、OpenAI 模型破解悬置80年数学难题

OpenAI 最新模型成功解决了一个近80年未解的组合数学难题，证明已获专业数学家独立验证。AI 通过多步推理，找到了人类专家未曾想到的证明路径。这不是 AI 第一次在数学上发力，但这次的"原创性"含金量很高——从辅助计算到真正推动科学发现，又近了一步。

一句话总结： 工具涨价、芯片收紧、AI 科研突破——6月开局，三件大事指向同一个方向：AI 的钱和算力越来越贵，但能力也在同步突破