费马大定理：Anthropic已经抢先一步了
Anthropic 的内部模型借助 prove2.me 平台，在 Lean 证明助手中完成了费马大定理（FLT）的完整机器形式化证明，耗时仅 11 天，补上了存在 20 年之久的百大形式化挑战清单的最后一块拼图。
标签： ChatGPT
Apple 计划于 2027 年推出 AI 家用安防摄像头及配套服务
据 Bloomberg 报道，Apple 计划于 2027 年推出自研 AI 家用安防摄像头及配套监控服务。与市面产品不同，这款设备将通过 AI 分析监控环境而非直接记录视频，延续 Apple 在隐私保护上的差异化路线。
Filing: AI training data startup Micro1 offers to pay $12.5M for Spirit Airlines’ data; the offer faces hurdles as Spirit already has a $10M deal with Google (Jonathan Randles/Bloomberg)
AI 训练数据初创公司 Micro1 提议以 1250 万美元收购 Spirit Airlines 的数据资产，但这笔交易面临障碍，因为 Spirit 已与 Google 签有 1000 万美元的协议。此事折射出 AI 公司对真实世界专有数据的争夺已延伸至航空业。
GPT-6 Astra 现已登陆 OpenRouter
OpenAI 新一代旗舰模型 GPT-6 Astra 已通过 OpenRouter 平台向开发者开放，采用多供应商托管与自动故障转移机制，主打长周期智能体任务与超大上下文能力，是当前最贵的商用模型之一。
California AG Rob Bonta is investigating OpenAI over the Hugging Face hack in July, after more than a dozen states joined Alabama in its investigation (Chase DiFeliciantonio/Politico)
加州总检察长 Rob Bonta 正牵头调查 OpenAI，针对的是今年 7 月 Hugging Face 平台遭黑客攻击导致数据泄露一事；与此同时，已有超过 12 个州加入阿拉巴马州发起的相关调查，OpenAI 面临的监管压力正在快速升级。
GPT-6 Astra 现已登陆 OpenRouter
OpenAI 最新模型 GPT-6 Astra 已正式登陆 OpenRouter 平台，开发者可提前通过 API 调用体验。相比同门的 Sol、Terra、Luna 等型号，Astra 在低预算档位上展现出明显更强的生成质量与更高的 token 效率，被视为 OpenAI 在推理成本与效果平衡上的一次关键出牌…
AI 现在能设计电路板了吗？
AI 已经能完成从电路原理图设计、仿真到迭代修复的闭环工作流，但一旦涉及 PCB 布线这类几何空间推理任务就会“失灵”。这件事之所以重要，是因为它正在帮我们重新划定“大模型自动补全”与“真正智能”之间的清晰边界。
把 LLM 看作 “next-token predictor”，这种心智模型是错的。
Hacker News 上一场关于“大模型是否只是下一个词预测器”的讨论，试图颠覆大多数人对 LLM 工作方式的简化认知：模型不是在做“预测”，而是在“生成能获得高奖励的 token”，这会影响你如何调试 Prompt、评估模型能力边界，甚至判断 API 服务的成本结构。
v2.1.261
Anthropic 于 9 月 4 日发布 Claude Code v2.1.261，重点修复远程控制、代理环境兼容性与输入稳定性问题，并新增技能诊断与输出上限配置，让长任务和团队协作场景更可靠。
AI算力提供商Nscale寻求35亿美元IPO前融资
英国AI算力基础设施公司Nscale在上市前夕寻求35亿美元融资，其中包含向英伟达争取20亿美元投资。这起交易如果落地，将再次放大英伟达在AI算力产业链中的话语权，也可能成为欧洲AI基建公司冲击公开市场的一个重要样本。