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

欢迎阅读AIGC动态

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

关键词：不等式、公式、实数、算术、论文

文章来源：量子位

字数：3832字

摘要：陶哲轩研究员在与GPT-4的合作中取得新成果。他在学习新工具时，发现GPT-4在解决微妙语法问题方面功不可没。最新作品讨论了麦克劳林不等式，并展示了他学习Lean4后的成果。

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

联系作者

文章来源：量子位

作者微信：QbitAI

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