OpenAI Astra 8/1 用 Lean 4 把 10 道开放数学题「写了」出来——总成本 2,000 美元,然后它被安全锁定等待美国政府审查
8 月 1 日,OpenAI 公告:内部版本 Astra 一次性破解 10 道数学与理论计算机科学领域的长期开...
QianXun
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」研...
「JWST 在宇宙黎明发现 1000 亿倍亮度「黑洞星」：MoM-BH*-1 把 JWST 时代最大谜题推到答案门前」
8 月 12 日《自然》正式发表的一篇论文把 JWST 时代最令人困惑的「小红点」谜题推进了一大步：麻省理工学...
「通义千问 Qwen3.8-27B 全维度开源 + 阿里分拆千问为独立子公司：开源大模型商业化拐点」
8 月 22 日前后，阿里连抛两条主线新闻：一条是 8 月 14 日 Qwen3.8-27B 在 Huggin...