清华校友用AI破解162个高数定理,智能体LeanAgent攻克困扰陶哲轩难题!
在人工智能领域,数学推理一直是一个极具挑战性的任务。然而,最近一项由清华校友主导的研究取得了重大突破。他们开发了一个名为LeanAgent的智能体,成功证明了162个此前未被人类证明的高等数学定理,其中包括一些曾困扰著名数学家陶哲轩的难题。这一成果不仅展示了人工智能在数学领域的强大潜力,也为未来的研究提供了新的思路和方法。 L...
数学大师、AI先驱吴文俊逝世,40年前让电脑代替人脑证明定理
本文来自AI新媒体量子位(QbitAI) 我国著名数学大师、首届国家最高科技奖获得者、人工智能研究开拓者吴文俊院士因病医治无效,于2017年5月7日7时21分在北京逝世。 在此致以深切的哀悼。 吴文俊(Wentsun WU),祖籍浙江嘉兴,1919年5月12日出生于上海。1940年吴文俊毕业于交通大学数学系,1949年在法国斯特拉斯堡大学获博士学位。 吴文俊在拓扑学、自动推理、机器证明、代...

本页面内关键词为智能算法引擎基于机器学习所生成,如有任何问题,可在页面下方点击"联系我们"与我们沟通。
产品推荐
人工智能平台PAI
人工智能平台 PAI(Platform for AI,原机器学习平台PAI)是面向开发者和企业的机器学习/深度学习工程平台,提供包含数据标注、模型构建、模型训练、模型部署、推理优化在内的AI开发全链路服务,内置140+种优化算法,具备丰富的行业场景插件,为用户提供低门槛、高性能的云原生AI工程化能力。
+关注