「形式化验证系统」共找到 2427 篇相关文章
告别盲目卷参数！科大讯飞1024亮出底牌：all in“更懂你”
在模型能力趋同当下，科大讯飞在1024开发者节提出让AI“更懂你”。展示多模态超拟人“小飞老师”和「百变声音复刻」功能，发布星火X1.5大模型，还推出多领域软硬件产品，赋能多行业。
谁杀死了那篇好论文？AI顶会乱象：好文被刷，低分论文捧上天
一位AAAI 2026审稿人在Reddit匿名爆料，称评审流程乱象丛生，好论文被拒、弱论文晋级，还有疑似“关系稿”。AAAI启用AI辅助审稿系统，本意提升效率，却让评审更不可控，侵蚀学术信任。
AI编程上瘾指南，一天不用浑身难受
本文是腾讯程序员近2个月AI编程经验总结。介绍了AI编程战略价值、研发范式转变，以CodeBuddy为核心的编程方法，AI×SDLC方法论，通过三大场景实践展示其应用，并分析边界局限，最后强调组织人才发展重要性。
LightMem用3招重新设计了LLM的记忆，结果出乎意料
LLM在超长多轮对话中有上下文窗口有限、记忆系统昂贵的痛点。LightMem借鉴人类记忆机制，用三招重新设计LLM记忆，实验显示其准确率超基线，还降低token使用量、API调用和运行时间。
智能体系统如何「边做边学」？斯坦福团队探索在线优化的新范式
斯坦福等校团队提出 AgentFlow 框架及 Flow - GRPO 算法，让智能体系统能「边做边学」。它由多个智能体模块协作，在多领域基准测试中表现出色，小模型也能超越大模型，为智能体训练提供新思路。
智源开源EditScore：为图像编辑解锁在线强化学习的无限可能
北京智源研究院团队发布 EditScore 高保真奖励模型系列，为图像编辑强化学习提供精确奖励信号。团队提出两步解决方案，开发出 EditScore 系列模型，其在多方面表现优异，还验证了两大应用场景，有深刻研究洞见。
薛定谔亲外孙创业量子计算，老黄早早就成了股东
PsiQuantum由薛定谔外孙参与创办，获10亿美元巨额融资，欲2028年造百万比特级量子计算机。其量子比特基于光子，有生产优势，不过纠错能力待验证。公司团队学术背景强，项目多为政府大单。
Figure 03重磅发布！指尖能感知回形针重量，年产1.2万台，这次要让人形机器人走进千家万户
Figure AI公司发布第三代人形机器人Figure 03，专为Helix、家庭和大规模应用设计。它有全新传感与手部系统，能感知回形针重量，还做了安全、易用设计，实现低成本量产，适用于家庭和商业场景。
一篇大模型Agentic框架到应用最新综述
这是首篇系统拆解“大模型Agentic推理框架”的综述，不聊训练，只聚焦如何把LLM组织成会思考、协作、调工具的Agent，横跨科学发现、医疗、软件工程、社会经济模拟四大战场，给出统一语言、视角和评测。
用 Docker 跑大模型训练，Unsloth 解决了环境配置难题
Unsloth AI 发布 Docker 镜像版本，解决本地训练大模型环境配置难题。拉镜像就能训练，依赖和示例 notebook 都打包好。使用简单，不过有暂不支持 Mac 系统等限制，单卡 NVIDIA GPU 场景较适用。