陶哲轩：2026年GPT帮我合著数学论文！提前试用「完全版」GPT-4，大受震撼

作者：新智元发布时间：2023-06-19

GPT-4 OpenAI

【新智元导读】在3月份GPT-4正式发布的时候，陶哲轩作为数学领域的专家获得了提前体验的机会。当他使用了一段时间之后写下了一篇文章，认为AI技术将彻底改变学术界。 3个月前，OpenAI的GPT-4...【查看原文】

相关资讯

陶哲轩：2026年GPT帮我合著数学论文！提前试用“完全版”GPT-4，大受震撼

陶哲轩：2026年GPT帮我合著数学论文！提前试用“完全版”GPT-4，大受震撼新智元报道编辑：Aeneas 润【新智元导读】在3月份GPT-4正式发布的时候，陶哲轩作为数学

GPT-4

新智元 2023-06-17

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

GPT-4辅助写论文

GPT-4

新智元 2023-10-10

“数学天才”陶哲轩也爱上 GPT-4：节省了大量繁琐工作

网友：“这种事情他没有助手吗？”

GPT-4

CSDN 2023-04-13

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

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

GPT-4 ChatGPT

王树松 2023-04-19

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

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

GPT-4 ChatGPT

机器之心Pro 2023-10-10

近期资讯

闲鱼“搞钱”，可能比年轻人更急迫？

闲鱼爆火，是时候为阿里“赚钱养家”了

节点财经 2024-12-31

雷达财经 2024-12-31

通往网红之路，这座中部城市有多努力？

南昌做对了什么

城市进化论 2024-12-31

新能源汽车全球合作势不可挡

方向何在？

车百智库 2024-12-31

挖来“95后天才少女”，雷军还想创造奇迹

迈向万亿市值。

全天候科技 2024-12-31

8点1氪｜河北邯郸初中生被杀案一审宣判；韩国济州航空又一客机起落架故障；华为悬赏300万元求解难题

河北邯郸初中生被杀案一审宣判，一人被判无期徒刑。

8点1氪 2024-12-31

陶哲轩：2026年GPT帮我合著数学论文！提前试用「完全版」GPT-4，大受震撼

推荐体验

相关资讯

陶哲轩：2026年GPT帮我合著数学论文！提前试用“完全版”GPT-4，大受震撼

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

“数学天才”陶哲轩也爱上 GPT-4：节省了大量繁琐工作

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

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

近期资讯

闲鱼“搞钱”，可能比年轻人更急迫？

合肥，再跑出百亿IPO

“众神”落座，2025春节档戴上荆棘王冠

中国人内卷，韩国人怎么先哭了？

36氪研究院 | 2024年中国人工智能之自然语言处理（NLP）技术洞察

东方甄选三周年：孙东旭成“男明星”，董宇辉越行越远

通往网红之路，这座中部城市有多努力？

新能源汽车全球合作势不可挡

挖来“95后天才少女”，雷军还想创造奇迹

8点1氪｜河北邯郸初中生被杀案一审宣判；韩国济州航空又一客机起落架故障；华为悬赏300万元求解难题

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

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

政府对AIGC的扶持政策

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

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响