数学家称 OpenAI 并不理解自己的 Navier-Stokes 证明
OpenAI 9 月初公布的 166 页 Navier-Stokes 潜在证明被数学家指出与其声称沿用的 Córdoba 和 Martínez-Zoroa 方法只是表面相似，实际路径不同。
AI 评分35
AI 评分 35 / 100
#论文研究
#论文研究
今日 0 条The Decoder
Hacker News 多位数学家联合撰文：如何把全部数学形式化，以及为何反对仓促推进
Jeremy Avigad、Kevin Buzzard 等七位数学家联合发文，主张以社区审校的方式推进数学形式化，反对用 AI 快速生成无人使用的形式化代码。
AI 评分52
AI 评分 52 / 100
The Decoder AI 可解释性是否接近突破？Cammarata 新文章引发研究者分歧
前 OpenAI 研究员 Cammarata 发表文章称，机械可解释性领域最著名的「猫-车神经元」等证据可能被误读，神经网络或许比此前认为的更容易理解。
AI 评分58
AI 评分 58 / 100
cnBeta精选 Google 在 Willow 量子芯片上实机演示魔法态培育，逻辑错误率降低约 40 倍
Google Quantum AI 团队在 Willow 超导量子处理器上首次实机演示“魔法态培育”，逻辑保真度达 99.99%，成果发表于《科学》。实验将逻辑错误概率从未经培育的约 0.44% 降至约 0.01%–0.02%，但筛选后保留的结果仅约 8%，因此不能理解为整机资源需求减少 40 倍。
AI 评分76
AI 评分 76 / 100
Nature 正刊 GLP-1 药物能否修复大脑？减肥药转向成瘾与抑郁治疗
制药公司正大举投入 GLP-1 类化合物用于成瘾、抑郁、精神分裂等脑部疾病，礼来已公布 brenipatide 治疗酒精使用障碍的首个临床结果，其半衰期为 9–12 天，长于已获批 GLP-1 药物的 5–7 天。
AI 评分42
AI 评分 42 / 100