搜索：规范驱动开发

「规范驱动开发」共找到 2162 篇相关文章

超强开源模型Qwen3、DeepSeek-V3.1，都被云计算一哥「收」了

亚马逊云科技两大AI平台支持多款新模型，Qwen3和DeepSeek-V3.1已上线Amazon Bedrock。其坚持“Choice Matters”战略，为用户提供多样选择，保障数据安全，还可基于开源模型定制开发。

文章揭秘 OpenAI 内部使用 Codex 的情况，介绍其在理解代码、重构迁移、性能优化等多方面的应用场景，还给出最佳实践，如用‘提问模式’开始、组织好提示等，展现了 Codex 强大的开发辅助能力。

谷歌研究人员对驱动 Gemini AI 助手的模型进行一年研究，发现处理一个提示的环境影响小。其能耗、水耗和温室气体排放量远低于此前估算，2024 - 2025 年处理中位提示时能耗、排放大幅降低。

曾经放言“给大陆赏饭吃”的郭台铭，因工业富联市值突破万亿，再次被大陆资本市场推上中国台湾首富宝座。工业富联在AI算力基础设施领域表现抢眼，其AI服务器业务成增长主力。郭台铭海外投资受挫后回归内地，推动公司转型。

在AI图像生成领域，风格和主题驱动的图像生成一直脱节。字节跳动智能创作实验室推出USO模型，构建海量数据集，设计两阶段训练法，引入风格奖励学习范式，化解此难题，且已全面开源。

OpenAI举办GPT - 5黑客马拉松挑战赛，95支队伍角逐5万美元奖金。韩国Gentoo团队夺冠，其用GPT - 5开发系统助力商家营销。此外，还有团队将GPT - 5用于时尚、电子表格、知识学习、电脑使用、电网决策等场景。

在「代码后稀缺时代」，Karpathy分享AI辅助编程体会。他认为不同工具各有优劣，Cursor适合日常开发，Claude Code与Codex能完成大块功能但缺「品味」，GPT - 5 Pro是攻克顽固bug的最后防线。

波士顿动力为Atlas人形机器人训练全新大型行为模型LBMs，它是语言指令驱动的策略模型，能完成复杂操作任务。构建模型有四步骤，实践遵循三大原则，还展示了其多方面操作能力与特点。

X 用户“刘小排”认领月耗 5 万美元 Claude Code token。他靠 AI 年入近千万，用 AI 开发产品，还分享找需求、做产品等经验。他认为 AI 是长期机会，能放大个人能力。

传统理论认为大模型会过拟合，而如今大模型却驱动了诸多应用。2019年研究者突破传统扩大模型规模，出现‘双下降’现象。‘彩票假说’解释其成功原因，还重新定义了‘智能’，揭示科学进步规律。