神秘模型 Ox Alpha 限免上架，跑分超 Claude，线索指向智谱
全球最大的 AI 模型聚合平台 OpenRouter 在 8 月 20 日悄悄上架了一个匿名模型，叫 Ox A...
分类： AGI
JWST 把早期星系质量乘了 4——被「高楼」遮蔽的小恒星一朝现身、「impossibly early」问题再次加深
8 月 22 日 Nature Astronomy 同一期发了两篇论文:Cheng 等人(Leiden 一作)...
OpenAI Astra 8/1 用 Lean 4 把 10 道开放数学题「写了」出来——总成本 2,000 美元,然后它被安全锁定等待美国政府审查
8 月 1 日,OpenAI 公告:内部版本 Astra 一次性破解 10 道数学与理论计算机科学领域的长期开...
HALO 编译引擎绕过量子纠错:O(1) 深度 lattice gauge 模拟在 16 比特 transmon 上首次实时看见 meson string 断裂
8 月 22 日,BrunoSan Quantum Intelligence 把 arXiv:2608.192...
9 秒 39 比博尔特还快 0.19 秒——第二届世界人形机器人运动会冰丝带开幕、天工 Ultra 全自主双破人类纪录
8 月 22 日晚,第二届世界人形机器人运动会在北京国家速滑馆「冰丝带」开幕。来自六大洲 16 国 666 支...
Google DeepMind 把「形式化验证」拉进 AI coding 主线:Vero 仓库级 Lean 4 基准 43 题、最强 GPT-5.5 也只解出 27 题
8 月 22 日,Google DeepMind 公开了「Verified Code Generation」研...