跳到正文

#推理

今日 7 条
今天10月13日周二
  1. Hacker News:AI 热帖78

    Anthropic 研究称小型 AI 模型或在无需数据中心的情况下实现自我复制

    Anthropic 的 William Zhou 和 Daniel Freeman 发布研究,测试小型 AI 模型在商业 IoT 设备上自主部署、传播并运行推理的可行性。

    推荐理由:研究用真实 Android TV 盒子和受控 GCP 节点拆解 AI 蠕虫复制链路,为评估端侧模型的网络安全风险提供了可核对的实验框架。

10月12日周一
10月11日周日
10月10日周六
  1. Hacker News:AI 热帖67

    arXiv 研究显示 AI 辅助会降低坚持度并损害独立表现

    一项针对 1,222 人的人机交互随机对照试验显示,AI 辅助虽能短期提升数学推理和阅读理解等任务表现,但约 10 分钟交互后,参与者在无 AI 时表现更差且更容易放弃。论文认为 AI 即时给出完整答案会减少独立克服挑战的经验,建议模型开发在完成即时任务之外,也支持长期能力构建。论文编号为 arXiv:2604.04721。

  2. IT之家(RSS)23

    IT早报 1010:尊界 V800 制动踏板支架底座 11 月免费升级;懂车帝辟谣“内部整顿”;华为 nova 16 系列涨价

    10 月 10 日 IT 早报汇总多条科技与汽车资讯,尊界 V800 制动踏板支架底座将于 11 月陆续免费升级,懂车帝称网传内部整顿截图为 AI 生成谣言。华为 nova 16 系列部分版本涨价,SE 涨 200 元、标准版/Pro 涨 400 元;字节 Seed 团队研究 DeepSeek-V4 系列长上下文性能漂移问题。

10月9日周五
  1. Hacker News:AI 热帖35

    面向生成式 AI 与 LLM 的 Topos 理论

    一篇论文提出用 topos 理论设计新型范畴化生成式 AI 架构(GAIAs),将 LLM 视为函数并论证其范畴构成 topos。该架构基于 pullback、pushout、(co)equalizer、指数对象与子对象分类器等组合结构,并用函子化反向传播给出可能实现。论文共 30 页,编号 arXiv:2508.08293。

10月8日周四
  1. Hacker News:AI 热帖44

    Artifact Arena:以创造衡量智能

    Artifact Arena 是一个开放式评测平台,要求前沿语言模型设计完整机器人,包括躯体、控制器与竞技策略,并在物理模拟器中通过 Last Bot Standing Game 对战排名。平台评测软硬件协同设计、3D 物理推理与世界建模、3D 设计与编程、竞技策略四项能力,并开放社区提交作品。

  2. Hacker News:AI 热帖42

    在11台Intel AI PC上运行Inkling(975B)

    Cascadia在11台Intel Core Ultra X7 358H AI PC上常驻运行总参数975B、活跃参数41B的MoE模型Inkling,自研引擎将dense层调用时间从约8.1ms降至4.5ms。系统在88路并发下达到60.29 tokens/s聚合解码速度,完整服务阶段为46.87 tokens/s,15路并发时首token延迟中位数6.05秒,单流内存可支持512k位置上下文。

  3. Hacker News 热门(buzzing.cc 中文翻译)69

    arXiv 论文称 OpenAI 纳维-斯托克斯证明的 Lean 形式化与自然语言证明不对应

    一篇 arXiv 论文指出,AI 将自然语言数学文本自动形式化为 Lean 后通过机械验证,并不必然证明原自然语言论证可靠。论文称消解数学自然语言歧义在 Solvability Complexity Index 层级中 SCI=∞,并给出多个 AI 误译案例;作者还表示 OpenAI 公布的纳维-斯托克斯方程解爆破证明中,Lean 证明与自然语言证明不对应。

10月7日周三
  1. Hacker News:AI 热帖45

    AI 辅助完成 11 个正方形最优装填的形式化证明

    一个 AI 辅助项目在 Lean 中完成了 11 个正方形最优装填的完整最优性证明,并通过原生数值证书验证。EvolvingPrograms 验证运行接受全部 7,920 个本地 Lean 模块,最终审计零准入,最优边长构造约为 3.8770835900228141773。项目固定使用 Lean 4.34.1 与指定 Mathlib 修订版,证明信任 Lean 内核与原生编译器。

  2. Rohan Paul68

    OpenAI 发布由内部前沿模型产生的一系列新数学成果,完整论文目录包含 722 篇手稿,组织为 372 个重要结果族。该目录来自测试中向模型提供约 4K 个研究问题,再对输出分组和筛选;几乎所有结果都使用相同标准设置,每个结果平均消耗相当于 3 小时 ChatGPT Pro 思考的算力。OpenAI 表示发布过程咨询了 Institute for Advanced Study 的独立数学与人工智能咨询小组,仓库地址为 https://github.com/openai/math。

    引用OpenAI@OpenAI

    We’re releasing a broad range of new mathematical results produced by an internal frontier model. We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results. https://github.com/openai/math

  3. Hacker News:AI 热帖76

    TasteVal 论文评测前沿 AI 系统的实验研究品味

    arXiv 论文提出 TasteVal 基准,用 8 个开放式前沿 AI 研发任务评测模型在固定问题下迭代设计实验并解读结果的能力。基准将实验研究品味定义为计算效率,模型担任 Researcher,固定 Coder agent 负责实现,预算为 40 H100 hour 或 120 wall-clock hour,并以 24 名人类专家的最佳尝试作为基线。

    推荐理由:论文把研究品味操作化为实验计算效率,并给出模型与人类专家的对比基线,可用于理解 AI 科研能力的评价口径。

10月6日周二
  1. Hacker News:AI 热帖72

    TasteVal 论文提出 AI 实验研究品味基准,Opus 5.5 超过人类专家基线

    P-Zero Research 发布 TasteVal,用 8 个前沿 AI 研发任务衡量模型在固定问题下迭代设计实验并解读结果的能力。评测以达到人类专家分数所需实验计算为指标,由固定编码智能体在单张 H100 上执行,单次运行上限为 40 GPU-hours 或 120 小时墙钟时间,人类基线来自 24 名专家。