「自动定理证明」共找到 910 篇相关文章
对我来说，Claude Code 就是 AGI
作者分享项目中配置 Google Cloud Pub/Sub 服务的经历，以前手动或借助 ChatGPT 操作繁琐，现在用 Claude Code，只需描述问题，它就能自动完成分析、操作、验证等，作者认为其某种程度算 AGI。
张益唐孪生素数猜想，被GPT-6破新纪录! 北大数学07级苏炜杰：很震撼
2026年9月3日，OpenAI宣布GPT - 6将孪生素数问题最好上界推进到186，打破陶哲轩保持十二年的纪录。此前Julia Stadlmann推到240，Axiom Math压至212。GPT - 6展现数学直觉，证明经Lean 4验证。
超越纯视觉模型！不改VLM标准架构，实现像素级深度预测
Meta开源DepthLM，首证视觉语言模型不改架构，也能媲美纯视觉模型的3D理解能力。它通过视觉提示等策略，解锁VLM多任务处理潜力，为自动驾驶等领域带来前景。
机器狗能当羽毛球搭子了！仅靠强化学习从0自学，还涌现出类人回位行为 | Science子刊
苏黎世联邦理工学院团队让机器狗靠强化学习学会打羽毛球，开发全身视觉运动控制策略，使其最高挥拍速达12米/秒，还涌现类人回位行为，研究证明足式机器人在体育场景应用可行。
录音笔的终结者，还是AI时代的又一个“美丽废物”？深度体验出门问问TicNote
作者体验出门问问AI硬件产品TicNote一个月，称其超薄超轻，有双模式录音功能，解决手机录音痛点。软件强大，支持多语种和方言，能自动总结，还可拓展内容。价格有两档，适合多类人群。
不愁了！开源智能体Paper2Poster「一键生成」学术海报
2025年5月，滑铁卢大学等团队发布Paper2Poster系统，用大模型将论文自动生海报。它提出PosterAgent多智能体方法，分解析、规划、绘制优化三阶段，生成效果好且开源，不过也存在效率和创意不足问题。
医疗大模型的中国战局：谁在打，打到哪了
中国医药AI赛道已有三家公司上市，是大模型赛道唯一跑通商业化闭环的方向。介绍了各梯队企业情况，分析百川智能技术领先但商业化待证明，还对2026年医药AI赛道给出关键判断。
AI学会左脚踩右脚自进化？Meta华人新研究改写Agent法则
Meta华人学者Jenny Zhang联合多机构研究者提出新智能体框架HyperAgents（DGM - H）。它打破任务能力与自我改进能力需对齐的局限，能跨任务自我改进，还自动生成基础设施，或改写Agent竞争规则。
让欧美老外彻底“真香”，这家中国割草机器人品牌正在定义一个行业新标准
在CES 2026上，未岚大陆发布割草机器人五大新品，呈现“Navimow标准”体系。其新品实现免部署自动建图，用EFLS™ LiDAR⁺三重融合定位系统应对复杂环境，以Xero - Turn™方案解决伤草问题，定义行业新标准。
蛰伏三年，前大疆员工做了款消费级纺织机，拿下红杉、顺为、米哈游等数亿融资｜产品观察
浪爪智能创始人胡文鑫出身大厂，却投身家用纺织机赛道。公司已获数亿融资，2024 年推出自动簇绒枪，还打磨消费级纺织 Station 平台，即将发布新品并搭建社区。团队解决诸多技术难题，满足不同用户需求。