OpenAI推理模型攻克80年数学难题
本周AI圈最大新闻，当属OpenAI放出的”王炸”——其最新推理模型成功推翻了1946年提出的Erdős猜想，一个困扰数学家整整80年的离散几何难题。
什么意思呢？简单说，就是数学家Paul Erdős在1946年猜测：平面上任意n个点，两两之间距离恰好为1的点对数量存在一个上界。80年来没人能证明也没人能推翻。OpenAI的AI推理模型不仅找到了反例，还构造出一个无限族示例，证明了这个猜想是错的。
更关键的是：这不是专门的数学AI，而是通用推理模型。而且验证者是之前曾指出OpenAI数学缺陷的数学家，可信度很高。
对普通人意味着什么？AI已经开始做”原创性科学研究”了，不只是”回答问题”这么简单。未来AI帮你分析数据、发现规律、提出假设，将成为日常。
Anthropic月付xAI 125亿元算力费：竞争对手秒变”房东”
据TechCrunch 5月20日报道，AI公司Anthropic将向马斯克的xAI支付每月12.5亿美元（约合87亿人民币）的算力费用。这意味着Claude的母公司每个月要给竞争对手交近百亿的”房租”。
为什么？因为训练和运行大模型需要海量GPU，而xAI恰好有大量算力资源。这揭示了一个残酷现实：AI行业的竞争，底层是算力之争。谁能建更多的数据中心、买到更多的GPU，谁就掌握了主动权。
xAI也被曝出2025年净亏损64亿美元，计划未来三年投入28亿美元购买天然气轮机来扩展能源。AI的”烧钱大战”远未结束。
NVIDIA单季营收816亿美元：AI淘金热中”卖铲子”的人赚翻了
英伟达5月20日公布了2027财年Q1财报：单季营收816亿美元，同比增长85%，创历史新高。还首次披露持有430亿美元的AI初创公司投资组合。
如果用一个比喻：AI公司都在淘金，英伟达就是那个卖铲子的。不管谁挖到金子，卖铲子的稳赚不赔。
不过英伟达也发出了谨慎预测，下季度营收增长可能放缓。市场需要消化之前的大量采购。
国产大模型逆袭！Token调用量超美国两倍，Kimi登顶榜首
据央视网5月17日报道，2026年5月4日至10日当周，中国主要大模型周调用量达7.94万亿Token，而美国是3.76万亿，中国超美国两倍多。
在CSDN和稀土掘金发布的5月大模型排行榜上，国产模型更是霸榜：
- 🥇 Kimi K2.6（月之暗面）：94.3分
- 🥈 DeepSeek V4：93.8分
- 🥉 OpenAI GPT-5：93.5分
月之暗面（Kimi）还完成了20亿美元（约136亿人民币）融资，投后估值突破200亿美元，创中国大模型最大单笔融资纪录。
OpenAI加速狂奔：Codex免费两个月抢用户，GPT-5.6已在路上
OpenAI CEO Sam Altman 5月14日宣布：企业用户如果从其他工具迁移到Codex，可以免费用两个月。Anthropic不到一小时就反击——把Claude Code的每周使用上限提高50%。
GPT-5.5发布仅三周后，GPT-5.6的内部测试代码已被曝光，开发进程全面提速。AI编程工具的”价格战”已经打响，对开发者来说这是好事——AI编程工具的免费时代来了。
AI投资狂潮：Q1全球融资1880亿美元
据Crunchbase数据，2026年Q1全球AI融资达1880亿美元，创历史新高。中国信通院报告显示，AI领域独占互联网投融资的45%。
但行业也在经历从”参数竞赛”到”价值验证”的转型。资本开始追问：收入在哪？利润在哪？可持续的竞争优势在哪？
总结：普通人该关注什么？
1️⃣ AI推理能力质的飞跃——能解数学难题的AI，很快就能帮你做复杂决策
2️⃣ AI工具越来越便宜——价格战打起来，免费好用的工具会越来越多
3️⃣ 国产AI全面崛起——无需翻墙，免费又好用的国产AI已经足够强大
4️⃣ AI编程门槛骤降——Codex、Claude Code都在抢用户，零基础学编程从未如此简单