陶哲轩用AI证明方程理论，19天进度99.99%！论文即将上线

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

【新智元导读】 AI已完全融入数学家的工作流中。陶哲轩刚刚宣布，最新方程理论项目已完成99.9963%，众包之力外加AI辅助取得了重大成绩。他认为，剩余大约700个让人类头疼的难题，AI或许更有潜力。...【查看原文】

相关资讯

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

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

GPT-4 ChatGPT

机器之心Pro 2023-10-10

陶哲轩：计算机辅助数学证明的历史

导读几个世纪以来，计算机（机器）一直是数学家的好朋友，他们利用它计算、提出猜想以及进行数学证明。随着交互式定理证明器、机器学习算法和生成式AI等更为先进的工具的出现，机器被更具创新性和深度的方式得到运用。近日，在MSRI（美国数学科学研究所，现改名SLMath）四十周年庆典上，陶哲轩（Terence Tao）对机器辅助数学证明的历史和最新发展进行概述，并对数学中的机器辅助将扮演的未来角色进行预测。他表示：早期的计算机辅助的数学研究以女性为主，并衍生出了一个计算能力单位：“千女时”，一千个使用加法器的女性能

机器学习生成式AI

返朴科普 2023-08-31

“陶哲轩×GPT-4”，合写数学论文，数学大佬齐惊呼，LLM推理神助证明不等式定理

GPT-4辅助写论文

GPT-4

新智元 2023-10-10

大佬怎么用AI,陶哲轩与GPT-4的奇妙对话

大佬怎么用AI,陶哲轩与GPT-4的奇妙对话陶哲轩是一个数学界的传奇，他曾经获得过多项国际数学大奖，被誉为“21世纪最伟大的数学家之一”。但是，你可能不知道的是，陶哲轩还是一个人工智能的爱好者和实

GPT-4 人工智能

AI小智 2023-06-26

陶哲轩又来安利AI工具了：新论文排版用上VSCode Copilot+插件

陶哲轩的论文，又要上新arXiv了！陶哲轩本人在Mastodon上透露了这一消息，顺便介绍了一波自己用的LaTex工具。这是继给GPT-4的代码功能“带货”之后，陶哲轩再一次出手安利AI“神器”。陶哲轩说自己每隔一段时间（5-10年）都会对编辑工具进行更新换代。他介绍，早年间自己是用Word进行排版的，主要是为了使用里面的VB脚本。

Copilot GPT-4 编程

量子位 2023-09-04

近期资讯

影像旗舰的3大难题被根治：OPPO旗舰比iP16 Pro Max更轻薄

快科技10月10日消息，OPPO周意保透露，Find X8 Pro首次实现了轻薄机身+极致性能+持久续航的不可能三角。该机厚度是8.2Xmm，重量是21Xg，相机凸高是3.Xmm，这三个数据都比最新的iPhone 16 Pro

振亭 2024-10-10

三星电子遭遇寒冬：开启裁员度日

虽然预告了三季度营收和净利润将实现增长，但三星电子的业绩还是令投资人们失望了。近日，三星电子发布2024年Q3业绩预告，三季度三星电子营业利润预计9.10兆（本文指万亿）韩元，同比增长274

2024-10-10

超200km/h！男子开特斯拉把市区道路当赛道官方通报：刑拘

快科技10月10日消息，昨日有博主爆料称一辆特斯拉在广州市区道路疯狂超车，此事引发了网友热议，不少人纷纷艾特当地交警要求严厉惩罚。视频视频里，男子驾驶的车辆疑似是特斯拉Model 3高性能

2024-10-10

让水稻生出半导体材料！中国团队成功实现：纯度99.99%

快科技10月10日消息，武汉科技大学宣布，该校材料学部“志同‘稻’合”学生团队采用低温镁热技术，成功从稻杆、稻壳中提取制作一种半导体材料——纳米碳化硅。

2024-10-10

199元联想小新K6铝合金磁轴键盘上市：全铝外壳一体成型

快科技10月10日消息，联想小新K6铝合金磁轴键盘目前已经上市，首发199元。据悉，这款键盘采用全铝外壳一体成型，使用铝坨坨静电喷粉工艺，采用双色注塑键帽 + 透明丝印设计，功能键则采用了镭

鹿角 2024-10-10

这种能让羊肉不膻的神奇蔬菜：打赌你没吃过！

要问“中国哪里的羊肉最好吃”，每个人可能都有自己的答案，但有一片地方的羊肉，品质绝对是公认的，那就是西北的羊肉——肥美、不膻。而之所以大西北羊肉能有这样的口感

2024-10-10

厂商打造梦露1/6全身真实雕像：金发女神妩媚动人

DAMTOYS带来一款全新产品图赏，以经典电影《绅士爱美人》中玛丽莲·梦露为原型打造的1/6全身真实小雕像，将经典定格永恒。预计将在2024.Q4-2025.Q4出货。玛丽莲·梦露，这个名

2024-10-10

开店狂魔！瑞幸开店速度超过蜜雪冰城：1年新增1万家

快科技10月10日消息，据媒体报道，根据瑞幸公布的数据，2023年6月5日，瑞幸开出第1万家门店，截至今年6月30日，瑞幸门店数为19961，相当于在一年的时间里，净增了一万家门店，平均每天新增27家店

2024-10-10

NASA证实国际空间站存在空气泄漏：可能威胁宇航员安全

快科技10月10日消息，据媒体报道，美国航天局发布的一份审计报告揭示了国际空间站正面临的一项长期存在的安全隐患——空气泄漏问题。该问题被报告视为当前国际空间站最大的“安全

2024-10-10

亲肤裸感透气：猫人透气男士内裤3条到手19.9元

天猫天天特卖工厂，猫人透气男士内裤3条活动价49.9元，下单领30元优惠券，到手19.9元。亲肤裸感透气，石墨烯抑菌裆，5A级抗菌呵护重要部位。拉伸不变形，高弹不勒腰，满足各种身材。购买链

2024-10-10

陶哲轩用AI证明方程理论，19天进度99.99%！论文即将上线

推荐体验

相关资讯

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

陶哲轩：计算机辅助数学证明的历史

“陶哲轩×GPT-4”，合写数学论文，数学大佬齐惊呼，LLM推理神助证明不等式定理

大佬怎么用AI,陶哲轩与GPT-4的奇妙对话

陶哲轩又来安利AI工具了：新论文排版用上VSCode Copilot+插件

近期资讯

影像旗舰的3大难题被根治：OPPO旗舰比iP16 Pro Max更轻薄

三星电子遭遇寒冬：开启裁员度日

超200km/h！男子开特斯拉把市区道路当赛道官方通报：刑拘

让水稻生出半导体材料！中国团队成功实现：纯度99.99%

199元联想小新K6铝合金磁轴键盘上市：全铝外壳一体成型

这种能让羊肉不膻的神奇蔬菜：打赌你没吃过！

厂商打造梦露1/6全身真实雕像：金发女神妩媚动人

开店狂魔！瑞幸开店速度超过蜜雪冰城：1年新增1万家

NASA证实国际空间站存在空气泄漏：可能威胁宇航员安全

亲肤裸感透气：猫人透气男士内裤3条到手19.9元

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响