「可验证计算」共找到 5058 篇相关文章
刚刚，OpenAI新Transformer火了！Astra架构首次曝光
OpenAI下一代Astra采用「循环深度」推理方法，思考Token减少但性能提升，不过其思考过程难监控。此前业界已对「循环Transformer」有研究，该架构适合数学编程任务，Astra实力获验证，GPT - 6或即将发布。
不只DeepSeek，阶跃等开源JetSpec：大模型解码提速近10倍
近期，DeepSeek 推出 DSpark，阶跃星辰提出 JetSpec，都关注大模型推理效率。DSpark 关注验证效率，JetSpec 提高有效 Token 生成率。二者切入点不同，但都显示大模型行业进入新阶段，推理效率成 Agent 落地基础变量。
中国九章4.0量子计算机再破世界纪录，比超算快10的54次方倍
中国科学技术大学潘建伟院士团队在Nature发表论文，展示九章4.0量子计算机，它用光子计算，在解决高斯玻色取样问题时比超算快10的54次方倍，还攻克两大核心技术，有重要应用潜力。
武大文科教授硬核跨界AI：半年项目量猛涨4000%，重构AI图表生产力
武汉大学王琼教授团队推出全球首个AI图表智能体“爱图表”，解决AI做图表的行业痛点。它不止生成，更可深度编辑，实现从“模板驱动”到“内容驱动”转变，秉持“白盒”理念，商业价值爆发。
AGI只是硅谷的幻想？！AI科学家盛赞中国，并从物理学角度宣告我们永远造不出AGI
AI科学家Tim Dettmers在博客文章中指出，计算须遵循物理定律，线性进步要指数级资源，硬件升级红利已尽。他认为美国追求AGI和超级智能不切实际，中国重应用普及更务实，AGI难以实现。
用 AI 开发网站？这个 MCP 必装，Next.js 原生 MCP 已上线！
Next.js官方发布了自己的MCP，具备自动化调试等诸多功能，能增强代理在该框架下的开发能力。它可集成Playwright MCP，查询文档和最佳实践等，还说明了使用流程、提问方式及原理。
谢赛宁新作：VAE退役，RAE当立
谢赛宁团队研究表明VAE时代结束，RAE将接力。RAE是用于扩散Transformer训练的新型自动编码器，能提供高质量重建结果，有语义丰富潜空间，支持可扩展架构，收敛快，在ImageNet图像生成效果强劲。
谷歌开源新Deep Research范式，教Agent学会真正的思考。
周末谷歌发博客讲Deep Research，它重新定义一些Agent常见范式。现在多数Agent模式缺全局观，谷歌让AI先打草稿再迭代修正。新框架含技巧，在多任务上超OpenAI，已可试用。
我去，还能这么玩？AI新宠DocExt：纯本地文档抽取，开源免费还无依赖！你还在为OCR头疼吗？
DocExt 是 Nanonets 开源项目，为全流程无 OCR、零云依赖的本地文档结构化提取工具，适用于多种文档类型，支持字段与表格识别。它零 OCR 误差小、可本地部署，还能灵活接入模型。
Meta Shuffling的MoE Grouped GEMM kernel benchmark
作者拷贝fbgemm开源的moe grouped gemm kernel，修复小bug后与SGLang的Grouped GEMM Triton Kernel对比，结果显示fbgemm在MoE模型上性能提升显著，可应用到SGLang的ep - moe的grouped gemm kernel中。