「可验证计算」共找到 5155 篇相关文章
32B 稠密模型推理能力超越 R1？中国秘密 AI 团队发布推理小模型 AM-Thinking-v1
2025年，国内神秘A - M - team在Hugging Face开源32B推理模型AM - Thinking - v1。它在多推理评测中击败DeepSeek - R1，与超大规模模型成绩相当。团队靠后训练方案挖掘32B模型潜力，探索小体量实现大能力路径。
8秒极速生成！复杂场景图像定制低成本轻松驾驭，已开源丨字节北大联合发布
字节跳动与北大联合推出支持多条件组合的统一图像定制化生成框架DreamO，能实现主体、身份等多样化定制。与商业大模型比，它开源、成本低、速度快，8 - 10秒可完成图片定制。
本周推荐的6个超级6的Github开源项目！
本文推荐6个Github开源项目。有Git效率神器Lazygit、美团前端日志系统Logan、解密工具Ciphey等，各项目功能强大，如Lazygit操作便捷，Logan可助定位端上问题，Ciphey能一键解密。
用AI把一段视频变成可视化网页，Google的新模型又卷飞了。
Google将Gemini 2.5 Pro更新为05 - 06版，此版代码能力在WebDev Arena盲测竞技场登顶，还提升视频理解能力，可将视频变成可视化网页，虽产品有不足，但模型进步值得肯定。
苹果与Anthropic合作，开发AI编程助手
彭博消息，苹果与Anthropic合作，为Xcode打造AI编程助手，集成ClaudeSonnet大模型，可自动完成代码编写等工作。现处内部测试，若顺利将向第三方开发者发布，有望改变苹果平台应用开发方式。
七校联合开源OpenWAM：机器人的「世界模拟器」来了
来自新加坡国立大学、清北等七所高校的研究团队，开源面向世界动作模型的全栈研究基础设施与基座OpenWAM，拆解核心问题，通过实验总结出高性能WAM构建原则，已通过仿真与真实机器人验证。
拆解爆火的 JEV（上）：10 分钟看懂这款 Agent 的高速“协处理器”。
本文拆解硅谷近期爆火的JEV模型，讲解其作为Agent专属高速决策模型的定位、核心原理、实际调用案例，分析其优势与现存不足，帮助开发者快速了解这款新兴工具。
Linux Foundation CEO：AI 史上最大投资潮背后，真正托底的是开源
本文整理了Linux Foundation CEO Jim Zemlin在华为HC2026大会的演讲，揭秘AI大规模投资潮背后的技术底座，分析开源的商业价值，呼吁企业参与开源生态建设。
AI 终于看懂了 ？5.4K Star Lieflat Charts～～～～
本文介绍获得5.4K Star的开源AI图表工具Lieflat Charts，该工具将图表选择、设计规范、真实性校验等环节融入Agent工作流，解决AI生成图表不符合阅读需求的痛点，明确了适用场景。
OpenAI总裁：AGI时代来了！GPT-6已能自主干活24小时
本文报道OpenAI总裁Greg Brockman在a16z访谈中的发言，Brockman宣布已进入AGI时代，介绍GPT-6的能力跃升，分享OpenAI在AGI发展、AI安全对齐等方面的最新判断与动作。