「可验证推理」共找到 6184 篇相关文章
刚刚，中国AI交卷！40年难题56分钟破局，AI不再「学习」
文章介绍AI科研应用新趋势，从学习已知知识转向搜索未知解。以百度‘伐谋’为例，它助力南京林业大学检测松材线虫病，还在多学科和产业场景中展现价值，百度还启动科学家计划推动其发展。
终于！Linux用户等来了官方ChatGPT桌面版
今日凌晨，OpenAI 宣布适用于 Linux 的 ChatGPT 桌面应用进入预览阶段。此前其原生 AI 能力在 Linux 长期缺位。用户可在特定 Linux 发行版中用三件套处理工作，虽兼容有限也是好开端。
揭示扩散语言模型扩展定律，人大高瓴团队与蚂蚁集团发布LLaDA MoE v2
中国人民大学高瓴人工智能学院与蚂蚁集团合作，首次系统刻画混合专家扩散语言模型扩展定律，据此训练LLaDA MoE v2，实现扩展效率与智能双重突破，将推动其迈向规模化时代。
你觉得 Kimi K3 又慢又贵是吧，我来告诉你为什么
作者用 Kimi K3 为墨问的 CatReader 增加发现页，实操中它多数时候快且抗用，不过周五晚变慢，收尾工作交给了 GLM 5.2。对用户觉得 K3 又慢又贵的问题进行分析，还区分了 Kimi App 和 Kimi Code 使用场景。
2026「中国 AGI 创新影响力机构 TOP 30」发布
过去一年 AI 行业变化溢出模型层，Coding Agent 铺开，视频生成实现商业变现，具身智能供应链成型。Founder Park 从四维度选出「中国 AGI 创新影响力机构 TOP 30」，涵盖多领域团队。
英伟达和AMD，开始争夺AI制药的计算入口
每年的 Advancing AI 大会，AMD 都要回答 Instinct GPU 除训练大模型外的应用问题。今年大会上，AMD 把一个位置留给 AI 制药公司 MindWalk。而其对手英伟达已在生命科学领域布局多年，生命科学成两家竞争新战场。
超 2 万人收藏！配一次 MCP，Claude Code 和 Cursor 都能用！这个开源项目火了！
OpenWork是开源AI编程工作区平台，是Claude Cowork开源替代品。它能让不同AI Agent共享技能等，有跨工具工作流共享、可视化审计等亮点，还给出四种快速上手方法。
100亿美元！AI时代最闷声发财的两家公司，要合并了
《华尔街日报》报道，支付公司Stripe正与AI初创公司OpenRouter谈判收购事宜，价格达100亿美元。OpenRouter是全球规模最大的AI模型聚合平台，Stripe为科技公司提供底层金融服务。此次收购将扩展Stripe业务至AI生态。
今天，「空间原生」时代正式到来！
6月8日，工信部和国资委要求机器人年底从「表演模式」转向「作业模式」，但现有模型空间感知能力不足。今天蚂蚁灵波发布 LingBot - Depth 2.0，开源 LingBot - Vision，其采用「空间原生」路线，训练高效且表现亮眼。
Loop Engineering 实战：实现从日志扫描到预发部署的全自主闭环
文章分享 Loop Engineering 实战经验，指出传统维护循环存在看不见、记不住、没闭环问题。介绍了从 Prompt 到 Loop 的四代 AI 工程化范式，阐述 Loop 原理、组件及落地实践，还提及范式迁移和踩坑教训。