「机器证明」共找到 678 篇相关文章
刚刚，Yann LeCun官宣离职创业，瞄准高级机器智能AMI
图灵奖得主Yann LeCun宣布离职Meta创业，新公司聚焦高级机器智能（AMI），继续其“世界模型”研究。他是LLM批评者，认为其无法理解物理世界，新公司目标推动AI重大革命。
从斑马鱼到机器鱼：机器人实验重塑神经行为研究
瑞士联邦理工学院、美国杜克大学与葡萄牙高等理工大学联合团队用机器人替代动物做生理学实验。他们基于斑马鱼构建模型，用机器鱼实验揭示运动机制，成果发表于《科学・机器人》。
⼤模型是万能的吗？探索机器学习+⼤模型在某出海投资业务的应⽤
本文基于公共云大客户出海投资业务案例，探讨用AI大模型结合机器学习算法构建投资预算预测与分配系统。历经三版方案迭代，从纯大模型到引入机器学习算法，目前项目处于落地阶段，有望实现多方共赢。
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
本文聚焦逐步式自动化定理证明器困境，腾讯AI Lab等提出MPS - Prover。它有数据筛选和多视角树搜索两项创新，提升搜索效率和证明质量，在多基准表现佳，还解决六道IMO难题。
Gemini证明数学新定理！全程没联网
Gemini内部数学版学霸模型FullProof全程不联网，帮数学家证明代数几何领域新定理，即0亏格映射到旗簇空间的motivic类等价结论。它埋下关键思路伏笔、独立给出反例，比Macaulay2更优。
完全复刻火爆全网的机器鸭
这是对Pollen Robotics Microduck的第三方复刻研究，从官方公开的MJCF仿真模型反推出装配图、爆炸图和可直接导入CAD的装配体。该机器鸭软件开源、硬件不开源，但已有信息足以还原装配关系。
可解释性杀疯了！结合机器学习，发顶会轻轻松松！
在机器学习领域，模型可解释性愈发重要。结合XAI技术能提升模型透明度与可信度，如预测儿童饮食多样性、心血管疾病分类准确率很高。还整理9篇相关论文，解析两篇文章创新点、方法和结论。
波士顿动力机器狗侧空翻炸场！穿轮滑鞋照样能翻
风头被中国机器人盖过的波士顿动力，让机器狗Spot完成侧空翻等动作。工程师称它并非为空翻设计。空翻是严苛测试手段，能验证系统性能，还透露了训练细节，此外它还将上《美国达人秀》。
谷歌最强具身大脑发布！波士顿机器狗瞬间人模人样
Google DeepMind发布机器人推理模型Gemini Robotics - ER 1.6，搭载它的波士顿动力机器狗能精确读仪表数字。该模型是第三代，在空间推理等方面显著提升，还新增读仪表能力，且是谷歌迄今最安全的机器人模型。
他用一生证明AI没有意识！「中文屋」提出者逝世，享年93岁
2025年9月，Anthropic团队发现AI模型出现「主体错位」现象，而同一周哲学家约翰·塞尔去世，享年93岁。他一生证明AI只会模拟理解，提出「中文屋」思想实验，如今AI似有「意识」，而他却毁于性骚扰丑闻。