GPT-4野生代言人陶哲轩：搞论文学新工具没它得崩溃！11页“超简短”新作已上线

AIGC动态欢迎阅读

原标题：GPT-4野生代言人陶哲轩：搞论文学新工具没它得崩溃！11页“超简短”新作已上线

关键字：不等式,公式,实数,算术,论文

文章来源：量子位

内容字数：3832字

内容摘要：丰色 发自 凹非寺量子位 | 公众号 QbitAI陶哲轩有多爱GPT-4？这回，不止写论文做研究，学新工具时他也离不开它了。就在今天，他的又一篇成果上线，关于麦克劳林不等式。为了更好地展现其成果，48岁的他开始学习Lean4（一种可作为交互式定理证明工具的函数式编程语言）。他自述，随着学习该语言“关卡难度”的增加，GPT-4又能帮大忙了——如果没有它帮我解决各种微妙的语法问题，你都无法想象我有多崩…

原文链接：点此阅读原文：GPT-4野生代言人陶哲轩：搞论文学新工具没它得崩溃！11页“超简短”新作已上线

联系作者

文章来源：量子位

作者微信：QbitAI

作者简介：追踪人工智能新趋势，关注科技行业新突破