「工业代码大模型」共找到 8892 篇相关文章
刚刚，OpenAI成立独立数学顾问团！100+「已攻克」开放问题待审
OpenAI内部AI模型已解决超100道横跨多领域的长期开放数学问题，包含纳维-斯托克斯千禧年大奖难题。因AI出成果速度远超学界评议能力，OpenAI联合学界成立独立顾问团审查评估成果，回应数学界质疑。
Spec 退场，skills 上位：Codex 团队的产品方法论变了
文章介绍了OpenAI Codex团队产品方法论的变化，从重视spec转向skills，开发从“描述过程”转向“组织能力”。还谈及Codex app开发、团队协作等，指出模型变强后工作模式转变，职业边界模糊，团队招人看重主动性。
刚开源就斩获 3.8K Star！MiniMax 官方把压箱底的硬核技能包开源了！
MiniMax 官方开源 Skills 仓库，这是一套为 AI 编码助手设计的开发技能包。涵盖前端、全栈、Android、iOS、图形开发及办公等多领域，按流程走可让 AI 代码质量对标大厂资深工程师，安装也简单。
Cursor：AI编程「第三时代」来了
近日，Cursor CEO Michael Truell 称 AI 编程迈入「第三时代」，特征是 Agent 能在少人工干预下完成大规模任务。Cursor 核心转变，内部超 1/3 代码提交由云端智能体创建，团队预计多数开发工作将由其完成。
The Batch: 893 | 从预测到执行
2026 年 AI 研究应认识到能预测的模型不等同于能行动的系统。过去十年在被动预测和生成建模成就非凡，但现实任务需系统执行一系列动作。转向长周期任务和目标导向 AI 系统有两大好处。
IMO怒斥OpenAI自封夺金，“91位评委均未参与评分”，网友：炒作无下限
OpenAI宣称新模型获IMO金牌不到24小时剧情反转，多位官方人士和大佬指其做法“粗鲁且不恰当”。其“金牌”成绩或站不住脚，未与官方合作，无评委参与评估。此事引发学术道德和商业炒作争论。
B站下场自研AI配音！纯正美音版甄嬛传流出，再不用看小红书学英语了（Doge）
B站发布TTS模型IndexTTS2，亮点是实现时长控制时再现符合Prompt的情感特征，支持两种生成方式，经测试多项指标达SOTA。它由三核心模块组成，还可能是代号H的AI创作工具一环。
阿里的 AI IDE 登场了，这事绝对有戏
阿里云正式发布通义灵码的AI原生IDE：Lingma IDE，免费开放，核心功能和Cursor对齐且速度更快。其整合Qwen、DeepSeek系列模型，有感知引擎等亮点，还有企业版适合国内公司。AI编程竞争激烈，阿里有机会做成。
谷歌AI获IMO“唯一金牌”，硅谷夹道祝贺，奥特曼丢人又丢人
谷歌Gemini新模型获IMO官方认证金牌，用时4.5小时答对5道题，成绩获主席肯定。该进阶版搭载新思考模式，后续开放给订阅用户。这与OpenAI参赛情况形成鲜明对比，OpenAI遭质疑，研究员回应未获网友完全认可。
用DeepSeek网页版就能瓜分鹅厂600万？？！
腾讯营销以KDD Cup 2026官方赛道身份出题，聚焦推荐系统统一建模，奖金600万+。全球众多选手参与，学术和工业赛道各有冠军方案，还设创新奖。赛事也推动了鹅厂人才培养体系的拓展。