OpenAI推理模型自主解决80年未解几何难题：AI数学推理能力里程碑
OpenAI推理模型自主解决了一个困扰数学界80年的几何问题。模型无需人类提示，独立完成了从问题理解到证明的全过程。标志着AI在数学推理领域的能力已从"辅助工具"跃升为"独立研究者"。
往期日报
·4 条
Anthropic首次盈利：Q2收入$109亿+$5.59亿运营利润，比预期提前两年
Anthropic Q2收入达$109亿（季度），运营利润$5.59亿，首次实现盈利，比内部预期提前两年。Q1收入同比增长80倍，ARR超$440亿。Anthropic用"AI辅助研究"策略以更少算力实现前沿能力，验证了精算力路线的商业可行性。
SpaceX IPO S-1曝光：Anthropic月付$12.5亿租用Colossus超算，AI算力军备竞赛的账单
SpaceX IPO招股书披露，Anthropic签订长期协议，月付$12.5亿租用Colossus 1超算（22万+ NVIDIA GPU，300MW），合约持续至2029年。这笔交易占Anthropic运营成本的极大比例，也说明前沿AI的算力需求有多恐怖。
腾讯发布「马维斯Marvis」：操作系统级AI助手，1主管+5专家Agent架构，免费开放
腾讯应用宝团队发布操作系统级AI助手「马维斯」(Marvis)，采用"1主管Agent+5专家Agent"多智能体架构。用户通过自然语言操控操作系统、文件、应用和算力。支持跨端远程控制（手机操控锁屏电脑），内置DeepSeek V4+混元HunYuan3模型，支持端云算力切换保护隐私。Windows/Mac/iOS/Android全平台，免费使用每日1000次调用。