「Grok Code Fast 1」共找到 2718 篇相关文章
神秘霸榜模型现真身：小米MiMo-V2 Pro，国内首个万亿参数+1M上下文，为Agent而生！
小米全新一代面向 Agent 的大模型家族官宣，包括 MiMo-V2-Pro Preview、MiMo-V2-Omni 和 MiMo-V2-TTS。MiMo-V2-Pro 性能优异，在多场景实测表现出色，技术有创新，API 开放且定价低，已融入小米多业务与生态。
加速200倍，单显卡1.8秒生成5秒高清视频！清华与Vidu解开了视频扩散模型的速度枷锁
清华、生数科技与伯克利联手用TurboDiffusion解开视频扩散模型速度枷锁。它改造注意力机制、引入步数蒸馏和量化策略，在多模型测试中加速100 - 205倍，且画质几乎无损。
一句话搞定后端？揭秘被 52.1k 开发者选择的 PocketBase：真能让你 0 运维快速上线产品吗？
PocketBase是“把后端打包成一个文件”的开源项目，既可以作为独立的轻量后端服务直接运行，也能作为Go库嵌入到应用中。它能解决团队做MVP等遇到的痛点，有诸多核心功能和技术优势。
阿里 Qwen 又双叒发模型，继基础、编程模型后，最强推理模型 Qwen3 Thinking 登场，击败Gemini 、R1？
阿里通义千问发布最强推理模型 Qwen3-235B-A22B-Thinking-2507，逻辑、通用技能等能力更强，原生支持 256K 上下文。此前已发布基础和编程模型，Qwen API 在 OpenRouter 表现佳，受社区关注。
视频生成1.3B碾压14B、图像生成直逼GPT-4o！港科&快手开源测试时扩展新范式
香港科技大学联合快手可灵团队推出 EvoSearch 方法，支持图像和视频生成。该方法无需训练和梯度更新，能提升模型生成质量，展现了 test - time scaling 补充 training - time scaling 的潜力，目前论文和代码已开源。
二十年老牌 IDE 栽在 AI 上？JetBrains 被差评逼疯批量删除评论，用户怒打 1 星抗议
JetBrains的AI助手插件下载超2200万次，但评分仅2.3分。用户不满其自动安装、速度慢、bug多等问题，负面评论被批量删除引发抗议。公司虽推出免费套餐和新AI智能体Junie，但仍面临成本、竞争等难题。
Anthropic嘲讽奥特曼：我们从不玩 “红色警报”！CEO放话：Claude更赚钱！流量仅GPT 1%敢冲3500亿IPO？
Anthropic正筹备上市，估值或超3000亿美元。其CEO透露营收情况，嘲讽OpenAI“红色警报”，称Claude更赚钱。公司聚焦企业市场，还探讨了行业困境、IPO对标及应对“技术性失业”策略。
Github 1.8k star Skyvern：AI直接接管鼠标键盘，3行API干掉你写了3年的脆弱XPath脚本！
Skyvern是开源AI浏览器代理，结合LLM和计算机视觉，自动执行浏览器业务流程。它用简单API复刻人工操作，替代传统脚本，解决脚本脆弱、流程复杂等痛点，功能丰富，技术优势明显，适合多业务场景。
1.7K Star 新晋神器！一款轻量、开箱即用的终端日志神器，AI 助力、实时可视化，效率飞升！
现在系统日志信息量大、噪声多，传统工具定位问题既慢又麻烦。而开源工具Gonzo基于Go语言开发，有实时日志流处理、交互式仪表盘等功能，安装简单，打破传统工具局限，节省时间。
GPT-5编程测评大反转！表面不及格，实际63.1%的任务没交卷，全算上成绩比Claude高一倍
Scale AI的新软件工程基准SWE - BENCH PRO测试中，‘御三家’表面解决率低。深入看，GPT - 5已提交任务准确率比Claude高一倍。该基准新题多、更复杂，能真实考验模型能力，当前模型解决商业问题能力有限。