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

最近，不少开发者发现AI编程工具（如Claude Code）的额度消耗极快，修个小Bug额度就掉一大半。这是因为AI的“工作方式”变了。 现在的AI智能体（Agent）是循环工作的：为了改几行代码，它要反复读源码、搜引用、跑测试。任务越长，它背负的“历史记忆”越重，消耗的算力（Token）就越多。 ...

2026年8月，Anthropic研究员Levent Alpöge联合两名人类学者与AI模型Claude，成功构造出难倒人类数学家30年的668阶哈达玛矩阵，并一举扫清2000阶以下全部12个悬而未决的阶数。Alpöge在社交平台发布由加减号和混淆脚本组成的谜题，经GPT-5.6 Sol解码及独立机构复现验证，确认12组矩阵结果正确。该难题被收录于FrontierMath基准测试的50个开放问题中，此次突破标志着该测试已有4个问题被AI解决（GPT与Claude各解两题）。EpochAI已将该题暂标为“由AI解决”，完整技术报告待揭晓，AI正加速成为数学家的超级助理。

8月12日晚，DeepSeek V4 Pro正式发布，性能逼近Fable 5且价格仅为其1/57，加速迈向工业级Agent生产线。8月13日，DeepSeek Harness内测名单曝光。其筛选不看名气，七成入选项目为零热度小团队新作，大热高星项目落选。入选项目集中于MCP插件、代码智能体、运行时及编排框架等基建方向。这表明DeepSeek正从最强API向Agent生产线转型，通过扶持底层设施，着力补齐Agent落地时的执行安全、工程可靠性及商业化成本等短板，打造完整生态底盘。

8月6日，远景科技集团在乌兰察布宣布“远景乌兰察布星河基地”正式投产，全球最大AI算力超级单体同步亮相。该超级单体建筑面积超12万平方米，基地总规划容量达2GW，支持百万卡并行与百万P级算力。随着AI算力迈向GW级时代，稳定供电与散热成为核心瓶颈。远景依托风电、储能及AI能源调度优势，通过高比例绿电直连与智能系统，将波动新能源转化为稳定算力能源，使同等面积算力输出达传统数据中心10倍。这标志着AI竞争正从单卡性能向系统组织效率延伸，中国正将新能源产业优势转化为强大的算力竞争力。

大模型推理不仅拼GPU算力，更拼数据的传输效率。AI基础设施正从单纯“堆算力”转向计算、网络与存储的深度协同。 如今，存储已成为AI推理的核心资源。月之暗面的Mooncake系统将上下文缓存（KV Cache）独立调度，“以存储换计算”大幅提升系统承载力；NVIDIA的CMX平台则在显存和传统存储间...

近日，在2026年国际数学家大会及菲尔兹奖颁奖现场，06年菲尔兹奖得主陶哲轩发表演讲，警示数学界正迎来一场关于价值观与实践方式的“百年新危机”。他指出，随着AI解题能力的突破，数学将从“证明稀缺”步入“证明过剩”时代，研究在生成、验证、表述等环节易出现“阻抗失配”与“证明消化不良”。为此，陶哲轩呼吁学界规范披露AI使用情况，降低“首次解出”权重，提高“消化”权重，并强调“若作者无法清晰讲解成果则不应发表”。他主张不拒绝、不隐瞒AI，但数学的规则必须由人类数学家自己定义。

7月19日，科大讯飞正式发布星火Token Factory，致力于打造企业级AI模型智能路由与治理新底座。针对企业AI规模化落地中面临的模型管理难、成本攀升及安全治理滞后等痛点，该平台提供统一接入、智能路由、全链路治理与成本优化等核心能力。其智能路由机制可实现任务分级与模型精准匹配，大幅降低Token成本；推理引擎深度优化昇腾硬件，使推理效率提升约5倍；同时构建三权分立的安全体系与全链路成本归因能力，让AI运营透明可控。此举标志着企业大模型应用正迈向规模化运营新阶段。

7月17日，在2026世界人工智能大会上，魔法原子携自研通用具身大模型Magic-VLA K02亮相，现场展示叠盒封胶、衣物整理及行李箱收纳等复杂长程任务。其中，叠盒封胶任务成功率超90%，系行业首次由通用具身大模型完整实现。该突破得益于其创新的分层式双系统架构，打通了任务理解、规划与连续执行的闭环。测试显示，模型整体准确率达92%，在长程策略控制、技能泛化及跨设备适配等方面优势显著。此次成果不仅验证了模型在动态扰动恢复上的卓越能力，更为多形态机器人迈入真实岗位与规模化部署构建了统一的智能底座。

7月16日，Linux创始人Linus Torvalds发文回应社区AI争议，重申Linux内核绝非“反AI”项目，并放话：“无法接受就fork或离开！”近期AI审查工具Sashiko引发争论，部分开发者主张允许拒绝AI审查。Linus反驳称，AI如同Git一样是实用工具，质疑者多因未真正使用。他坦言AI虽有瑕疵，但批评者应“先照照镜子”，毕竟人类智能也不完美。Linus强调，Linux是纯粹的技术工程项目，决策应基于技术价值。相较于2024年10月视AI为“营销炒作”，如今他的态度已显著转变，明确认可AI在内核开发中的实际效用。