陶哲轩体验GitHub Copilot：神奇定理猜想，助我找到正确方向 AIGC动态欢迎阅读 本文原标题为：陶哲轩尝试使用Copilot: 令人惊讶，它能根据定理名称猜出我的方向 关键词：定理、不等式、重写、论文、表达式 文章来源：机器之心 字数：2113字 文章摘要：在尝试了GPT-4之后，陶哲轩决定使用Github Copilot。这次的试验是学习Lean语言并利用... AI工具箱3年前
