行业资讯

OpenAI最新推理模型成功独立推导出困扰数学界近八十年的埃尔德什猜想证明，创造了一套全新的构造体系。多位数学家验证确认证明确由模型独立完成，被视为AI在纯数学领域科学发现获得学界认可的标志性事件。

OpenAI推出基于GPT-5.2的新一代Codex模型，聚焦专业软件工程和防御性网络安全，在SWE-Bench Pro测试中刷新纪录。

通义实验室发布Qwen3.7-Plus多模态智能体模型，深度融合视觉能力。基于该模型的Hybrid-Agent系统连续稳定运行11小时以上，自主完成英语单词学习APP完整研发闭环，累计生成超10000行代码。

LlamaFactory正式发布v0.9.5，新增Qwen3.5、Qwen3.6、Gemma4主力支持，完成Transformers v5兼容适配，v1训练栈持续补强。

阿里通义千问团队开源混合专家(MoE)模型Qwen3.6-35B-A3B，总参数35B激活参数3B，主打轻量高效与智能体编程能力，在编程基准上超越前代，原生支持多模态思考与非思考模式。

阿里通义实验室正式发布Qwen3.7-Plus多模态智能体模型，在Qwen3.7文本与Agent能力基础上深度融合视觉能力，实现GUI操作、CLI调用、代码生成与自我验证的端到端闭环。实测中Hybrid-Agent系统连续运行11小时以上自主完成APP完整研发闭环，累计生成超10000行代码。已上线阿里云百炼平台提供服务。

台积电与英伟达深化技术合作，将GPU加速计算平台与AI解决方案全面应用于半导体制造全流程。计算光刻效率提升使生产周期缩短20%-50%，缺陷检出率提升至99.99%以上。

北京通用人工智能研究院联合北京大学团队开发「通矩」模型，仅需单张消费级显卡即可在最多38分钟内解决2000年以来所有IMO几何难题。团队创新引入「规范化表示」技术，将搜索空间压缩数个数量级，通过价值函数模拟人类数学审美，实现从「模仿解题」到「自主创造」的范式转变。

深圳河套学院联合哈工大(深圳)、华为等单位，依托昇腾910C国产AI算力集群，完成1.6万亿参数DeepSeek-V4-Pro全流程训练，为业界首个由第三方机构基于国产算力集群完成的DeepSeek-V4-Pro全参数后训练工程实践。

英伟达推出Cosmos 3，全球首款全开源全模态物理AI大模型，融合视觉推理、世界生成与动作预测。