消息称英伟达拟投资 AI 推理 ASIC 企业 d-Matrix
英伟达拟投资 AI 推理 ASIC 芯片初创企业 d-Matrix，消息来自 The Information。d-Matrix 下一代推理 XPU 将支持英伟达 NVLink Fusion 生态系统，并采用 MGX 通用机架参考架构，双方此前已建立技术合作。
#推理
#推理
今日 24 条IT之家（RSS）AI 评分5858 IT之家（RSS）AI 评分7272 陶哲轩质疑 OpenAI 的 719 份 AI 数学证明：人类能否真正理解
陶哲轩批评 OpenAI 将快速攻克著名数学难题作为模型能力展示，认为速度和数量不等于数学理解。OpenAI 现公开 719 份 AI 生成数学手稿，涵盖 372 个结果族，但仍使用专有模型，仅 10 份附推理链，约 42% 未经形式化处理。陶哲轩称这会造成数学界的证明消化不良，并把开放问题变成被批量收割的资源。
Hacker News：AI 热帖AI 评分7272 Google DeepMind 文章分析 AI 如何改变科学发现的速度、分工与瓶颈
Google DeepMind 发表文章，结合 1,500 万次 Gemini 交互、2,600 多个专业 AI 模型和 600 多名美英科学家调查，分析 AI 在科学研究中的当前用途与未来影响。
IT之家（RSS）AI 评分6060 字节 Seed 论文指出 DeepSeek 长上下文性能漂移源于分块 KV 缓存压缩的相位敏感性
字节 Seed 团队在 arXiv 论文中提出，分块 KV 缓存压缩会引入 Token 相位，导致 DeepSeek 模型长上下文检索性能随相位周期性变化。研究评估 DeepSeek-V4-Flash、DeepSeek-V4-Pro 和 DeepSeek-V4.1-Flash，发现不同相位的长上下文检索准确度最高相差 40 个百分点。
Hacker News：AI 热帖AI 评分5757 arXiv 论文测试 galahad-kv 记忆层：50M token KV 状态复用快于重新计算
一篇 arXiv 论文测试公开包 galahad-kv，将约 16,000 token 分块的 KV 状态保存到加密本地 NVMe，并在后续按字节精确加载。
Hacker News：AI 热帖AI 评分2828 Erdős Problems：面向 AI 数学问题的新网站上线
Erdős Problems 新网站上线，作为 Erdős 问题的开放记录，支持讨论解题思路、提交证明，并基于开放仓库构建。网站当前列出 516 个未解决、99 个已认领、606 个已解决问题，涵盖几何、等差数列、图论等数学领域，供 AI 数学问题求解使用。
Hacker News：AI 热帖AI 评分5757 评论：OpenAI GPT-6 Astra 参与晶格手征费米子预印本研究
粒子理论家 Nathaniel Craig 在 OpenAI 访问期间发布 arXiv 预印本 A gauge-invariant measure for lattice chiral fermions，并称 GPT-6 Astra 主导了证明迭代、Lean 验证和部分补充材料写作。
Hacker News 热门（buzzing.cc 中文翻译）AI 评分4949 为什么业界对 DeepSeek 4.1 Flash 没有大惊小怪？
作者重度使用 DeepSeek 4.1 Flash 约一个月后认为，其能力与 Opus 难以区分且成本极低，配合每月 10 美元的 OpenCode Go 订阅可全天使用而单会话很少超过 1 美元。DeepSeek 将 KV cache 相比 V1 模型缩小约 437x，支撑长编码会话保持低成本；作者仅在关键任务时用 Opus 5.5 做最终代码审查。
Hacker News：AI 热帖AI 评分3535 面向生成式 AI 与 LLM 的 Topos 理论
一篇论文提出用 topos 理论设计新型范畴化生成式 AI 架构（GAIAs），将 LLM 视为函数并论证其范畴构成 topos。该架构基于 pullback、pushout、(co)equalizer、指数对象与子对象分类器等组合结构，并用函子化反向传播给出可能实现。论文共 30 页，编号 arXiv:2508.08293。
Hacker News：AI 热帖AI 评分6969 Liquid AI 发布 3.12B 多模态决策模型 d1-3B
Liquid AI 发布基于 LFM2.5-VL-3B 的 3.12B 多模态决策模型 d1-3B，可接收文本、JSON、图像或混合状态，并在一次前向传播中返回带校准概率的类型化答案，output_tokens 为 0。
Hacker News：AI 热帖AI 评分5252 Cliphouse 发布 LLM Motion Graphics Benchmark v1.1，对比 10 个模型的 Remotion 动态图形生成能力
Cliphouse Research 发布 2026 年 10 月 v1.1 LLM Motion Graphics Benchmark，让 10 个模型完成相同的 3 个 Remotion 动态图形 brief，并渲染全部结果。
Hacker News：AI 热帖AI 评分5252 Wordfence 创始人 Mark Maunder：AI 数学突破将迫使网络安全应对密码学风险
Wordfence 创始人 Mark Maunder 撰文称，OpenAI 发布包含 700 多项数学证明的 GitHub 仓库后撤回 3 项，AI 数学进展可能加速削弱公钥密码所依赖的计算难题假设。
Hacker News：AI 热帖AI 评分2121 Ask HN：如果 AI 如今完成数十年的数学研究都引不起我们注意，还有什么能？
Hacker News 用户 silexia 发帖提问：如果 AI 如今完成数十年量级的数学工作仍无法引起人们关注，还有什么能做到。该帖发布 13 分钟时获得 1 个积分，页面同时提示 YC Winter 2027 批次申请开放至 11 月 2 日。
Hacker News：AI 热帖AI 评分5757 OpenAI 新数学成果引发 AI 在科学发现中角色的讨论
OpenAI 于 10 月 6 日发布由内部前沿 AI 模型生成的数百项数学结果，并在 GitHub 公开研究材料、Lean 形式化证明、推理摘要和计算资源信息。
The Decoder精选AI 评分7878 OpenAI 批量发布 AI 数学证明后，部分数学家呼吁抵制
部分数学家通过 AHM 声明呼吁抵制 OpenAI，反对其一次性发布 700 多个 AI 生成证明文件，认为这是力量展示而非学术成果。Fields 奖得主陶哲轩在博客转发声明并提出 Math 2.0，主张数学不应再以解题为主要进步标准；Scott Aaronson 称局面为 Mathocalypse，并对比 OpenAI 与 Anthropic 发布 AI 数学成果的不同方式。
推荐理由：文章汇集陶哲轩、Aaronson 等数学家对批量 AI 证明的分歧，可帮助理解科研评价与署名机制面临的压力。
Hacker News：AI 热帖AI 评分4646 AI 如何推动哲学走向资本密集型研究
剑桥大学哲学家、计算机科学家 David Strohmaier 认为，AI 系统将驱动哲学研究，使哲学成为资本密集型学科。他指出哲学各领域存在广泛推理依赖，AI 智能体可大规模形式化理论、构建反例并梳理论证空间，决策理论、公而上学和形式认识论最具应用前景。
TechCrunch · AIAI 评分6767 OpenAI 数学证明发布未达到数学界规范，新论文指出自然语言证明与 Lean 代码存在差异
OpenAI 本周发布数百份据称解决高难度数学问题的证明，但 AGMAI 认为其未充分遵循数学界准则，尤其是未确保人类理解结果。719 份手稿中只有 10 份公开模型思维链，42% 的证明未完成形式化；AGMAI 还要求停止在专有模型上测试前沿数学问题。
Hacker News：AI 热帖AI 评分7070 Samaya 研究称前沿 AI 模型在财报惊喜预测上超过分析师
Samaya 的研究称，接入其金融预测环境的最新前沿 AI 模型在456家公司Q2财报惊喜预测中超过分析师共识和偏差校正共识。
Hacker News：AI 热帖AI 评分4848 Cleer Dashboard：如何测算 AI 推理的能耗与排放？
Cleer Dashboard 基于 CLEER 方法估算闭源 AI 模型的环境影响，通过开源模型基准测试与性能匹配推算每 token 能耗。该项目完成 2,400+ 次测试、处理 425 million+ tokens，称为迄今最大规模的生产代表性开源模型能耗测试。仪表盘还可按 640 gCO₂e/kWh 和 PUE 1.45 等参数换算排放。
Hacker News：AI 热帖AI 评分2626 The Download：人形机器人面临的 AI 障碍与便携式橡胶坝
MIT Technology Review 日报指出，当前基于语言和图像的 AI 难以直接让人形机器人应对物理世界的多变任务，通用人形机器人仍需新路径。WaveSave 推出便携式橡胶坝 SlamDam，充水后最高可达 1.3 米，用于洪水来临时快速防护。奥地利与中国科学家还造出首批核钟，其中中国核钟稳定性为奥地利版本的 6 倍。
Latent SpaceAI 评分5757 Periodic Labs 创始人谈合成超级智能：从半导体到超导体
Periodic Labs 的 Liam Fedus 和 Ekin Dogus Cubuk 在 Latent Space 访谈中阐述合成超级智能路线，主张 AI 科学家必须通过物理实验验证猜想，而不能只依赖论文答案或互联网数据。
Hacker News：AI 热帖AI 评分4646 Jevman：让 AI 决策模型玩 Pac-Man 的开源基准
Jevman 是一个开源 Pac-Man 基准，已有 6 个 AI 决策模型各对战经典幽灵 100 局并生成排行榜。任何通过 HTTP endpoint 提供的模型（托管模型、微调模型或本地模型）均可参赛，每局限时 5 分钟、三条命、每次决策 2 秒。参赛者提交 pull request 后由 CI 重放对局核验分数，排名按平均分并以 95% 误差区间判定并列。
Hacker News：AI 热帖AI 评分6868 阶跃星辰 Step 5 Preview 登陆 OpenRouter，支持 1M 上下文
阶跃星辰 Step 5 Preview 已出现在 OpenRouter，模型采用稀疏 MoE 架构，参数为 27B active / 600B total，上下文窗口 1,000,000 token，发布时间为 Oct 8, 2026。
Hacker News：AI 热帖AI 评分5757 AI 编码智能体订阅如何定价才能保持盈利
文章认为 AI 编码智能体不宜采用固定月费，而应以包含用量额度的订阅、超额计费和企业分层来覆盖波动的 token 成本。文中称 GPT-4 级模型成本可达每百万 token 3 至 15 美元，重度用户每月仅计算成本就可能产生 150 至 400 美元；Cursor 在 2025 年年中调整 20 美元 Pro 计划，Replit 也采用订阅额度加额外信用额的方式。
Hacker News：AI 热帖AI 评分7070 Abnormal 用 Jev 与 OpenAI Decisions API 评测邮件分类决策模型
Abnormal 在 1,985 封非公开合成邮件上测试 TypeSafe Jev、OpenAI Decisions API、34 个自托管开源决策模型和 4 种前沿 LLM 配置，共 40 个模型。
Hacker News：AI 热帖AI 评分6262 递归自我改进论文合集：从自训练循环到自修改代码智能体
一份递归自我改进论文合集按 8 个主题梳理 30 余篇研究，从程序安全改写理论、自生成训练数据，到可修改自身代码的编码智能体和 AI 改进 AI 研究流程。
The DecoderAI 评分5757 AI 数学突破引发 Ethereum 研究者争论钱包安全可能多快失效
两位 Ethereum 研究者警告，AI 辅助数学在最坏情况下可能在数月内攻破加密钱包使用的签名系统。Justin Drake 呼吁区块链行业进入“bunker mode”，建议将资金转移到从未签署交易的地址，因为签名会暴露公钥；Vitalik Buterin 同意风险判断，但提醒仓促迁移造成的损失可能超过黑客攻击。
Hacker News：AI 热帖AI 评分7373 JetBrains 发布开源编码智能体模型 Mellum2.1
JetBrains 发布 Mellum2.1，这是面向编码智能体和快速子智能体的 12B 混合专家开源模型，采用 Apache 2.0 许可，活跃参数为 2.5B。
Hacker News：AI 热帖AI 评分4848 为什么“AI 确定性”之争让我反感
一位研究随机算法中确定性序列的计算机科学家指出，抱怨 LLM 不确定的人真正想要的不是每次输出相同，而是输出正确。他用 2×2 矩阵区分“随机/一致”与“错误/正确”四种情况，并说明固定随机种子、控制 CPU 或 GPU 线程即可让训练和推理确定性运行，但这不能保证答案正确。
Latent Space精选AI 评分8989 Anthropic 发布 Claude Haiku 5.5，同价对标 GPT-6 Luna
Anthropic 发布 Claude Haiku 5.5，这是约一年来首个 Haiku 层级更新，定价对标 OpenAI 的 GPT-6 Luna，并同步下调 Sonnet 5.5 缓存读取价格和订阅方案价格。
推荐理由：汇总官方定价、适用场景与第三方评测，并指出高 token 用量和长上下文阶梯价会影响实际成本。
Hacker News：AI 热帖AI 评分2424 数学并非真实：AI 擅长符号游戏，却尚未在现实世界取得突破
AI 擅长操作规则明确的符号，数学与国际象棋一样属于此类符号游戏，因此其表现出色并不意外。真正令人信服的标准是 AI 在现实世界取得人类尚未实现的成果，例如室温超导体、聚变反应堆、抗衰老药物或中东和平。
公众号：数字生命卡兹克AI 评分7575 数字生命卡兹克解读 OpenAI 发布 722 份数学手稿及其影响
OpenAI 在 GitHub 仓库 openai/math 发布 722 份数学手稿，归为 372 个成果组，覆盖数论、代数几何、实分析等方向，并称成果来自尚未公开的内部模型。
Hacker News：AI 热帖AI 评分5959 GitHub 清单梳理 AI 集群网络学习路径：RDMA、集合通信与网络架构
rewsiest 在 GitHub 发布 AI 集群网络阅读清单，覆盖 RDMA、GPU 到 NIC 数据路径、集合通信、推理传输、传输协议、拥塞控制和集群网络架构。
Hacker News：AI 热帖AI 评分6262 当 AI 产出正确却难理解：人类如何跟上数学与软件中的 AI 进展
作者认为，前沿模型加速生成数学证明和软件代码，可能让正确但难理解的 AI 产出超过人类吸收能力，并在数学界和工程团队中形成认知负债。
Simon Willison精选AI 评分7979 Anthropic 发布 Claude Haiku 5.5，作者实测推理档位与分段 API 定价
Anthropic 发布快速低成本模型 Claude Haiku 5.5，100,000 tokens 以内定价为 $0.10/$0.50，超过后升至 $0.50/$2.50。
推荐理由：作者用同一提示实测并对比 GPT-6 Luna 的分段定价，可帮助判断不同上下文长度下的真实成本差异。
Hacker News 热门（buzzing.cc 中文翻译）精选AI 评分8484 Scott Aaronson 谈 OpenAI 数学证明批量发布后的“数学末日”
OpenAI 一次性发布 372 项数学结果，其中包括 Unique Games Conjecture 证明，部分结果带 Lean 证书，但许多证明尚待人类理解。
推荐理由：作者从理论计算机科学共同体内部记录 AI 证明涌入后的阅读、验证和学术分工冲击，可借此理解数学研究流程的变化。
Hacker News：AI 热帖AI 评分4444 AIM：面向自动化研究的智能体创意管理框架
Google Cloud AI Research 与威斯康星大学麦迪逊分校提出 AIM 智能体创意管理框架，用于自动化研究中的创意组织、实验调度、结果审计与预算分配。
The Decoder精选AI 评分8888 Anthropic 发布 Claude Haiku 5.5，并大幅下调 Haiku 与 Sonnet 5.5 API 价格
Anthropic 发布 Claude Haiku 5.5，定位为该公司最快、最实惠的小模型，面向摘要、数据库查询、分类和实时客服等高量低成本任务。
推荐理由：文章整理了 Haiku 5.5 的分档定价、基准成绩和适用任务，可帮助评估高频智能体与编码场景的成本取舍。
Hacker News：AI 热帖AI 评分4040 Claude Haiku 5.5：智能、性能与价格分析
一篇针对 Claude Haiku 5.5 的智能、性能与价格分析，评测基于 Artificial Analysis Intelligence Index v4.3.2。
Hacker News 热门（buzzing.cc 中文翻译）精选AI 评分8989 Anthropic 发布 Claude Haiku 5.5，并下调 Sonnet 5.5 缓存读取价格
Anthropic 发布 Claude Haiku 5.5，称其是迄今最便宜、最快且能力最强的小模型，面向摘要、压缩、数据库查询、分类、客服和浏览器等高频任务。
推荐理由：材料给出 Haiku 5.5 的定价、基准表现和适用任务，可帮助开发者判断何时用小模型承接高频工作流。