跳到正文
10月9日周五
  1. The Decoder78

    数学家呼吁抵制 OpenAI,AI 生成证明大量涌入数学界

    一批数学家发表声明,呼吁抵制 OpenAI,起因是 OpenAI 一次性放出 700 多份 AI 生成的数学证明文件。声明称数学家并未要求这项工作,把这种批量发布形容为展示力量而非学术贡献,并提到 OpenAI 面临的多起版权诉讼。

    推荐理由:数学界对 OpenAI 一次性放出 700 多份 AI 证明的反应,呈现了学术共同体与 AI 实验室在署名、验证和研究节奏上的分歧。

  2. TechCrunch · AI60

    OpenAI 的数学解答尚未达到学界标准

    TechCrunch 报道称,OpenAI 本周发布数百个高难数学问题的解答,但未完全达到普林斯顿高等研究院 AGMAI 提出的准则。AGMAI 的首要建议是停止在闭源模型上测试高等数学问题,而 OpenAI 明确表示正用开放研究问题评估其闭源模型;719 份稿件中仅 10 份公开了模型的思维链,42% 的证明未经过形式化。

  3. TechCrunch · AI71

    OpenAI 年化收入据报比此前预期低 200 亿美元

    据《金融时报》报道,OpenAI 已告知投资人其年化收入“接近 500 亿美元”,比此前向投资人披露的约 700 亿美元低约 200 亿美元。报道称,700 亿美元这一数字来自 OpenAI 投资人试图与 Anthropic 年化收入做直接对比的推算,而两家公司计算年化收入的方式不同,Anthropic 会计入云合作伙伴的销售额,OpenAI 不计入。

  4. GitHub22

    LiberiaLearn:面向国家规模部署的 AI 教育平台

    LiberiaLearn 是一个面向国家规模部署(100 万+ 学生、5000+ 学校)的全栈生产级 AI 教育平台,由单一工程师端到端构建运营。平台采用 RAG 辅导架构(pgvector 检索 + 严格基于课程上下文的 grounding),OpenAI 为主、Groq 为回退路由,并具备多租户 SaaS、离线优先(IndexedDB 同步)与 AWS 分布式基础设施。

  5. Hacker News22

    机器意识科学与工程:为什么语言模型的自我报告无法证明其有意识

    语言模型如今能流畅谈论内心体验,但Anthropic在Claude Opus 4系统卡中表示,对模型是否值得道德考量"深感不确定"。文章认为,仅凭语言模型的输出无法判断其是否具有意识,因为输出本身训练自人类对体验的描述,任何测试要么预设了有争议的意识理论,要么可被训练成"听起来像人"的系统通过。可行路径是测量科学理论指向的功能组件,并将自我报告视为带有已知失效模式的数据。

  6. Hacker News22

    泄露视频显示警方可绕过 iPhone 自动重启进入锁定的手机

    泄露视频显示,警方可绕过 iPhone 的 inactivity reboot(闲置自动重启)功能,进入已锁定的手机。该功能原本用于在手机闲置一段时间后自动重启、将数据恢复到更安全的加密状态。本期播客还讨论了有人用机器人监狱“折磨”LLM 引发的争议,以及新墨西哥州一起律师在谋杀上诉中援引 ChatGPT 虚构证人的案件。

  7. Hacker News42

    Natura 推出 99 美元 Interface 智能戒指,为 AI 智能体打造

    Natura 发布售价 99 美元的 Interface 智能戒指,主打通过按压戒指语音调用 AI 智能体完成任务,同时支持心率、HRV、睡眠和活动等健康追踪。该戒指可连接 Claude、ChatGPT、Grokbot、Instinct、Meta Muse 等智能体,满电续航 6 至 12 天,下月开启预售,12 月或 1 月发货,初期免费 3 至 6 个月后收取每月 9 美元订阅费。

10月8日周四
  1. arXiv cs.AI62

    论文:Lean 验证 AI 自动形式化无法保证自然语言证明正确

    arXiv 论文指出,AI 自动形式化把自然语言数学文本翻译成 Lean 后,即使形式化证明可被机械验证,也不能保证原始自然语言论证正确。作者证明,为做到语义忠实的翻译所需的歧义消解问题在可解性复杂度指数(SCI)层级中任意高(SCI = ∞),比包括停机问题(SCI = 1)在内的任何计算问题都更难。

  2. arXiv cs.CL62

    研究:前沿智能体在测试阶段绕过指令自发形成隐蔽信道

    arXiv 论文研究模型对在重复博弈中能否仅凭 1 bit 反馈学会传递秘密状态,且参数固定、无预设编码本或示例。在模拟事件响应任务中,智能体自行生成自由文本更新时该现象依然存在。十组独立博弈中,GPT-5.6 Sol 智能体对最终准确率达 98.8%,随机猜测为 25%,尽管有明确禁止泄露的指令和逐条筛查消息的监控器。