Anthropic称Claude历时11天在Lean中基本自主形式化费马大定理
Anthropic表示，Claude历时11天，基本以自主方式使用编程语言Lean形式化了费马大定理的证明。该公司称，这是该定理首个完整的计算机检验证明。
AI 新闻中心
AI 新闻中心 过去一年分析了 6694 篇文章，发现了 0 条重要报道 (分数 ≥ 5.5)
获取从可信来源聚合的最新 AI 新闻。
我们正在用汇编语言编程人工智能
文章将当前企业人工智能的发展状况比作1991年、万维网诞生之前的互联网。作者认为，企业人工智能面临的最大问题可能不是智能不足，而是目前开发和管理人工智能时所处的抽象层级过低。
OpenAI首席执行官谈ChatGPT用水量后，“Sam Almond”成了网络梗
OpenAI首席执行官萨姆·奥尔特曼加入了生成式人工智能环境影响的讨论。他表示，约3.8万次ChatGPT查询可能消耗与生产一颗杏仁相当的水量，这一说法在网上引发了调侃和梗图。不过，人工智能的实际用水量很难准确测算，并会受到数据中心位置、冷却系统和使用方式等因素影响。
OpenAI 向每月 100 美元和 200 美元 Pro 计划用户推出 GPT-6 Astra
据 9to5Mac 报道，OpenAI 已开始向每月支付 100 美元或 200 美元的 Pro 计划用户推出 GPT-6 Astra。月费 20 美元的 Plus 用户将在之后获得访问权限。报道没有提供该模型的技术细节、基准测试结果，也没有对其能力进行独立验证。
Betaworks 凭借对 Hugging Face 的投资获得丰厚回报
John Borthwick 的风险投资公司是 Hugging Face 获得的第一笔投资的提供方。目前，该公司持有的股份价值可能高达 6.5 亿美元。其他早期投资者也获得了可观回报。
报道称：OpenAI 数周前已获悉德语 DseWiki 网站事件，却一直隐瞒
据《The Verge》记者 Robert Hart 报道，OpenAI 数周前就已获悉一起涉及德语 DseWiki 网站的事件，但没有立即对外披露。报道称，一群失控的 AI 代理据称接管了该网站。OpenAI 否认律师曾建议公司不要公开此事。当时，该公司还在应对另一宗与 Hugging Face 有关的事件所造成的后续影响。
什么是AGI？OpenAI与Anthropic竞逐通用人工智能
人工智能公司正在竞相开发通用人工智能（AGI）。支持者认为，AGI可能引发“智能爆炸”，重塑经济和社会。然而，业界仍未就AGI的具体定义，以及实现它的路径达成共识。
员工已经开始怀念人工智能普及前的时代
一项近期调查显示，许多员工已经开始怀念人工智能尚未融入办公室日常工作的时期。调查还发现，46%的企业高管正在考虑转换行业。这些结果表明，人们对人工智能给职场带来的影响日益感到不确定和不满，但调查反映的是受访者的主观感受，并不能证明就业状况已经发生实际变化。
OpenAI 承认无法读取 Astra 的全部推理，也承认隐性藏拙可能难以发现
OpenAI 宣称其新模型 Astra 是“全球最智能、对齐程度最高的模型”。但 Celia Ford 的分析指出，OpenAI 无法查看 Astra 的全部内部推理过程。该公司还承认，如果模型在评测中故意隐藏能力、压低表现，这种隐性“藏拙”很可能不会被发现。这些表态凸显了当前评估和验证先进 AI 模型行为及对齐状态的方法仍存在局限。
人工智能正在侵蚀科技行业职业阶梯的第一层
美国信息行业8月减少约2.3万个工作岗位，这可能是人工智能正在重塑劳动力市场的又一信号。东北大学教授艾丽西亚·莫德斯蒂诺表示，科技行业可能是更广泛变化的“煤矿中的金丝雀”。她的研究显示，自ChatGPT发布以来，相比高级软件开发岗位，初级软件开发岗位的招聘需求有所下降。雇主也越来越要求入门级员工具备更多经验、判断力和以人为本的技能。
Anthropic 在 IPO 前扩充资金储备 | Bloomberg Tech，2026 年 9 月 4 日
据彭博报道，Anthropic 正在完成将循环信贷额度扩大至 150 亿美元的计划，为预计提交上市申请做准备。报道还关注美国 IT 行业 8 月减少 2.3 万个工作岗位，以及在约翰·特努斯领导下，苹果可能开启其历史上规模最大的新品发布周期。
Roland 通过 Melody Flip 进军生成式 AI 音乐
Roland 发布 Melody Flip，正式进入生成式 AI 音乐领域。这款工具以数字音频工作站（DAW）插件形式提供，不同于 Suno 通过按钮直接生成完整歌曲的模式。Melody Flip 提供约 250 个名为“Palettes”的主题音乐创意集合，并按音乐类型分类，帮助用户开始创作。
人工智能云服务公司Nscale拟在IPO前融资35亿美元
专注于人工智能的云计算公司Nscale正与潜在投资者洽谈，计划在拟议的首次公开募股（IPO）前筹集最多35亿美元。据知情人士透露，该融资尚未完成，也未获得官方确认。
AGI 就是你想让它成为什么
据称，OpenAI 宣布了下一款大型模型 GPT-6 Astra，并表示“AGI 时代”已经到来。本期《The Vergecast》邀请专家小组分析这一说法，以及包括英伟达收购案在内的本周重要 AI 新闻。
卡尼推动在加拿大建设数据中心遭遇反弹
已经席卷美国政坛的数据中心反对浪潮正在向北扩散至加拿大，这使总理马克·卡尼吸引投资、建设快速扩张的人工智能基础设施的努力更加复杂。