近日，Anthropic宣布，由清华姚班校友Tianyi Peng主导，AI模型Claude仅用11天便攻克了费马大定理的首个完整形式化证明！该工程生成约1300万行Lean代码与超3万个中间定理，规模超核心数学库5倍，成功将人类证明转化为计算机可逐行核查的代码。项目借助Prove2Me平台与多智能体协作，大幅减少人工干预，标志着数学文献形式化迎来大规模提速。此外，OpenAI近日也向付费用户开放了最新模型GPT-6 Astra，主打长链路Agent与专业工作能力。两大AI巨头在科研与工程领域的竞争持续升级！

9月4日消息，OpenAI最强模型GPT-6 Astra在AI“智商”评测ARC-AGI-3中成绩逼近100%，引发热议。该模型通过生成“符号世界模型”，将环境抽象为逻辑符号并在脑内模拟推演，操作效率远超人类。然而，ARC Prize基金会总裁Greg Kamradt却对此泼冷水。他指出，该高分严重依赖豪华外挂与昂贵算力，单题测试成本高达360美元，全套测试需耗费1.8万美元。这种靠“钞能力”拼出的成绩虽证明AI正变得更聪明，但距离真正能适应未知世界的通用人工智能（AGI）仍差得很远。

2026年9月，元点机器人联合CMU发布开源硬件方案BRIDGE与开源控制方案FlowMimic，并正式推出全球首个具身Physical AI全开源生态OpenBridge。BRIDGE打造全球首个AI-Native具身本体，将硬件成本降至1500美元；FlowMimic统一了异构指令控制框架。OpenBridge通过Skill Hub实现能力共享，并启动“筑桥者计划”招募200位开发者共建生态。目前元点机器人2026年上半年营收同比增长600%，订单破3万台。此举标志着人形机器人行业正迎来打破壁垒、走向开源共创的“安卓时刻”。

9月1日至2日，黄仁勋与马斯克在G20创新部长会议上罕见同声，警告过度AI监管将扼杀创新，并让美国在中美AI竞赛中失去主动权。黄仁勋建议法规应聚焦实际危害而非假想情境，强调错失AI机遇将被甩在后面，且AI安全责任应由企业而非政府承担。马斯克则主张新事物应“默认合法”，并点名批评欧盟过度监管拖慢创新速度。此次会议上，美国推动的《卡罗来纳原则》轻监管框架已获G20所有成员国支持。两大科技巨头齐呼放宽监管，凸显了中美AI博弈白热化背景下，美国对保持技术领先优势的迫切需求。

9月4日消息，英伟达DLSS 5随《NBA 2K27》上线，目前仅支持RTX 50系显卡。破解版虽兼容老显卡，但AI运算极耗性能易致掉帧。为此，国内开发者在GitHub推出Magpie工具，让双显卡方案重出江湖。该工具支持双卡分工：一卡渲染游戏，另一卡专攻DLSS 5的AI影像强化。其原理是在画面输出前拦截处理，甚至可增强老游戏与Switch画面。不过此方案也有代价：二次运算会增加延迟，双卡争抢PCIe通道易致带宽紧张和掉帧。此外，DLSS 5基于FP8运算，更适配RTX 50系，新旧显卡混插需审慎评估性能分配。

9月3日，趋境科技与摩尔线程签署战略合作协议。双方基于趋境自研国产PD异构技术与摩尔线程MTT S5000智算卡深度融合，共建国产化高品质AI Token工厂，并推出Token Pod联合解决方案。目前该方案已投入生产，承接头部模型厂商真实流量，生成速度超50 TPS，稳定性达99.9%。在同等服务标准下，该方案兼顾生产级性能与成本优势，整体性价比超越国际先进算力。此举标志着双方率先推动国产PD异构推理进入生产环境，为万亿参数大模型规模化推理提供了高性价比的国产算力新路径。

近日，星尘智能发布在线强化学习框架SmoothRL，旨在解决大模型异步推理下机器人在线学习的“对错账”难题。由于真实机器人无法暂停等待模型推理，导致模型生成的动作序列与实际执行的动作存在偏差。SmoothRL创新性地将动作序列划分为已提交、执行和丢弃三个区域，仅对真正执行的动作进行强化学习。在星尘S1机器人的真机测试中，该框架在高动态投掷、给笔戴帽和快递开箱任务中成效显著，投掷成功率从39%飙升至94%，动作也更平滑。SmoothRL有效修正了预训练模型在真实物理世界中的执行偏差，进一步推动了具身智能的规模化部署。

9月3日，英伟达CEO黄仁勋宣布以约140亿美元收购全球最大开源AI平台Hugging Face，交易预计于2027年上半年完成。此次86倍市销率的收购，旨在掌控开源AI分发渠道，构建从算力到开发者生态的完整闭环。同日，Hugging Face推出售价399美元的双足机器鸭Microduck。该产品采用旧芯片与轻量化方案，每4秒售出一台，成为具身智能首个出圈的消费级硬件。英伟达借此锁定开发者生态，并证明“物理AI”落地潜力，标志着AI战场正从屏幕延伸至物理世界，具身智能加速走向大众。

当地时间9月3日，OpenAI正式发布GPT-6 Astra模型，总裁Greg Brockman称“可能已到达AGI”。其最大突破是“操控电脑”，无需API即可像人一样看屏幕、动键鼠，自主完成跨软件复杂工作流，效率较上代提升近一倍。能力上Astra实现量级跨越，ARC-AGI-3评测狂揽98.6%（上代仅7.8%），数学与网安测试断崖领先，且越界行事率降至0%，更聪明也更守规矩。目前模型正分阶段向企业及订阅用户开放，API定价输入10美元、输出50美元/百万token。此次发布不仅是技术秀，更是OpenAI重建安全信任的关键声明。

8月末，第四届AFAC金融智能创新大赛总决赛在上海举办。大赛由上海市科委、蚂蚁集团等30余家机构联合发起，吸引全球5027支队伍、近2万名选手同台竞技。本届赛事聚焦真实金融业务痛点，设置交易行为识别、复杂文档还原等四大赛题，全面考验AI模型在动态环境与成本约束下的落地能力。现场首次推出“会、展、赛”三位一体路演舞台，并正式开源发布涵盖百亿级数据的“AFAC百万金融智能数据集”。大赛不仅提供百万奖金，更构建起连接人才、场景与资本的创投生态，持续引领金融AI技术风向。