OpenAI预告代号“Astra”的下一代模型，发布十项数学研究成果
OpenAI相关人员和多家媒体披露，内部代号“Astra”的下一代模型在数学及理论计算机科学领域取得十项研究进展。成果涉及群论、几何、密码学、计算复杂性和组合学等方向，并据称配有Lean形式化证明。
VERIFIED AI SIGNALS
AI 行业资讯
经过来源核查的 AI 模型、API、研究、安全和监管动态。
“Token”还是“词元”：一则关于AI术语与科技话语权的讨论
网帖将“Token”与“词元”的译法上升到科技话语权和中文技术表达体系的层面。但现有材料未能核实其所称人民网原文，相关观点应与已确认事实区分开来。
张一鸣据报要求字节大模型坚持长期主义，限制外部模型蒸馏
据多家媒体报道，张一鸣在字节跳动Seed团队内部会议上表示，公司不应依赖其他模型的输出换取短期榜单成绩，而应优先投入长期技术突破。报道还称，字节内部已限制使用外部开源模型进行蒸馏，并可能通过API检测加强管理。
四位谷歌顶尖研究者创办 Discovery Loop，瞄准自动化科学与工程
Jeff Dean、Sanjay Ghemawat、Oriol Vinyals 和 Quoc Le 宣布共同创办 Discovery Loop。公司希望利用人工智能自动化机器学习、工程和科学研究，以加快新发现和技术进步。
数学家如何看待AI：研究方式正在改变，但人类仍主导未知探索
多家媒体报道，AI正在加速数学家的资料检索、计算实验、猜想筛选和形式化验证。受访数学家普遍认为，AI会重塑数学研究流程，但目前还难以独立完成长篇、复杂且具有原创性的前沿证明。
Google DeepMind调整领导分工，Koray Kavukcuoglu扩大AI职责
现有公开资料显示，Google正在扩大 Koray Kavukcuoglu 在人工智能模型、研究和产品开发方面的职责。证据并不支持 Demis Hassabis 已卸任 Google DeepMind CEO 的说法。
让 AI 不跑偏，关键是把验收标准写清楚
一则关于 AI 协作方法的社交媒体观点认为，清晰的阶段目标和严格的验收标准，能显著降低任务执行偏差。相关分享还建议补充权限边界、中间产物和自检清单，让 AI 在交付前主动验证结果。
Opus 5是“刷榜怪”吗？现有证据不足以支持这一结论
一则社交媒体帖子质疑 Claude Opus 5 是否主要针对基准测试优化，并称其在实际使用中会出现类似早期模型的问题。现有材料显示，相关性能、价格和测试成绩多来自二手报道或推测，尚缺乏 Anthropic 的完整一手说明。
OpenAI称内部版Astra模型在10个数学与理论计算机科学问题上取得新进展
OpenAI表示，其下一代主要模型Astra的内部版本为数学和理论计算机科学领域的10个长期未决问题带来了新结果。官方称，寻找这些解答所消耗的令牌按Sol API价格计算约值2000美元。
OpenAI称两项API设置让GPT-5.6 Sol在ARC-AGI-3上的成绩接近翻三倍
OpenAI表示，启用跨回合保留推理和上下文压缩后，GPT-5.6 Sol在ARC-AGI-3上的公开任务集成绩从13.3%升至38.3%。不过，不同测试框架产生了7.8%、13.3%和38.3%等不同结果，因此“达到最先进水平”的说法仍需谨慎解读。
OpenAI称两项API设置将GPT-5.6 Sol的ARC-AGI-3成绩提升至38.3%
OpenAI表示，启用保留推理和上下文压缩后，GPT-5.6 Sol在ARC-AGI-3公开集上的成绩从13.3%提升至38.3%，同时输出令牌减少约六倍。该结果说明评测所使用的代理框架会显著影响模型表现。
高质量 AI 模型或将出现的迹象：更可靠、更高效、更快速
一则社交媒体帖子提出，高质量 AI 模型出现时，可能会表现出可靠性提升、效率跃升、响应加快以及系统重置等迹象。相关讨论目前更接近趋势判断，而不是产品公告或研究结论。
以好奇心为优化目标
现有材料将“优化好奇心”描述为一种鼓励提问、探索未知和持续学习的方法，但无法确认该社交媒体帖文是否在宣布具体的人工智能研究、产品或政策变化。
OpenAI称下一代模型Astra产生10项数学与理论计算机科学新结果
OpenAI员工称，内部版本的下一代模型Astra为10个长期开放问题给出了新结果，并提供了可由Lean检查的证明证书。相关成果涉及群论、冯·诺伊曼代数、球面堆积和理论计算机科学等领域。
提高推理强度后，DeepSeek-V4-Flash-0731生成的鹈鹕SVG明显改善
Simon Willison发现，DeepSeek-V4-Flash-0731在默认推理模式下生成的“骑自行车的鹈鹕”SVG存在明显结构问题；通过OpenRouter将推理强度调高后，结果显著更完整。这个案例说明推理设置可能影响结构化图形生成，但不能单独代表模型的整体智能水平。
真正推动创新的，往往是不如意的时刻
创新并不总是在一帆风顺时发生，卡顿、危机和失败往往会迫使个人与组织重新思考。现有材料支持这一观点，但未能确认候选句的确切出处。
AI模型公司或将面临“创新者的窘境”，应用公司迎来增长窗口
一则市场观察认为，基础模型公司的竞争压力正在上升，而AI应用公司可能进入更有利的创新和商业化阶段。现有证据主要来自社交媒体观点及其二次转载，尚不足以证明这是行业共识。
OpenAI：两个 API 设置让 GPT-5.6 Sol 在 ARC-AGI-3 上得分提升近三倍
OpenAI 表示，GPT-5.6 Sol 在 ARC-AGI-3 上表现不佳，部分原因是测试框架没有保留模型的推理过程和早期操作。启用“保留推理”和“上下文压缩”后，公开任务集得分提升约 188%，输出 token 减少六倍。
Anthropic：Claude Mythos Preview 发现两种密码算法的弱点
Anthropic称，Claude Mythos Preview协助研究人员发现了HAWK后量子数字签名方案和简化版AES的新攻击方法。公司表示，这些成果目前不会影响生产系统。
Anthropic为罕见遗传病研究提供最高5万美元Claude使用额度
Anthropic启动AI for Science项目首个聚焦罕见遗传病的申请计划，入选研究团队可获得最高5万美元的Claude使用额度，为期六个月。