「可验证推理」共找到 6130 篇相关文章
GitHub 2.5万星！日本开发者打造的Hono火了：定义后React时代微框架的轻量未来
本周，Web 框架 Hono 在 X 官宣，GitHub 获 25000 星标。它由日本开发者 Yusuke Wada 于 2021 年创建，基于 Web 标准，可在多运行时运行，或指明后 React 时代 Web 框架方向。
Agent 狂欢热潮下的冷思考：为什么规模化落地总是陷入僵局？
Agent热潮下企业规模化落地遇阻，因其与传统AI应用不同，面临弹性、运维和治理挑战。腾讯云Agent Runtime围绕Agent生命周期构建基础设施，覆盖两大核心场景，已获批量验证。
上下文窗口限制被打破：Subquadratic推出了一个1200万Token的窗口
2026 年前沿模型宣传至少 100 万 Token 上下文窗口，但利用不佳。Subquadratic 推出能处理 1200 万 Token 窗口的模型，称可绕过问题，还将推 5000 万窗口模型，其 SSA 架构有优势，基准测试成绩佳。
狂揽24k+ star，Web 开发效率快5倍！
传统浏览器调试工具操作繁琐、效率低，难以满足开发者需求。开源工具`Responsively App`基于Electron构建，可同时展示多设备视图，有交互同步等功能，获24k+ star，支持多系统，安装便捷。
马斯克惊叹！DeepSeek和Kimi先后出手，捅破了Transformer的「潜规则」！
文章介绍了DeepSeek和Kimi在残差连接上的突破。DeepSeek让连接权重可学习，用数学约束保证稳定性；Kimi将注意力机制用于层间连接，解决了更根本的问题，性能提升显著。
养虾时代终结？免部署、7×24小时在线、自进化的“赛博骡子”来了！
全球首个自进化个人AI——MuleRun（骡子快跑）正式发布，免部署、7×24小时在线、可自主进化。它适配个体需求、实现群体智慧共享，能完成多类任务，还保障安全、提供售后。
大模型幻觉的源头找到了！清华团队锁定大模型宁愿说谎也要讨好人类的神经元
清华大学研究团队深度解剖大语言模型微观机制，确认幻觉关联神经元存在，揭示其与过度服从行为相关。通过干预神经元激活状态可增减模型幻觉行为，为开发可靠 AI 系统提供靶点。
让 AI 像真人一样操控手机完成各种复杂任务
MobiAgent是强大的移动端智能体系统，含智能体模型家族、加速框架、评测基准。能让AI像真人操控手机完成复杂任务，提供开箱即用App，内置经验检索模块可自动优化规划。
视远·正心明智——机器之心2025年度AI榜单正式启动
2025年人工智能浪潮奔涌，大模型快速迭代，催生新应用形态，中国AI发展精彩。机器之心精心策划2025年度榜单，涵盖最强技术实力企业等多个类别，有意企业可扫码申报。
爆冷！字节Seed 在CCPC 决赛只做出一道签到题，而DeepSeek R1 直接挂零？
第十届 CCPC 举行，字节 Seed 携 Seed - Thinking 参赛，结果意外，仅做出一题，DeepSeek R1 挂零。不同模型架构表现差异不大，暴露出大模型做算法题短板，推理模式表现更好。