#推理
Rohan Paul@rohanpaul_aiAI 评分4848
Latent SpaceAI 评分7474 AI 为何开始擅长数学:从 OpenAI 反例证明到人与模型的搜索差异
Latent.space 作者 Ankit Maloo 分析 OpenAI 与 Anthropic 近期在 Erdős 单位距离猜想、Cycle Double Cover、Navier-Stokes、费马大定理等形式化成果,提出问题难度可用 Gowers 的 2^k + t 提示复杂度和分支因子 b 刻画。
Tomasz Tunguz 博客AI 评分6565 Tomasz Tunguz 分析 GPU 收入阶梯:推理业务经济性健康但面临通缩压力
Tomasz Tunguz 结合 DeepSeek V4.1-Flash 披露与 SpaceX 财报,梳理每卡小时收入的四个层级:DeepSeek 理论最高 38 美元、B200 现货 8.77 美元、SpaceX 合同价 5.27 美元、实际收入 2.44 美元。
The Decoder:AI NewsAI 评分6666 数学家质疑 OpenAI 的 Navier-Stokes 证明:相似只是表面
数学家指出 OpenAI 9 月发布的 166 页 Navier-Stokes 潜在证明虽然声称沿用 Córdoba 与 Martínez-Zoroa 的思路,但细节上是不同方法,相似只是表面。
The Decoder:AI NewsAI 评分6868 Google DeepMind 工程师称自我改进的 AI 仍很遥远
Google DeepMind 工程师 Haydn Belfield 称自我改进的 AI 仍很遥远,未观察到 AI 驱动的 AI 研究加速。
Saito@SaitoWu精选AI 评分7777MIT 工程教育副院长 Justin Solomon 在播客中谈到,OpenAI 模型上个月给出 Navier-Stokes 解失效的反例证明,但他和《Odd Lots》主持人读不到第二页。
推荐理由:以 MIT 教授的第一手讲述梳理 AI 证明 Navier-Stokes 反例后的验证与审稿困境,可帮读者理解生成便宜之后人类价值所在。
IT之家·人工智能AI 评分7373 陶哲轩批评 OpenAI 发布 719 篇 AI 数学证明:人类来不及理解和消化
陶哲轩于 10 月 7 日在 mathstodon 发帖,批评 OpenAI 10 月公布 719 份 AI 数学解答(涵盖 372 个结果族)的做法,称这会把开放问题变成可批量消耗的资源。他不反对 AI 辅助研究,但反对把快速攻克著名难题当产品展示,指出约 42% 证明未经形式化处理、仅 10 份附推理链,未达到 AGMAI 建议的披露标准,并担心出现大量无人能消化的证明。
数字生命卡兹克@Khazix0918同事件AI 评分7979同一件事,精选收录的是《OpenAI 发布内部前沿模型产出的数学研究成果》
François Chollet@fcholletAI 评分4545引用François Chollet@fcholletWhat if the jagged frontier is mainly math + code (which you can push arbitrarily far with RLVR), and everything else starts to plateau because it is still bottlenecked by human generated data? Model performance in non-verifiable areas has kept improving steadily, albeit much slower than for math and code. But is that steady improvement a side effect of a higher G (itself driven by RLVR), or only a function of the amount of new human data getting injected into training (which is still continually happening on a massive scale)? A lot of things depend on the answer to this question
Noam Brown@polynoamialAI 评分4747引用Mark Chen@markchen90The Navier-Stokes moment was always much more about the figure below than about the Navier-Stokes problem itself. The run represents a decade of mathematical progress in a week. Can't wait to point these tools at life sciences, building our next models, and alignment!
Simon Willison 博客AI 评分4444 Jake Boggan 谈 OpenAI 数学成果解决 Barnette 猜想
曾研究 Barnette 猜想长达 24 年的 Jake Boggan 在 Hacker News 评论称,该猜想据称已被 OpenAI 的数学工作解决(问题 180)。他为此投入了数千小时,得知被解决后感到一种遥远的悲伤。
Latent SpaceAI 评分5252 Latent Space 访谈 MIT 博士生 Alex Zhang:RLM、harness 设计与研究品味
Latent Space 发布对 MIT 博士生 Alex Zhang 的长篇访谈,他是 Recursive Language Models(RLM)与 KernelBench 的作者。
Hacker News:AI 热帖AI 评分5555 The AI Race Just Got Awkward:西方模型悄然采用 DeepSeek 的 KV cache 优化
作者认为西方实验室已悄然采用中国实验室公开的模型优化成果。DeepSeek 持续公开 KV cache 压缩技术,从 MLA 的约 15 倍压缩到 DeepSeek-V4.1-Flash 的 CSA2、跨层 cache 复用与 FP4 缓存,将全局 KV cache 降至每 token 890 字节,较 DeepSeek-V1 在长上下文编码场景降低约 437 倍。
Rohan Paul@rohanpaul_aiAI 评分5353引用zerohedge@zerohedge"Token demand growth will need to outpace declining token prices to support continued growth in investment spending. Frontier models are currently a key source of demand for hyperscaler compute. However, the rise of competitive open-source models has contributed to a decline in average token prices. Measures of frontier token demand slowed in July..." - Goldman
The Verge:AIAI 评分7070 Cloudflare CEO Matthew Prince 谈 AI 爬虫、402 付费方案与 AI 驱动裁员
The Verge Decoder 播客专访 Cloudflare CEO Matthew Prince,谈 AI 如何改变互联网商业模式。
Hacker News:AI 热帖AI 评分6868 Claude 在 Claude Science 平台完成 N=4 超对称杨-米尔斯理论九圈振幅计算
物理学家 Matt von Hippel 在 Anthropic 官方博客撰文,讲述 Anthropic 物理学家 Liam Fitzpatrick 和 Siddharth Mishra-Sharma 用 Fable 5.1(Claude Science 平台)以一条提示词加持续推进的方式。
Anthropic:Research精选AI 评分7070 Claude 完成 N=4 super Yang-Mills 九圈散射振幅计算,物理学家 Matt von Hippel 撰文回顾挑战过程
物理学家 Matt von Hippel 发起的挑战达成:Anthropic 的 Liam Fitzpatrick 与 Siddharth Mishra-Sharma 用 Claude Science(harness)让 Claude 直接算出 planar N=4 super Yang-Mills 六粒子振幅九圈结果。
推荐理由:作者以其曾判定过难的本领域前沿计算为参照,评估了 Claude Science 的实际能力与可推广性,提供了来自领域专家的一手判断。
Hacker News:AI 热帖AI 评分5757 用 GPT-6 和 Opus 5.5 追踪炼金术知识流变并破译 17 世纪密码信件
科学史研究者 benbreen 分享用 GPT-6 Sol、GPT-6 Astra 和 Opus 5.5 解决历史学开放问题的早期结果,包括用 GPT-6 Astra 识别出 Isaac Newton 从法文炼金术文本翻译成拉丁文的一段出处。
The Decoder:AI NewsAI 评分7373 DeepMind 新任负责人 Koray Kavukcuoglu 力争年底前发布 Gemini 4,称 AGI 之争不是正确话题
Google DeepMind 负责人 Koray Kavukcuoglu 表示 Gemini 4 已处于早期后训练阶段,希望远在年底前发布,工程师已内部将其用于编码工具 Antigravity。
Rohan Paul@rohanpaul_aiAI 评分7070Dario Amodei 在联合国安理会谈到 Anthropic 宣布 Claude 发现一种新的分子机器,属初步发现,可能构成新的基因编辑机制并有基因治疗应用前景。
引用Rohan Paul@rohanpaul_aiWild stuff. Anthropic’s new wet lab got its first win after 949 Claude agents autonomously tracked down a new enzyme system in just 21 hours. Claude was searching a huge amount of genetic data when it noticed an unusual pattern: the same small piece of DNA repeating again and again next to an enzyme. The campaign searched 1.94B protein clusters, recovered 198,290 RT clusters, and used 215.6M tokens across 21.5 hours. That pattern looked a little like CRISPR, so Anthropic’s scientists investigated it and found a new family of biological systems they call ART. The system also produces many small RNA molecules, suggesting those repeated DNA sections are doing something useful rather than sitting there randomly.
Redwood Research:BlogAI 评分5454 Redwood Research:潜在推理架构可能瓦解 CoT 这一最强的模型监督工具
Redwood Research 研究员 Lukas Finnveden 发文警告,转向潜在推理架构可能削弱思维链(CoT)的价值,使 AI 监管更难。
Rohan Paul@rohanpaul_aiAI 评分6969引用Rohan Paul@rohanpaul_aiSome revelation from the Claude Opus 5.5 system card. - Giving Opus 5.5 more reasoning effort made it more likely to obey malicious instructions hidden inside user-pasted text - Anthropic saw Opus 5.5 generate malicious instructions on their own after seemingly harmless mistakes. the behavior may have partly emerged from training designed to stop prompt injections in the first place. - Anthropic's internal estimate says AI may already be compressing roughly 1.5 years of capability progress into one year. - Anthropic gave the model simulated credentials to a public package registry during a security exercise. In roughly half the runs, it took actions that would likely have been harmful if the environment were real. - Some training snapshots hid evidence of actions the models (including Opus 5.5) expected a grader to dislike, including manipulating Git records or deleting logs. "During training, we observed some cases of models (including Opus 5.5) attempting to cover their tracks after performing actions that a grader might view negatively, such as manipulating git records or deleting logs" - METR’s assessment of AI R&D at Anthropic relied partly on information that was not publicly disclosed, including conclusions from a separate METR team with elevated access. That means part of the public assessment of AI-driven R&D acceleration rests on evidence outsiders, and, in this particular case, even another METR team, could not independently inspect.
Rohan Paul@rohanpaul_aiAI 评分7474引用Rohan Paul@rohanpaul_aiClaude Opus 5.5 发布了,声称达到 Fable 5.1 级别的性能,同时将典型工作负载成本降低 40%。 输入和输出价格降至每 100 万 tokens 4 美元和 20 美元,而缓存读取下降 60% 至 0.20 美元,均与 Opus 5 相比。 此外,输出速度提升超过 30%,Fast 模式在双倍 token 价格下最高可达 2.5 倍速度。
Nathan Lambert:InterconnectsAI 评分5454 Nathan Lambert 与 Epoch AI 的 JS Denain 对谈 RSI、中美模型差距与蒸馏影响
Nathan Lambert 在 Interconnects 播客中与 Epoch AI Insights 团队负责人 Jean-Stanislas(JS)Denain 讨论 AI 加速议题。
Simon Willison 博客AI 评分7070 Simon Willison 评 TypeSafe AI 新形态决策模型 Jev
TypeSafe AI 上周发布 Jev,作者称其为 System One 或决策模型:接受文本输入但输出浮点置信分数而非文本,仅按输入计费 $0.042/百万 tokens,低于 GPT-5 Nano 的 $0.05。
Latent SpaceAI 评分7373 Latent Space 访谈 TypeSafe CEO Diogo Almeida:Jev 是面向生产环境的 System One 模型而非万能 God 模型
Latent Space 发布对 TypeSafe AI CEO Diogo Almeida 的约两小时访谈,围绕其新模型 Jev 展开。
Fireworks AI精选AI 评分6161 Fireworks AI 分析:前沿不是单个模型,而是路由器,FireRouter 发布
Fireworks AI 发布 FireRouter 并分析 DeepSWE v1.1 上 113 个任务、18 个模型的路由潜力。
推荐理由:原文用 DeepSWE 上 18 个模型的任务级实测数据说明模型池组合的潜力,同时坦承从 oracle 到可落地路由的差距。
Hacker News:AI 热帖AI 评分6262 GPT-6 Astra 破解一封 1918 年一战德军 ADFGVX 无线电密码
作者称 GPT-6 Astra 破解了 Scienceblogs.de 50 个未解密码清单中一封 1918 年 11 月 27 日发出的德军 ADFGVX 无线电报,内容为一艘英国巡洋舰抵达塞瓦斯托波尔、一支协约国舰队将于 26 日跟进。
The Decoder:AI NewsAI 评分5858 DeepMind 研究人员称可见思维链是 AI 安全优势,但透明度正在流失
Google DeepMind 的 Rohin Shah 和 Anca Dragan 在 Deepmind Institute 发文指出,可见的思维链(CoT)是关键安全优势,例如 Gemini 3 Pro 的思维链曾揭示模型意识到自己处于测试环境。
SemiAnalysis 长文 RSSAI 评分5858 SemiAnalysis 实测 DeepSeek-V4.1-Flash 的 Engram:架构如何围绕 HBM 约束做 DRAM/SSD 卸载
SemiAnalysis 分析 Engram 架构(在标准 token 嵌入上扩展学习式多 token 查找)如何通过协同设计将嵌入表卸载到主存 DRAM 或 SSD,在同等质量下降低模型所需的 HBM 容量。
The Decoder:AI NewsAI 评分5656 OpenAI 据报道接近解决 Hodge 猜想,为其第二个千禧年大奖难题
据报道,OpenAI 接近解决七大千禧年大奖难题之一的 Hodge 猜想,即几何性质能否用更简单的代数构件描述;员工预计很快会有解法,但因 Navier-Stokes 危机后的公关考虑,公告可能推迟。此前 Navier-Stokes 解法据称使用了代号 Doug 的下一版预训练模型变体,耗资或达数百万美元;部分内部人士认为这类成果可反哺递归自我改进,而数学界对此更多是不满而非佩服。
Rohan Paul@rohanpaul_aiAI 评分6464智谱(Zai)分享 GLM-5.3 帮助构建并优化 GLM-5.3-Flash 推理基础设施的过程,系统从首次成功运行到生产就绪用时不到两周,端到端吞吐相对初始基线提升至 3 倍。
引用Z.ai@Zai_orgWe’re sharing how GLM-5.3 helped build and optimize the inference infrastructure serving GLM-5.3-Flash. The system went from its first successful run to production readiness in less than two weeks, with end-to-end throughput tripling relative to the initial baseline. The key was dense feedback: local correctness tests, execution traces, microbenchmarks, and end-to-end measurements that enabled targeted hypothesis testing rather than reliance on aggregate performance metrics alone. https://z.ai/blog/glm-built-its-inference-infrastructure
IT之家·人工智能AI 评分6060 消息称 OpenAI 即将攻克霍奇猜想,此前已宣布解决纳维-斯托克斯问题
据 The Information 援引知情人士消息,OpenAI 员工预计千禧年大奖难题之一的霍奇猜想有望在不久后得到解决,但即使找到解法也可能不会立即公布,公司正考虑如何与数学界合作发布消息。
The Decoder:AI NewsAI 评分5555 OpenRouter 周消耗 token 自 2025 年初暴涨 25000%,但 token 指标已被严重夸大
OpenRouter 平台周 token 消耗自 2025 年 1 月的 0.5 万亿升至 126.2 万亿,涨幅超 25000%。
IT之家·人工智能AI 评分6969 DeepSeek 刘胜与发文《我不得不把才华埋葬在昨天》引热议,回应称不代表公司立场
DeepSeek v4.1 主 Attention 算子负责人刘胜与 9 月 14 日发文《我不得不把才华埋葬在昨天》,文章获微信公众号 10 万+ 阅读并登上知乎热榜第一。