「机器证明」共找到 678 篇相关文章
机器人手画圆圈，怎么就成为了一大难题了？
华人研究者 Tom Zhang 所在的 DaxoRobotics 团队推文称其机械手花两天画出圆圈，这或为机器人手首次画圈。该机械手用柔性手指夹笔画圆，靠肌腱控制，传统求解器难应对，还具超人类灵活性。
盖茨警告：AI可致十亿人死亡！教皇痛批「机器天堂」
本文整理了近期全球各界针对AI风险的重磅表态，前科技乐观派比尔·盖茨发出AI可致十亿人死亡的警告，呼吁政府强制监管；教皇痛批AI“机器天堂”侵蚀人性，凸显AI安全已升级为全球性生存危机。
50年僵局打破！MIT最新证明：对于算法少量内存胜过大量时间
MIT理论计算机科学家Ryan Williams最新研究建立数学程序，将任意算法转化为占用空间更少的形式，证明少量计算内存比大量计算时间更有价值，打破计算机科学家近50年认知。
清华艺博新展｜具身之路：机器如何成为“人”
清华艺博将举办“具身之路：机器如何成为‘人’”展览，时间为2026年4月30日 - 5月6日。展览以“启思—看透—看懂—共创”为动线，呈现人形机器人发展历程，探讨智能与身体关系及人机共在问题。
视远·正心明智——机器之心2025年度AI榜单正式启动
2025年人工智能浪潮奔涌，大模型快速迭代，催生新应用形态，中国AI发展精彩。机器之心精心策划2025年度榜单，涵盖最强技术实力企业等多个类别，有意企业可扫码申报。
视远·正心明智——机器之心2025年度AI榜单正式启动
2025 年人工智能浪潮依旧，大模型快速迭代，新应用形态不断涌现，国内 AI 发展也很精彩。机器之心精心策划 2025 年度 AI 榜单，涵盖最强技术实力企业等多个类别，企业可扫码申报。
都是TOP人才！跑遍全球，和机器之心共聚AI学术顶会
2025年AI加速发展，技术迭代快。机器之心围绕多场AI学术会议，在8座城市开展11场活动，有论文分享会和人才Meetup。2026年规划新活动，邀各方伙伴加入。
跨机器、物体与各种任务！RoboScience发布通用具身大模型
RoboScience机器科学发布Visics通用具身大模型并披露VLOA技术架构。该模型从底层搭建全新具身基础表征单元，适配任意机器人、物体和任务。其由具身世界模型和通用操作模型组成，有强大泛化和操作能力。
OpenAI大神：人工智能导论课程停在15年前，本科首选该是机器学习导论
如今人工智能成科技主流，入门者选对课程很重要。OpenAI研究科学家Noam Brown认为，本科生不应把人工智能导论作首门AI课，因其大纲多年未变，应首选机器学习导论。此观点引发热议。
八年研究沉淀，原方智能试图让机器拥有关于世界的「信念」
原方智能正式启动，由林浩鑫与唐开强创立，技术源于 LAMDA 团队八年研究。其目标是使机器在物理世界形成对世界的'信念'，以世界模型为核心技术路线，将研究成果推向开放物理世界。