「自动定理证明」共找到 910 篇相关文章
DeepMind夺得IMO官方「唯一」金牌，却成为OpenAI大型社死现场
谷歌DeepMind宣布其Gemini进阶版模型在IMO竞赛达金牌水平，解决五道超高难度试题，首次证明AI仅靠自然语言理解就能攻克复杂数学难题。其谨慎发布方式获赞誉，与OpenAI形成鲜明对比。
综述：LLM 驱动AI Agent通信协议与策略
文章指出传统互联网用户完成行程繁琐，而代理互联网可让代理自动完成。随着LLM驱动智能体应用深入，其发展专业化，需多智能体协同，有效通信成关键。介绍了智能体通信定义、分类及多种通信协议。
AICon上海演讲精华回顾：《GMI Cloud 全球化高性能分布式推理服务构建实践》
AICon2025上海站，GMI Cloud资深架构师Frank Lee分享《GMI Cloud全球化高性能分布式推理服务构建实践》，介绍其推理平台，拆解扩缩容等能力，分享架构设计、部署及优化实践，揭秘推理提效关键路径。
RSI离我们有多远？这家中国团队给出了第一梯队的工程解
目前行业探讨大模型的RSI时，常陷入思维定势。EvoMap团队没有盲目跟风，而是提出极具现实意义的工程新路径，构建自进化智能体，让经验在网络流转，还以硬核数据证明其体系有效性。
Ben Thompson：Agent会下单之后，Amazon 和 Shopify 活得更好了
大家以为AI会重构电商，可ChatGPT的checkout功能未成功，Shopify、Amazon等电商平台仍活得好。分析师Michael Morton指出，AI改变产品发现入口，但难抹平支付等环节，品牌官网因AI获更多流量。
看完智平方创始人郭彦东的这场演讲，我对 VLA 又有信心了
2026年具身智能赛道技术路线引争论，“VLA时代终结”论调扩散。智平方创始人郭彦东演讲回应，称VLA时代未终结，世界模型汇入VLA，关键变量是类脑架构，智平方技术成果和开源平台也证明VLA有生命力。
FlowUs 创始人创立 Kollab，要为 AI 构建团队大脑
AI 从对话框向 Agent 等形态演变，完成单个任务能力增强，但工作场景中仍有协作断裂问题。Kollab 产品想解决此问题，让任务在组织自动流动，切中 Team - level AI，有共享工作空间等 4 个层级。
Anthropic冲塔ASI自进化，要做全球操作系统！Claude OS一刀砍向6.4万亿帝国
Anthropic野心勃勃，开启ASI自进化，目标打造全宇宙最强AI操作系统Claude OS，欲抢夺苹果微软6.4万亿市值。Claude可控制电脑，多项功能上新，还推出自动模式，且营收增长快、客户结构优化，离ASI越来越近。
GitHub 狂飙 2.5 万标星，这款「会自愈」的 Python 爬虫框架杀疯了！
GitHub上爆火的Scrapling项目，是自适应Web爬虫框架。它能让爬虫‘学习’和‘适应’，解析器可自动定位元素，请求器能绕过反爬系统，性能强且支持多种会话类型，还能与AI工具集成。
不同灵巧手，终于可以共用「一套大脑」了
北卡罗来纳大学教堂山分校团队提出 One Hand to Rule Them All，构建统一描述空间，使不同灵巧手共享动作表达与策略结构。该方法解决跨手泛化难题，实验证明其在多方面有效，有望推动机器人操作研究发展。