OpenAI宣布其全新推理模型自主推导出了一个原创数学证明，成功推翻了几何学中由保罗·埃尔德什于1946年提出的著名未解猜想。这标志着人工智能首次在数学核心领域内自主攻克重大难题，展现了梳理复杂逻辑和跨学科关联的强大潜力。业界认为，这是AI科学研究能力的里程碑式突破。
📌 看点：AI不只"做题"，而是真的在"做研究"了。下一个被攻破的会是哪些数学难题？
《金融时报》报道，Anthropic有望在2026年Q2实现首个盈利季度，营收达109亿美元，较Q1的48亿美元翻倍增长，营业利润约5.59亿美元。相比之下，OpenAI和xAI仍在亏损中。Anthropic凭借Claude在编程和企业市场的强势表现，成为三大前沿AI实验室中第一个跑通商业模式的。
📌 看点：Claude靠编程场景实现了商业化突围，这给其他AI公司指明了一条路。
CNBC报道，OpenAI最快本周五递交首次公开募股（IPO）招股书草案，向资本市场迈出关键一步。与此同时，The Information数据显示，OpenAI和Anthropic合计拿走全球34家AI公司年化营收的89%，头部聚拢效应极其明显。
📌 看点：OpenAI要上市了，但Anthropic已经盈利——资本市场的选择题。
据Digitimes报道，"AI六小龙"之一的月之暗面（Kimi）正拆除VIE（可变利益实体）与红筹结构，目标为赴港上市扫清监管障碍。当前估值已超200亿美元，若成功上市，将成为国内AI大模型公司港股第一股。
📌 看点：Kimi要赴港上市，估值200亿美元——比DeepSeek的500亿美元低，但先上市了。
亚马逊创始人贝索斯给出了对AI取代工作问题的乐观解读。他将AI比作推土机——推土机没有让建筑工人失业，而是提升了单个工人的生产效率。他预测，若AI普及不受限，或将带来一个物资富足、物价普遍回落的时代。
📌 看点：贝索斯的"推土机论"——AI是工具升级，不是工作终结者。
《华尔街日报》报道，谷歌携手全球最大私募股权集团黑石（Blackstone），计划在美国设立一家新的人工智能云公司，整体计算投资预计约250亿美元。目标是到2027年部署500兆瓦的AI计算能力，直接对标微软和亚马逊的AI云基础设施。
📌 看点：谷歌+黑石组合，AI云基础设施大战再升级。
近期有用户发现输入"
📌 看点：一个特殊字符就能让模型"发疯"？AI安全边界比想象中脆弱。
| 排名 | 项目 | 星标 | 简介 |
|---|---|---|---|
| 🥇 1 | Agent Skills | 18K+ | 面向生产环境的AI编码工程技能库 |
| 🥈 2 | oh-my-codex (OmX) | 15K+ | Codex工作流增强层 |
| 🥉 3 | Hello-Agents | 13K+ | 从零构建智能体完整教程 |
| 4 | VibeVoice | 12K+ | 微软开源前沿语音AI模型 |
| 5 | chrome-devtools-mcp | 11K+ | 浏览器调试MCP工具 |
数据来源：GitHub Trending（2026年5月第4周）
Agent Skills已经连续三周霸榜GitHub Trending第一，星标数突破18K。它为什么这么火？今天我们换个角度——不看功能，看它背后的工程哲学。
当前AI圈的主流思路是"规模法则"——模型越大、数据越多、算力越强，效果就越好。但Agent Skills的核心贡献者刘知远（清华大学教授、面壁智能联合创始人）提出了一个不同的思路：密度法则。
密度法则的核心观点是：与其追求更大的模型，不如追求更高效的模型使用方式。Agent Skills本质上是在做这件事——通过工程化的技能封装，让中等规模的模型也能产出高质量的代码。
根本原因是：当前大模型的瓶颈不在"理解能力"，而在"执行质量"。模型知道什么是好代码，但生成时缺乏约束，容易写出能跑但质量差的代码。
Agent Skills的思路是：把"什么是好代码"的判据编码成可执行的技能，让模型在生成过程中实时受到约束。这不是Prompt Engineering，而是Execution Engineering——让执行过程本身变得更可靠。
根据GitHub上的社区反馈，使用Agent Skills后：
🔗 项目地址：github.com/anthropics/agent-skills
OpenAI攻克数学难题、Anthropic率先盈利、月之暗面冲刺IPO——这周的主题是：AI从技术突破走向商业兑现，赢家开始浮出水面。
评论区