清华校友用AI破解162个高数定理，智能体LeanAgent攻克困扰陶哲轩难题！

作者：新智元发布时间：2024-10-12

清华

【新智元导读】就在刚刚，清华校友用AI证明了162个未被人类证明的数学定理，解决了AI无法解决陶哲轩对多项式Freiman-Ruzsa猜想的形式化难题！诺贝尔物理学奖和化学奖被AI「包圆」后，人们...【查看原文】

相关资讯

清华校友用AI破解162个高数定理，智能体LeanAgent攻克困扰陶哲轩难题！

【新智元导读】就在刚刚，清华校友用AI证明了162个未被人类证明的数学定理，解决了AI无法解决陶哲轩对多项式Freiman-Ruzsa猜想的形式化难题！诺贝尔物理学奖和化学奖被AI「包圆」后，人们

清华

新智元 2024-10-12

陶哲轩：我用GPT-4辅助证明不等式定理，论文还会上传arXiv

近几个月来，著名数学家陶哲轩热衷于用ChatGPT、GPT-4等AI工具辅助解决数学问题。不禁好奇，是什么样的数学定理呢？根据陶哲轩的介绍，他最近在包含有限多个实变量的不等式理论中有一个完成的示例结果，并很快会发表在arXiv上。陶哲轩发现，自然数游戏似乎拥有比文档实际披露的更多的lean库。

GPT-4 ChatGPT

机器之心Pro 2023-10-10

很快OpenAI能证明陶哲轩错了？陶哲轩一句话，被OpenAI高管怼回去

数学和AI合作未来

OpenAI

新智元 2024-12-09

陶哲轩上手Copilot：不可思议，它能从定理名字猜出我想要的方向

尝鲜 GPT-4 之后，陶哲轩又用上了 Github Copilot。这一次，他的试用场景是学习 Lean 语言并利用其形式化数学定理。对于大模型来说，形式化的定理证明也算一种挑战。形式化证明本质

Copilot GPT-4 GitHub

机器之心 2023-10-23

数学天才陶哲轩：GPT-4无法攻克一个未解决的数学问题，但有帮助！

编辑：桃子【新智元导读】数学天才陶哲轩的研究也用上了AI工具GPT-4。有了GPT-4，你想做的，只需复制粘贴一键完成！当红炸子鸡ChatGPT，也成为数学天才陶哲轩的研究工具了。近日，他在

GPT-4 ChatGPT

王树松 2023-04-19

近期资讯

京东方申请背光模组和显示装置专利，具有较高的发光效率

金融界2024年12月26日消息，国家知识产权局信息显示，京东方科技集团股份有限公司申请一项名为“背光模组和显示装置”的专利，公开号CN119179216A，申请日期为2024年9月。专利摘要显示，本公开提供一种背光模组和显示装置，属于显示技术领域，其可解决现有的背光模组出光效率低且掺杂有害蓝光等问题。

金融界 2024-12-26

中禾科技申请微胶囊聚合包覆染料液晶纳米光阀专利，能提升纳米光阀对比度和分辨率

金融界2024年12月26日消息，国家知识产权局信息显示，中禾科技（常州）股份有限公司申请一项名为“一种微胶囊聚合包覆染料液晶纳米光阀及其制备方法”的专利，公开号CN119179211A，申请日期为2024年10月。

金融界 2024-12-26

安徽五材轴承取得一种轴承存放货架专利，具有使用方便、安全性高、拿取方便等优点

金融界2024年12月26日消息，国家知识产权局信息显示，安徽五材轴承有限公司取得一项名为“一种轴承存放货架”的专利，授权公告号CN222200525U，申请日期为2024年3月。

金融界 2024-12-26

苏州创欣申请双面增透镀层电致变色片专利，电致变色片具有透光率高的优点

金融界2024年12月26日消息，国家知识产权局信息显示，苏州创欣材料科技有限公司申请一项名为“双面增透镀层电致变色片及其控制系统和控制方法”的专利，公开号CN119179222A，申请日期为2024年10月。

金融界 2024-12-26

吉林省远畅智能装备取得用于电子测量仪器制造成品的放置架专利，使测量便捷且方便搬运

金融界2024年12月26日消息，国家知识产权局信息显示，吉林省远畅智能装备有限责任公司取得一项名为“一种用于电子测量仪器制造成品的放置架”的专利，授权公告号CN222200527U，申请日期为2024年4月。

金融界 2024-12-26

惠科股份申请显示模组及电子纸专利，能够显示出高彩色色度

金融界2024年12月26日消息，国家知识产权局信息显示，惠科股份有限公司申请一项名为“显示模组及电子纸”的专利，公开号CN119179223A，申请日期为2024年10月。专利摘要显示，本发明属于电子纸技术领域，尤其涉及显示模组及电子纸。

金融界 2024-12-26

沧州黄骅港矿石港务有限公司取得新型螺栓螺母收纳柜专利，能够将不同尺寸的螺母和T形螺栓分开逐个放置，提高工作效率

金融界2024年12月26日消息，国家知识产权局信息显示，沧州黄骅港矿石港务有限公司取得一项名为“一种新型螺栓螺母收纳柜”的专利，授权公告号CN222200519U，申请日期为2024年5月。

金融界 2024-12-26

中建二局取得一种钢筋堆放用支架专利，实现施工场地合理利用

金融界2024年12月26日消息，国家知识产权局信息显示，中建二局深圳南方建设投资有限公司与中国建筑第二工程局有限公司取得一项名为“一种钢筋堆放用支架”的专利，授权公告号CN222200529U，申请日期为2024年4月。

金融界 2024-12-26

杭州萧山辰达机械有限公司取得多功能工具组套箱专利，起到便于进行组装和拆分的效果

金融界2024年12月26日消息，国家知识产权局信息显示，杭州萧山辰达机械有限公司取得一项名为“一种多功能工具组套箱”的专利，授权公告号CN222200520U，申请日期为2024年5月。

金融界 2024-12-26

广东志慧芯屏申请像素单元等相关专利，提高彩色显示时的分辨率

金融界2024年12月26日消息，国家知识产权局信息显示，广东志慧芯屏科技有限公司申请一项名为“像素单元、像素排列结构及显示器”的专利，公开号CN119179224A，申请日期为2023年6月。专利摘要显示，本申请涉及一种像素单元、像素排列结构及显示器。

金融界 2024-12-26

清华校友用AI破解162个高数定理，智能体LeanAgent攻克困扰陶哲轩难题！

推荐体验

相关资讯

清华校友用AI破解162个高数定理，智能体LeanAgent攻克困扰陶哲轩难题！

陶哲轩：我用GPT-4辅助证明不等式定理，论文还会上传arXiv

很快OpenAI能证明陶哲轩错了？陶哲轩一句话，被OpenAI高管怼回去

陶哲轩上手Copilot：不可思议，它能从定理名字猜出我想要的方向

数学天才陶哲轩：GPT-4无法攻克一个未解决的数学问题，但有帮助！

近期资讯

京东方申请背光模组和显示装置专利，具有较高的发光效率

中禾科技申请微胶囊聚合包覆染料液晶纳米光阀专利，能提升纳米光阀对比度和分辨率

安徽五材轴承取得一种轴承存放货架专利，具有使用方便、安全性高、拿取方便等优点

苏州创欣申请双面增透镀层电致变色片专利，电致变色片具有透光率高的优点

吉林省远畅智能装备取得用于电子测量仪器制造成品的放置架专利，使测量便捷且方便搬运

惠科股份申请显示模组及电子纸专利，能够显示出高彩色色度

沧州黄骅港矿石港务有限公司取得新型螺栓螺母收纳柜专利，能够将不同尺寸的螺母和T形螺栓分开逐个放置，提高工作效率

中建二局取得一种钢筋堆放用支架专利，实现施工场地合理利用

杭州萧山辰达机械有限公司取得多功能工具组套箱专利，起到便于进行组装和拆分的效果

广东志慧芯屏申请像素单元等相关专利，提高彩色显示时的分辨率

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

大公司发布的大模型产品都有哪些？

政府对AIGC的扶持政策

AIGC对就业的影响：我们会失业吗？

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响