「规格驱动开发」共找到 2101 篇相关文章
谷歌IMO金牌模型可以用了！推理性能秒了o3、Grok 4
谷歌拿下IMO金牌的模型Gemini 2.5 Deep Think已在Gemini App推出，速度更快、实用性更强。该模型仅对Ultra订阅用户开放，月费约1803元。其推理性能超o3、Grok 4，有迭代开发等优势。
AI遭遇灵魂拷问！这道题所有模型集体翻车，网友：我也不会啊
图像推理现新难题，在Reddit引发热议，目前无AI能真正解决。国内外支持图像输入的大模型答案不同，原因是对大立方体规格理解不同。结合提示多次尝试，部分大模型能找准方向，人类面对该问题也会困惑。
告别“对讲机”时代：面壁智能给 AI 装上了“神经末梢”
2026 年初，OpenClaw 等开源项目让 Agent 概念爆火，但存在延迟、隐私等问题。面壁智能发布 9B 小模型 MiniCPM - o 4.5 和硬件开发板松果派，解决 AI 本地运行痛点，推动其从云端到端侧进化。
OpenAI发布GPT-5.1 Codex Max，编程能力比Gemini 3更强、更持久
为换回注意力，OpenAI紧急发布GPT - 5.1 Codex Max。它在编程测试中表现优于Gemini 3 Pro，还实现24小时项目级开发。引入自动压缩与扩展推理改进，效率提升，现已多途径可用，API访问将开放。
终于，TRAE SOLO全量开放，我们用它复刻了PewDiePie的大模型智囊团
2025年AI Coding赛道上，TRAE是国产AI IDE代表作。7月其SOLO Beta版反响好，如今正式版全量推送。它定位为‘具备响应感知的编程智能体’，新增功能，还限时免费体验，实测显示开发能力强。
Code2Video：全新AI教学视频生成框架，助力高质量教学
生成式模型在生成专业教育视频时受限，新加坡国立大学Show Lab提出Code2Video框架，以代码为中心，由三个协作智能体组成，能通过Python代码自动生成高质量教育视频，代码驱动生成优势明显。
“10周的工作量，AI只用4天！”Anthropic发布会全程实录：你引以为傲的复杂工程，在模型眼里只是个玩具
Anthropic举办‘Code w/ Claude’开发者大会，指出AI模型能力呈‘指数级’增长，多数企业开发模式却停留在‘线性’阶段。大会祭出三大杀手锏，包括更强底层模型、Claude Platform代理编排能力和Claude Code桌面端。
第一名方案公开，代码智能体安全竞赛，普渡大学拿下90%攻击成功率
亚马逊举办代码智能体安全比赛，普渡大学团队 PurCL 作红队以超 90% 攻击成功率夺冠。他们耗时八月、花百万美元开发全过程红队系统并开源，还发现当前 AI 安全研究在复杂领域对齐有挑战。
英伟达H20，一个备胎的命运
8月22日消息称英伟达暂停H20芯片生产。H20自2023年底推出就备受争议，性能阉割、或有“后门”等问题不断。英伟达忙着开发新芯片，H20不到两年或“寿终正寝”，本文以其口吻写自白信。
Sora 2刷屏全网：拍《瑞克和莫蒂》、过物理测试，太棒了
OpenAI推出的Sora 2刷屏海外，能完成以往视频生成模型极难实现的任务，在物理准确性、逼真度和可控性上有重大提升。它还能进行二创、模拟电脑操作等。OpenAI发布由Sora 2驱动的社交APP，强调促进创作，保障安全。