OpenAI推翻80年猜想、Anthropic给xAI月付12.5亿、GitHub源码泄露

每天更新带你读懂科技圈。今日看点OpenAI通用推理模型独立推翻80年未解的几何猜想Anthropic每月烧12.5亿美元从xAI买算力AI战局再洗牌GitHub承认内源仓库遭到未经授权访问。Google I/O后Antigravity正式被重新定义为AI智能体平台。⭐ 今日精选1. OpenAI模型推翻Erdős 80年猜想推荐语不是辅助数学是通用推理模型独立完成。这次数学界没有质疑结果。OpenAI 在5月20日宣布其内部的一个通用推理模型独立证明了离散几何领域一项存在近80年的核心猜想是错误的[1]。几个关键点推翻了Erdős 单位距离猜想1946年提出模型发现了全新的无限点阵结构打破了正方形网格最优的共识普林斯顿数学家Will Sawin验证并精炼了结果方法出乎意料用代数数论Golod-Shafarevich理论解决的组合几何问题这意味着什么具体解读看同期发布的深度分析文章。2. Anthropic每月要给xAI交12.5亿推荐语竞争对手之间谈生意这笔钱够买下多少个AI创业公司。TechCrunch曝出惊人数字Anthropic将为xAI的算力服务每月支付12.5亿美元买算力[2]。结合另一个猛料——xAI去年亏损64亿美元——这场AI算力争夺战正在变成一场谁烧钱多谁是爹的游戏[3]。同样炸裂的还有英伟达又一个创纪录季度持有的初创公司股票价值430亿美元[4]。GPU依然是AI战争的硬通货。3. GitHub内部源代码遭未经授权访问推荐语全球最大代码托管平台被破门而入开发者社区绷紧了弦。GitHub官方博客承认正在调查一起安全事件有未经授权的外部访问者进入了GitHub的内部仓库[5]。同时一个自称TeamPCP的组织声称取得了GitHub部分源代码并公之于众[6]。目前GitHub表示如果发现影响会通知客户但源代码泄露对平台信心的打击已经发生。 AI前沿Google I/O 2026Antigravity从IDE变成了智能体平台。Google在I/O上正式重新定义Antigravity——不再是简单的AI辅助编程环境而是面向企业级智能体的开发与运行平台[7]。业内评价模型之争正在让位给平台之争。六家AI大厂四个月做了同一个产品。The New Stack做了一次有意思的盘点Anthropic的Claude Cowork、以及另外5家公司的产品几乎同时在年初推出了面向知识工作者的AI Agent——定位、功能高度雷同[8]。竞争已经从比模型进化到了比渠道和定价。PopuLoRA让一群LLM互相博弈来提升推理能力。这篇新论文提出了一种多智能体训练框架多个LLM通过自我对弈来提升推理能力[9]。思路类似于AlphaGo的自博弈但在语言模型上实现起来挑战更大。 开发与工程Cursor发布Composer 2.5集成Kimi K2.5降成本。Cursor继续押注更低成本的AI编程体验Composer 2.5支持月之暗面的Kimi K2.5模型目标是让开发者的AI编程成本进一步下降[10]。CNCF发布PremptiAI编码Agent的策略和可见性方案。CNCF官方博客推出了一个面向AI编码Agent的策略管理工具Prempti让企业可以控制Claude Code等工具能做什么、不能做什么[11]。CPU也能做视频转写了。开发者发布了yapsnap一个纯CPU运行的视频离线转写工具支持YouTube、抖音、Twitter、Instagram等平台[12]。 大厂动态NVIDIA再创纪录持有430亿初创企业股权。财报季又开始秀了但真正值得关注的是那430亿美元的持仓——NVIDIA已经不再只是卖GPU而是通过投资深度绑定了大半个AI产业链[4]。xAI去年亏损64亿美元但烧钱还在加码。SpaceX的IPO文件首次披露了xAI的财务细节2025年亏损64亿美元同时还在加购天然气发电机被起诉中计划未来3年再花28亿美元[13]。 产品与行业有人在做关于Google对Web宣战的深度讨论。一篇题为Google Declaring War on the Web的文章引起了Hacker News热议172 points。文中质疑Google在Web标准和平台策略上日益强硬的立场[14]。 深度解读Anthropic交12.5亿给xAI这算什么操作这个数字确实有点离谱。12.5亿美元/月——算下来一年150亿美元比大多数AI公司的总估值都高。稍微捋一捋背后的关系xAI把曼菲斯数据中心的一部分算力租给了Anthropic两家公司本来是直接的竞争对手xAI自身也面临64亿美元年亏损的巨大财务压力这其实说明一个现实AI算力的物理供给已经超越了公司间的竞争边界。当Anthropic自己拿不到足够多的GPU时哪怕对方是竞争对手也得掏钱租。反过来对xAI而言这笔收入来得正是时候——SpaceX即将IPOxAI的财务状况第一次被摆在聚光灯下。一张12.5亿美元的算力收入支票能让财务报表好看不少。至于这笔买卖对行业的影响很简单算力定价权在进一步向GPU拥有者倾斜。当你能产出比对手更好的模型但对手的GPU比你多你照样得乖乖付钱。结语今天的信息量确实大。数学猜想被推翻、AI算力军备竞赛白热化、代码托管平台被入侵——每条新闻单独看都值得关注放在一起则勾勒出一个加速变革的时间点。明天见。参考来源[1] OpenAI官方: https://openai.com/index/model-disproves-discrete-geometry-conjecture[2] TechCrunch: https://techcrunch.com/2026/05/20/anthropic-will-pay-xai-1-25-billion-per-month-for-compute/[3] TechCrunch xAI Financials: https://techcrunch.com/2026/05/20/xai-burned-6-4b-last-year-spacexs-ipo-filing-shows-why-the-spending-is-far-from-over/[4] TechCrunch Nvidia: https://techcrunch.com/2026/05/20/nvidia-posts-another-record-quarter-reveals-43-billion-of-holdings-in-startups/[5] GitHub Blog: https://github.blog/security/investigating-unauthorized-access-to-githubs-internal-repositories/[6] CyberSecurityNews: https://cybersecuritynews.com/github-source-code-breach/[7] The New Stack - Google I/O Antigravity: https://thenewstack.io/google-io-antigravity-codemender-ai-agentic/[8] The New Stack - Six AI labs: https://thenewstack.io/ai-agents-knowledge-workers/[9] PopuLoRA - vmax.ai: https://vmax.ai/team/populora-co-evolving-llm-populations-for-reasoning-self-play/[10] The New Stack - Cursor: https://thenewstack.io/cursor-composer-benchmarks/[11] CNCF - Prempti: https://www.cncf.io/blog/2026/05/20/introducing-prempti-policy-and-visibility-for-ai-coding-agents/[12] GitHub yapsnap: https://github.com/kouhxp/yapsnap[13] TechCrunch xAI Turbines: https://techcrunch.com/2026/05/20/musks-xai-is-being-sued-over-its-data-center-generators-now-its-buying-2-8b-more/[14] Google War on Web: https://tante.cc/2026/05/20/on-google-declaring-war-on-the-web/