OpenAI宣布其通用推理模型发现反例，推翻了Paul Erdős于1946年提出的平面单位距离猜想。该问题此前被认为现有构造已基本最优，但模型利用代数数论中的类域塔和Golod-Shafarevich理论找到了显著改进的无限族构造。关键在于证明路径涉及数百万个精细决策，人类难以穷举探索，而AI系统能全面搜索所有可能性。多位外部数学家（包括Tim Gowers、Noga Alon）已评审确认。OpenAI强调这不是专为几何设计的系统，而是通用推理模型完成，被视为AI从辅助工具迈向共同发现者的里程碑。

SpaceX于5月20日公开S-1招股书，拟融资750亿美元，估值1.75万亿美元，或成史上最大IPO。2025年营收超180亿美元，其中Starlink贡献约110亿。公司将约60%资本支出（约200亿美元）投入AI部门xAI，但该部门收入仅增长22%。招股书还披露与Anthropic签署云服务协议，Anthropic将通过COLOSSUS和COLOSSUS II超算获取算力，月付12.5亿美元至2029年5月。马斯克持有85.1%投票权，可因火星殖民等目标获最多10亿股激励。高盛担任主承销商。

据《华尔街日报》等多家媒体报道，OpenAI正准备最早于本周五向SEC秘密提交IPO草案文件，由高盛和摩根士丹利担任承销商，目标2026年Q4上市。公司目前估值超8500亿美元，自2022年推出ChatGPT以来已累计融资超1800亿美元。CFO Sarah Friar此前表示公司正以上市公司标准运营。此举正值AI市场竞争白热化，Anthropic估值接近9000亿美元，SpaceX也同期披露IPO文件。OpenAI自研AI芯片Titan预计2026年下半年由台积电3nm制程量产，订单规模估约100亿美元。

Cohere发布首个完全Apache 2.0许可的开源模型Command A+，采用稀疏MoE架构，总参数2180亿但仅激活250亿，可在两块H100或单块B200上运行。支持无损4位量化（W4A4），推理速度375 tokens/秒，首token延迟113ms。模型支持48种语言和多模态输入，上下文窗口128K。在τ²-Bench Telecom从37%提升至85%，AIME 25数学测试达90%。原生引用功能可追溯每个事实来源。新tokenizer对阿拉伯语、日语、韩语分别降低20%、18%、16%的token消耗。富士通已计划将其用于企业级AI方案。

GitHub确认5月18日发现一名员工设备被恶意VS Code扩展（NX Console）入侵，导致约3800个内部私有仓库被未授权访问和窃取。攻击由TeamPCP威胁组织发起，同时针对npm、PyPI和VS Code扩展市场发动协调攻击，发布超600个恶意npm包并伪造Sigstore来源证明。微软的durabletask Python SDK也被感染。GitHub已优先轮换高影响凭证并隔离受感染端点，表示客户企业和组织的仓库未受影响。事件凸显开发工具链中扩展和依赖包的严重安全风险。

AI搜索初创公司Exa Labs在a16z领投的新一轮融资中筹集2.5亿美元，投后估值达22亿美元，较2025年秋季约7亿美元的估值增长超三倍。Exa专注为AI系统而非传统用户构建搜索基础设施，提供精确、结构化和实时的信息检索服务，支持大语言模型获取最新网络数据。YC CEO Garry Tan公开为其背书，称其为"AI代理最快、最可靠、最全面的网络搜索引擎"。a16z近期还完成了150亿美元的历史最大募资，强化前沿科技投资布局。

Verizon发布2026年数据泄露调查报告，分析超3.1万起安全事件。软件漏洞首次超过被盗密码成为数据泄露首要起因，占比31%。AI加速了攻击者发现和利用漏洞的速度，将防御窗口从数月缩短至数小时。员工使用未经授权AI工具（"影子AI"）导致数据泄露的比例从15%飙升至45%，成为第三大非恶意内部泄露行为。移动端短信和语音诈骗成功率比邮件钓鱼高40%，第三方供应链相关泄露增长60%占总数48%。Verizon CISO呼吁"以AI对抗AI"。

中国头部AI公司月之暗面于5月19日通知投资者启动拆除红筹架构，为赴港IPO做准备。此举距其完成约20亿美元融资仅半个月，投后估值突破200亿美元。公司由清华大学前教授杨植麟于2023年创立，累计融资超376亿元，为国内大模型领域融资最多的企业。目前现金储备超100亿元，2026年4月ARR已超2亿美元。股东包括美团、阿里、腾讯、中国移动等。选择港股因18C章支持未盈利科技企业上市，且同行智谱AI、MiniMax上市后均未破发。2026年下半年或迎AI企业港股上市高峰。

Sam Altman于5月20日在Y Combinator活动上宣布，向当前YC批次每家初创公司提供价值200万美元的OpenAI代币作为投资，换取股权。交易以"无上限SAFE"形式进行，具体股权比例取决于公司未来A轮估值。此举既让OpenAI获得潜在财务回报，也推动初创企业基于其平台开发产品，减少对Anthropic等竞争对手的依赖。代币可大幅降低AI基础设施成本，但也引发担忧：OpenAI可能复制初创项目并整合进自家产品。考虑到YC已收取7%股权，新增股权出让是否值得存在争议。