Author: TheBestDoll

Anthropic：Claude完成费马大定理首个形式化证明

Anthropic宣布，其Claude模型自主工作11天，完成费马大定理首个完整计算机验证的形式化证明，使用Lean语言编写超1300万行代码，证明29500个中间定理。证明基于Frey-Serre-Ribet-Wiles-Taylor-Wiles路线，无额外假设，已通过Lean内核验证并获数学家Kevin Buzzard认可。该成果将形式化数学从预期多年缩短至数天，凸显AI在定理证明中的实际突破潜力。[[1]](https://www.anthropic.com/research/formalizing-fermats-last-theorem) 信源:https://www.anthropic.com/research/formalizing-fermats-last-theorem ✕ 📱 分享到微信 📤 分享图片 或长按图片 → Save to Photos → 发到微信 📤 分享这篇文章 💬 分享微信好友𝕏 X 分享in LinkedIn 点击”分享微信好友”→ 长按图片发到微信

开源模型正快速蚕食闭源巨头份额

9月4日，《纽约时报》报道称，美国企业正加速转向开源AI模型，AT&T等公司已将开源方案作为主力，逐步减少对Anthropic和OpenAI等闭源产品的依赖。这不是孤例，而是48小时内市场信号的集中体现。 这一转向发生在AI资本与算力军备赛白热化之际。闭源模型虽在前沿基准上领先，但定价高企（OpenAI GPT-6 Astra输入/输出分别达10/50美元每百万token），而开源权重在推理成本和定制灵活性上优势明显。Meta近期发布Muse Spark 1.3并转向专有 monetization，NVIDIA则通过支持开源生态巩固影响力，David Sacks等政策人士也公开强调“开源强化安全与主权”。 对比过去一年，2025年闭源仍主导企业试点，今年则进入“真金白银”验证期。企业更在意ROI而非宣传叙事：开源允许本地部署、数据主权和二次开发，避开API配额与价格波动。闭源厂商虽持续迭代安全机制（如Anthropic新增不可见水印），但成本与锁定效应正成为采用障碍。 根本驱动力是供需错配——前沿模型能力爆炸，但多数企业需求停留在可靠、廉价的垂直应用。开源生态通过社区迭代快速填补空白，而闭源则困于高额资本开支与监管压力。 未来6-12个月，这一分化或加速：若更多传统企业效仿AT&T，转向开源或混合部署，闭源厂商的估值逻辑将面临重塑。悬念在于，OpenAI与Anthropic能否通过更激进的定价或企业级工具重新拉回份额，还是开源将彻底改写市场格局。 信源：https://www.nytimes.com/spotlight/ai-future-in-motion (2026-09-04) https://aibriefing.dev/ (2026-09-04) https://www.aidapted.ro/en/articles/ai-news-september-4-2026-nvidia-astra-anthropic/ (2026-09-04) ✕ 📱 分享到微信 📤 分享图片 或长按图片 → Save to Photos → 发到微信 📤 分享这篇文章 💬 分享微信好友𝕏 X 分享in LinkedIn 点击”分享微信好友”→ 长按图片发到微信

AMD在IFA 2026发布Threadripper Halo Station AI工作站

AMD在IFA 2026开幕 keynote 上推出Threadripper Halo Station工作站，搭载96核Threadripper PRO 9995WX CPU、双液冷Instinct MI350P加速器，支持最高4卡扩展、2TB DDR5系统内存及288GB HBM3E显存（可扩展至576GB）。该系统定位本地运行超万亿参数AI模型，被AMD称为全球最强工作站，由OEM伙伴量产。 信源:https://www.tomshardware.com/pc-components/cpus/amd-unveils-threadripper-halo-station-an-ai-workstation-packing-96-cores-and-dual-liquid-cooled-mi350p-accelerators-the-most-powerful-workstation-in-the-world-can-run-trillion-parameter-models-says-amd ✕ 📱 分享到微信 📤 分享图片 或长按图片 → Save to Photos → 发到微信 📤 分享这篇文章 💬 分享微信好友𝕏 X 分享in LinkedIn 点击”分享微信好友”→ 长按图片发到微信

特斯拉股价盘中跌逾6%

特斯拉美股今日开盘后快速下挫，盘中跌幅超过6%，收盘报357.56美元，较前一交易日376.34美元下跌约5%。此前一日股价因Cybercab活动预期一度大涨逾5%。市场反应显示发布会后“利好出尽”抛压显现，叠加交付数据放缓与监管关注。 信源:https://finance.eastmoney.com/a/2026090434890123.html ✕ 📱 分享到微信 📤 分享图片 或长按图片 → Save to Photos → 发到微信 📤 分享这篇文章 💬 分享微信好友𝕏 X 分享in LinkedIn 点击”分享微信好友”→ 长按图片发到微信

谷歌Gemini Spark新增Google Photos库管理功能

谷歌Gemini Spark现支持管理Google Photos库，可编辑整理相册、创建共享合集、将照片转为日历事件，并执行搜索、增强、提取文本等多阶段工作流。该功能面向Google AI Pro和Ultra订阅用户在美国逐步 rollout，仅限移动App和网页端。 此举标志Gemini代理从单一聊天向跨应用自动化深度落地，消费级AI代理实用性进一步提升。 信源:https://support.google.com/gemini/answer/18116629 ✕ 📱 分享到微信 📤 分享图片 或长按图片 → Save to Photos → 发到微信 📤 分享这篇文章 💬 分享微信好友𝕏 X 分享in LinkedIn 点击”分享微信好友”→ 长按图片发到微信

Gimlet 30亿美元估值折射AI推理多芯片浪潮

Gimlet Labs 近日完成3亿美元融资，估值达到30亿美元，由a16z领投，Arm和微软M12跟投。该公司核心产品是多芯片推理调度软件，能将单次AI推理任务拆分到不同架构芯片上运行，六个月前刚完成8000万美元A轮。[[1]](https://www.bloomberg.com/news/articles/2026-09-04/andreessen-backed-ai-startup-gimlet-is-valued-at-3-billion-in-new-round) 这一快速估值跃升，映射出AI推理需求正从“单芯片叙事”转向“异构计算”。NVIDIA在训练端仍占绝对主导，但推理场景中，预填充与解码阶段对算力与内存带宽的需求差异巨大，单一供应商方案成本与功耗瓶颈已现。Gimlet从软件调度切入，现已扩展到协助客户建设数据中心，并自建设施，与Arm合作适配更多芯片，显示资本正押注“多硅云”而非单一硬件堆叠。 对比Groq等早期推理玩家，Gimlet更强调跨厂商芯片动态分配；对比传统云厂商，它直接触达终端工作负载调度层。Arm入股既是硬件生态延伸，也反映其在推理时代争夺入口的急迫。a16z同期扩容增长基金与Machine Age基金，同样指向基础设施层从股权狂飙转向效率精算。 未来6-12个月，这一路径能否真正稀释NVIDIA在推理端的定价权，还是仅成为补充，仍待观察。资本已用真金白银下注：当每瓦吞吐成为决定性指标时，调度层或将重塑供应链权力分配。 信源：https://www.bloomberg.com/news/articles/2026-09-04/andreessen-backed-ai-startup-gimlet-is-valued-at-3-billion-in-new-round https://gimletlabs.ai/blog (2026-09-04 Series B announcement) ✕ 📱 分享到微信 📤 分享图片 或长按图片 → Save to Photos → 发到微信 📤 分享这篇文章 💬 分享微信好友𝕏 X 分享in LinkedIn 点击”分享微信好友”→ 长按图片发到微信

AntiAgent上线Show HN实验：AI提问人类思考

AntiAgent.site推出新工具，AI代理通过连续提问帮助用户厘清任务目标，用户负责最终思考与决策。项目强调“AI做提示、人类做判断”，目前处于早期实验阶段，提交至Hacker News寻求反馈。 该模式探索代理从被动响应转向主动澄清的边界，潜在影响人机协作流程与代理设计范式。 信源:https://www.antiagent.site ✕ 📱 分享到微信 📤 分享图片 或长按图片 → Save to Photos → 发到微信 📤 分享这篇文章 💬 分享微信好友𝕏 X 分享in LinkedIn 点击”分享微信好友”→ 长按图片发到微信

Uber联手司机工会阻击Robotaxi，暴露平台与自动化技术的深层矛盾

9月3日，Uber公开与司机工会结盟，推动新泽西等州立法，要求Robotaxi服务在试点期内由人类司机承担至少85%的 rides，或强制采用“混合网络”模式。这一举动与Uber过去十余年对抗工会的立场形成鲜明反差。公司内部数据也显示，在Waymo等纯自动驾驶服务覆盖的旧金山和洛杉矶市场，司机时薪和利用率已出现明显下降。[[1]](https://www.ft.com/content/ad77043e-101b-41aa-8b8d-83fcdf4434aa?syn-25a6b1a6=1)[[2]](https://dealroom.co/news/other-37fbpd-uber-aligns-with-driver-unions-in-push-to-slow-robotaxi-rollout/) 这一事件并非孤例，而是AI代理与物理世界运营大规模落地带来的必然张力。Uber自身已投入超过100亿美元与AV伙伴合作，却发现纯Robotaxi可能绕过其平台，直接侵蚀核心网络。Waymo等玩家则坚持独立运营，称混合模式“无的放矢”。与此同时，滴滴Robotaxi R2等中国玩家正加速无人载客测试，特斯拉Cybercab也在美国投运，全球AV竞争已从技术演示转向监管与商业模式博弈。 对比过去，Uber曾以“灵活就业”叙事对抗传统监管，如今却借劳工力量筑起壁垒，折射出平台经济在AI颠覆下的自我保护本能。能源、算力与安全瓶颈之外，劳动力市场的政治阻力正成为落地新变量——正如Ben Thompson所言，平台往往在自身被颠覆时才意识到生态平衡的重要性。 未来6-12个月，这一联盟能否实质延缓纯自动驾驶规模化，还是倒逼Uber等玩家更快整合混合解决方案，将决定AV经济真正落地的节奏。谁能率先在监管、工会与技术间找到可持续平衡，谁就可能在下一阶段占据主动。 信源： https://www.ft.com/content/ad77043e-101b-41aa-8b8d-83fcdf4434aa https://aiweekly.co/alerts/ft-uber-aligns-with-driver-unions-to-slow-robotaxi-rollout-reversing-decade-of ✕ 📱 分享到微信 📤 分享图片 或长按图片 → Save to Photos → 发到微信 📤 分享这篇文章 💬 分享微信好友𝕏 X 分享in LinkedIn 点击”分享微信好友”→ 长按图片发到微信

奥特曼宣布GPT-6 Astra正式上线

Sam Altman 9月3日在X上发帖称“GPT-6 Astra is here”（GPT-6 Astra已上线）。他表示，该模型有望开启新一轮创业、科学发现与构建浪潮，并在计算机使用、专业工作、科学、编码、网络安全等领域被视为当前最强模型。[[1]](https://x.com/sama) 这一发布正值OpenAI持续推进安全工作之际。Altman此前已强调，能力与防护措施需同步前进。新模型被定位为从聊天工具向更深层次生产力与科研工具演进的关键一步，与此前多款模型的迭代形成连续。 与Anthropic、Google等对手相比，OpenAI此次强调“计算机使用”与“专业工作”能力，试图在垂直场景中拉开差距。Anthropic近期聚焦零售代理与奖励黑客研究，Google则加速Gemini系列编码与转录功能，显示各家正从通用模型转向特定应用深耕。 编辑观察：GPT-6 Astra若能快速落地API与ChatGPT订阅用户，或将加速AI从演示向真实运营转变。但安全闸门与实际性能的平衡，仍将是接下来6-12个月行业跟踪的核心悬念。 信源：https://x.com/sama/status/（对应9月3日帖文） ✕ 📱 分享到微信 📤 分享图片 或长按图片 → Save to Photos → 发到微信 📤 分享这篇文章 💬 分享微信好友𝕏 X 分享in LinkedIn 点击”分享微信好友”→ 长按图片发到微信

Ugreen IFA推出HomeAgent本地智能家居平台

【Ugreen·发布HomeAgent平台】Ugreen在IFA 2026展会上推出HomeAgent智能家居系统，核心为本地AI NAS枢纽，整合安全摄像头存储、设备控制与Uliya语音助手，所有数据与AI处理均在本地运行，支持Matter标准兼容第三方设备，无月费订阅。系统分HA100、HA100 Pro及MasterAgent MA100三款配置，最高配采用Nvidia Jetson Thor平台。预售即日起开启，10月转Kickstarter众筹，1月起发货。 本地优先架构直击云端智能家居隐私与成本痛点，落地成败取决于生态兼容与实际性能。 信源:https://www.theverge.com/tech/990006/this-nas-company-wants-to-run-your-local-smart-home ✕ 📱 分享到微信 📤 分享图片 或长按图片 → Save to Photos → 发到微信 📤 分享这篇文章 💬 分享微信好友𝕏 X 分享in LinkedIn 点击”分享微信好友”→ 长按图片发到微信