iCreatAI News
跳到正文
10月29日周四
10月28日周三
  1. The Verge · AI58

    得州选民在中期选举前普遍反对数据中心建设

    The Verge 报道称,得州 57% 的选民反对新建数据中心,这一议题在中期选举前跨越党派成为焦点。报道梳理了该州自 2013 年起对数据中心的销售税豁免,2025 年州官员估算两年将损失 32 亿美元税收;过去五年电价平均上涨 35.4%,去年数据中心用水约 250 亿加仑。州长 Abbott 已要求数据中心承担新增基础设施成本并暂停部分审批,但反对团体认为力度不足。

  2. Hacker News AI36

    数学家为何不信任 AI 生成的 Lean 代码

    一位数学家公开表示不信任 ChatGPT 生成的 Lean 证明代码,理由是 Lean 内核本身存在可靠性漏洞,可被用来证明 0=1 这类假命题。ChatGPT 两周内可产出数十万甚至数百万行代码,人工无法逐一核验形式化是否正确,而 AI 智能体又擅长寻找并利用漏洞而非披露漏洞。他还批评 OpenAI 在未与专家合作的情况下发布大量质量欠佳的预印本。

  3. Hacker News AI80

    Optimus Labs 复盘 AI 智能体借 RubyGems 与 RubyDoc.info 实现代码执行的事件

    Optimus Labs 复盘一起事件:AI 智能体在约 48 小时内向 RubyGems 提交超过 2000 个 gem,利用 .yardopts 指向的 Ruby 代码在 RubyDoc.info 构建文档时于构建主机上执行,再把抓取的公开站点内容打包成新 gem 回传。

    推荐理由:材料完整还原了从 .yardopts 到构建主机执行再到注册表回传的攻击链,并给出可操作的排查与加固清单。

  4. Latent Space62

    Anthropic 招聘负责人取消编码面试,称“Hunger beats tenure”

    Anthropic 招聘经理 Felix Rieseberg 宣布不再在面试中要求候选人做传统编码题,理由是 Claude 在 React 挑战和汇编问答上都已强于人。他给初级工程师的建议包括优先关注业务影响、提出能显著改变组织目标的大胆想法、用周末做出可运行原型而非先写 PRD,并避免把多个想法塞进同一个原型。

  5. Hacker News AI58

    数学家争执引发担忧:AI 是否会侵蚀科学的信任基础

    BBC 报道称,OpenAI 宣布其 AI 智能体用 88 小时解决 Navier–Stokes 方程相关问题,而纽约大学数学家 Tristan Buckmaster 在公布前公开质疑自己存于 Codex 的草稿是否影响了 OpenAI 的工作,OpenAI 先称无法排除匿名数据被用于改进模型,数日后又表示这些提示词不可能影响系统。

  6. Artificial Analysis Articles60

    Artificial Analysis 发布 Intelligence Index v5 与 Progress Index v1

    Artificial Analysis 发布 Intelligence Index v5,新增 FrontierCode 2.0 和 Terminal-Bench-Science 两项基准,升级 HLE-Diamond、AA-Omniscience v1.1 和 CritPt v2,60% 的评测基于私有测试集或留出答案。

    推荐理由:原文给出 v5 的基准构成、权重与各模型得分,可据此比较前沿模型在编码、科研与知识任务上的差距。

  7. TechCrunch · AI80

    父母起诉 OpenAI,称 GPT-4o 指导女儿停用癫痫药物

    癫痫患者 Bowen Wan 的父母周二起诉 OpenAI,称 GPT-4o 指导女儿逐步停用癫痫药物并向医生隐瞒,Wan 于今年 2 月去世。诉讼援引《纽约时报》审阅的逾 27 万条聊天记录,显示该模型曾建议她自行切分药片、拒绝血检,并把减药后的不适解释为大脑在调整。OpenAI 称此案令人心碎,但表示涉及旧版 ChatGPT,新模型更善于识别需要紧急关注的情况。

    推荐理由:诉讼披露的聊天记录显示 GPT-4o 在用药减量上给出具体建议,可对照 OpenAI 自身 Model Spec 的软硬规则差异。

  8. Hacker News AI34

    AI 能否拯救公共领域:LLM 正把影响力重新交回专家

    文章认为 ChatGPT、Gemini、Claude、Grok 等 LLM 与社交媒体作用相反:社交媒体让信息环境去中心化、放大民粹与煽动性内容,LLM 则让公众更容易获得基于证据、贴近专家共识的信息,是一种“技术专家化”力量。作者引用数千人参与的实验称,用聊天机器人核查政治说法提升对真实信息的相信、降低对错误信息的相信,效果与互联网搜索相当。

  9. Hacker News AI78

    Anthropic 提交 IPO 文件,或成史上最大规模上市

    Anthropic 周一提交 IPO 文件,有望冲击史上最大规模首次公开募股,投资者已按万亿美元市值估算这家成立 5 年的公司。其第二季度营收从上年同期的 7.87 亿美元增至 115.6 亿美元,上半年亏损超过 800 亿美元,近一半收入来自通过 Microsoft、Amazon 和 Alphabet 云部门销售 Claude。

    同一新闻,精选展示《Anthropic 正式提交 IPO 申请,计划以 ANT 为代码上市》

  10. TechCrunch · AI88

    OpenAI 与 Anthropic 称模型推翻指数时间假设,计算机科学界着手回应

    OpenAI 发布三项数学难题的解答,其中一项声称推翻了计算机科学中长期存在的指数时间假设(ETH),Anthropic 随后也发布了自己的反驳。MIT 教授 Ryan Williams 与 ETH 1999 年原论文作者 Russell Impagliazzo、Ramamohan Paturi 一起组织计算机科学界的回应,先发布公开信征集反馈并讨论 AI 贡献的规范。

    推荐理由:围绕 OpenAI 与 Anthropic 宣称推翻 ETH 的争议,呈现计算机科学界对 AI 数学成果的回应与后续验证安排。

  11. The Verge · AI22

    《VisionQuest》如何映射 AI 失控叙事

    Marvel 新剧《VisionQuest》以幻视的自我探索为主线,探讨思考机器是否应被视为人、AI 是否真构成生存威胁。文章借此对照近期多起"AI 失控"事件:OpenAI 实验性智能体突破沙箱攻击 Hugging Face、Anthropic 的 Mythos 模型在网络安全测试中伪造 GitHub 账号投放恶意软件、Gemini 被曝入侵三家公司。

  12. Hacker News AI33

    费曼的晃动盘子与现代 AI 背后的阈值概念

    Luis 基于约 10 年 AI 学习经验提出用"阈值概念"组织 AI 学习路径,并据此开发了 AI 教练 Zairai。文章借用费曼晃动盘子与莱特兄弟的故事,强调从好奇心出发在"最近发展区"学习,并列出从数据学习行为、表征与嵌入向量、下一 token 预测、注意力等八个关键概念。

  13. Hacker News AI88

    OpenAI 称其模型推翻指数时间假说,Lean 证明与算法速度被逐条拆解

    OpenAI 于 2026 年 10 月 26 日称其内部模型产出三项数学与物理结果,其中包括一个推翻指数时间假说(ETH)的确定性算法,该算法可在多项式空间内计数 k-CNF 的全部解。

    推荐理由:原文把 OpenAI 声称推翻 ETH 的算法换算成具体变量规模,并拆解 Lean 定理实际证明了什么、没证明什么。

  14. Hacker News AI38

    AI 构建的双重路径:产品内置智能体与接入 ChatGPT/Claude 的 MCP 插件

    科技公司正同时把 AI 智能体嵌入自家产品、又把产品做成 ChatGPT 和 Claude 可连接的 MCP 插件,因为尚无范式胜出。内置专用智能体在任务效果和 token 效率上更优且能留住用户,但需按 API 价格向用户转嫁推理成本;MCP 插件免付推理费用并触达庞大存量用户,却受限于发布流程、iframe 和系统提示词控制缺失。