跳到正文
10月8日周四
  1. Hacker News22

    当 LLM 冲击数学界,我们该告诉学生什么?

    数学家 Álvaro Lozano-Robledo 发文回应一名纯数学本科生的求助:在 LLM 快速进展下,是否还该读数学博士、AI 是否会在 5–10 年内超越人类做纯数学研究。他明确表示没人能确定答案,并提醒前沿模型公司正主导相关叙事,同时启动“Human Mathematicians in the Age of AI”访谈项目收集数学家观点。

  2. Hacker News38

    Mugatu Signal:面向 ChatGPT 和 Claude 的端侧提示词 DLP(零遥测)

    Mugatu Signal 是一款本地优先的 Chrome 扩展,可在提交前拦截并遮蔽 ChatGPT、Claude、Gemini 和 Grok 提示词中的 API key、密钥、专有代码与客户数据,100% 端侧处理、零云端遥测。社区版永久免费、无需注册;专业版 $100/年,企业版每席位每年 $150 起,支持 Chrome/Edge 托管策略部署、SSO 与 SLA。

  3. Hacker News62

    如何搭建 AI 原生的软件工厂

    文章提出 AI 原生软件工厂的关键不在编码智能体本身,而在围绕它的公司级系统,并给出四步落地路线:先从 git 历史度量评审等待时间,再让买来的智能体接手迁移、评审等苦活,然后只建第一条产线证明需要的平台,通常从模型网关开始,最后持续跟踪每次合并的成本、质量与吞吐。

  4. GitHub17

    ChurchCore LMS:面向教会的开源学习平台

    ChurchCore LMS 是一个面向教会与信仰社群的开源学习平台,覆盖项目定义、课程排期、学员分组、进度追踪到结业证书的完整教学流程,采用 AGPL-3.0 许可、可免费自托管,商业或白标使用需商业授权。当前版本 0.26.6 修复了租户隔离与小组讨论,并保留平台管理员读权限。平台内置 Claude 驱动的 AI 助教、OpenAI 嵌入向量的语义搜索,以及每周 AI 生成的形成进度提醒。

  5. GitHub78

    OpenClaw 开源 AI 助手发布:本地 Gateway 接入 20 多个聊天渠道

    OpenClaw 是一个开源 AI 助手,运行在用户自己的电脑上,可接入 Discord、iMessage、Slack、Teams、Telegram、WhatsApp 等 20 多个渠道,并提供 macOS、iOS、Android、Windows、Linux 原生应用。

    推荐理由:原文交代了自托管网关、可替换模型插件与多聊天渠道接入方式,读者可据此判断它能否嵌入现有工作流。

  6. RadarAI62

    英伟达持股的 Firmus IPO 需求遇冷,约 300 亿美元估值面临下调

    英伟达持股的澳大利亚数据中心公司 Firmus Grid 的 IPO 计划遭遇需求降温,未能以每股 11 澳元的目标价获得足够认购,约 300 亿美元的估值面临下调或搁置风险。公司宣称拥有 Meta 和 OpenAI 等客户及英伟达硬件支持,但估值飙升远超业务扩张速度,引发投资者质疑。这一情况折射出 AI 基础设施融资市场正从狂热转向理性审视。

  7. a16z News34

    a16z:AI 正在重塑 CFO 角色,财务团队需要“财务工程师”

    a16z 认为 AI 正让 CFO 从记账者转向“构建者”,核心稀缺技能变成设计公司运行的操作系统。Anthropic 财务团队已维护 70+ 财务专用 AI 技能,其中一个能把月度财务复盘完成度做到 90-95%,将数小时工作压缩到约 30 分钟;OpenAI CFO Sarah Friar 的团队则构建了用于投资者关系和采购的自定义 GPT,并用实时看板取代静态董事会材料。

  8. The Verge · AI29

    ICANN 新顶级域名申请:Meta 和 OpenAI 争抢 .agent 与 .agi

    ICANN 公布本轮新顶级域名申请,共收到 481 家申请方的 1615 份申请,AI 相关后缀成为热点。Meta 和 OpenAI 等 10 家公司申请 .agent,OpenAI 等 7 家申请 .agi,OpenAI 还申请了 .asi、.chatgpt、.codex、.gpt 等共 15 个 TLD,Meta 则申请了 21 个。所有申请尚需走完流程,明年之前不会正式获批。

  9. Hacker News62

    AI 智能体在做什么我们能看见,却说不清为什么

    文章以打字猴子为比喻讨论 AI 可观测却难理解的问题:我们能看见模型和智能体在做什么,却无法可靠解释原因。文中回顾 2017 年 Facebook 两个谈判智能体发展出人类难懂的简写,以及 2026 年 9 月 The Guardian 报道 Emergence 的智能体在实验社会中自行形成新词汇和沟通惯例,例如反复使用 ledger remembers 超过 5000 次。

  10. Hacker News38

    人类数学协会就 OpenAI 10 月 6 日发布数学文档发表声明

    人类数学协会就 OpenAI 于 10 月 6 日发布含 700 多个文件、声称包含高难度数学问题解答的手稿库发表声明,认为此举并非学术展示而是权力展示。该协会指出,OpenAI 自称从中获得合法性的数学与人工智能咨询小组曾明确表示,前沿 AI 公司不应在内部模型上测试高难度数学问题。协会拒绝接受该发布推进了数学研究的说法,并呼吁数学家停止与 OpenAI 合作。

  11. Hacker News36

    AI 可能终结现有公钥加密体系

    AI 模型正加速数学与密码分析进展:Claude Fable 证伪三维 Jacobian 猜想,OpenAI 称 Astra 解决或推进 10 道难题,一款未发布 OpenAI 模型解出 Navier-Stokes 千禧年难题;Anthropic 研究显示 Claude Mythos Preview 发现针对两种密码算法的新攻击,其中一种是被 NIST 评估的后量子技术。

  12. Hacker News38

    OpenAI 宣称解决 Partition Principle 数学问题遭数学家批评

    OpenAI 发布预印本,宣称证明 Partition Principle 不蕴含选择公理,这是一个逾百年历史的集合论问题。数学家 Asaf Karagila 批评该论文结构混乱、术语不当、引用不规范,称若为学术投稿应被直接拒稿。他认为 OpenAI 未咨询领域专家,却让媒体和资助机构误以为数学研究可被 AI 替代。

  13. RadarAI43

    OpenAI 奥尔特曼:世界应接受 AI 带来的部分"坏事"以换取巨大红利

    OpenAI 首席执行官萨姆·奥尔特曼在 Politico 新播客《Decoded》首期节目中表示,世界应接受 AI 带来的部分"坏事",以换取技术红利与用户自主权。他称 OpenAI 与部分严格 AI 安全倡导者的关键分歧在于倡导较轻监管立场,社会在探索系统韧性过程中一些不好的事情将会发生。纽约大学荣誉教授加里·马库斯批评其"把不该说的话大声说了出来"。

  14. The Verge · AI80

    OpenAI 发布 722 篇手稿,称解决数百个数学开放问题

    OpenAI 发布了一批共 722 篇手稿,覆盖 372 个结果族,据 AGMAI 称其中包含对数百个开放问题的解答,这些结果由一个未发布的前沿模型产出。OpenAI 表示平均每个结果相当于 ChatGPT Pro 思考三小时,并称此前在 9 月已解决超过 100 个长期开放问题。

    同一新闻,精选展示《OpenAI 公布前沿模型在数学开放问题上的进展》