搜索
OpenAI公开了未发布的内部前沿模型产出的722篇数学手稿，归为372个成果族，涉及准黎曼猜想和四维挂谷猜想等，其中235族附有Lean形式化说明，仍待专家审读验证。
Anthropic内部尚未发布的超前代Claude自动生成完整证明代码，并经Lean严格验证，攻克了渗流理论3至10维连续相变猜想这一困扰数学界近70年的概率论“圣杯”难题。
陶哲轩在SAIR最新演讲中呼吁AI公司放慢数学解题速度，称AI量产证明却缺乏理解、阐释和传播，将引发“Proof Indigestion”与数据污染风险。
普林斯顿大学陈丹琦团队在arXiv发布约4B参数模型QUEEN，通过门控交叉注意力连接Leela与SmolLM3-3B，并引入四阶段课程和迭代搜索蒸馏，使其棋力接近特级大师且能用自然语言解释着法。
Anthropic强化学习技术负责人Sholto Douglas预测，能力等于甚至超过所有人类的AGI可能在未来几年内出现，2028年AI年度资本开支或达4万亿美元，而研究员Nick Marwell对AI无需人类搭档后的后果表示紧张。
Claude网页端和桌面端新增简体中文、繁体中文界面，但中国大陆及港澳仍不在Anthropic官方支持地区范围内。
Anthropic部分早期员工因担忧AI失控开始考虑在美国偏远地区买地避难，这群源自湾区AI安全圈的研究者也因风险判断不同而选择留下或离开。
OpenAI开启Codex“疯狂28天”计划，首日宣称将GPT-6 Astra和GPT-6.1 Sol默认推理速度提升约50%至50TPS，但用户实测低于预期，叠加ChatGPT测试广告、欧盟文本隐形水印及订阅调整引发质疑。
《The Verge》报道，Mercor、Scale AI 和 Surge AI 招募律师、编剧、教师等专业人士生产 AI 训练数据，使劳动者在教 AI 取代原有工作的同时，面临项目骤停、严密监控、降薪和技能被模型掌握后需求消失的困境。
Anthropic 为 Claude Code 默认开放可深度改装的 Mods，并推出拥有超 2000 个插件和连接器的 Claude Marketplace，但高权限与暂缺收益分成也带来安全和持续运营疑问。