陶哲轩疯狂安利Copilot：它帮我完成了一页纸证明，甚至能猜出我后面的过程

AIGC动态欢迎阅读

原标题：陶哲轩疯狂安利Copilot：它帮我完成了一页纸证明，甚至能猜出我后面的过程

关键字：不等式,实数,量子,下一步,多项式

文章来源：量子位

内容字数：3203字

内容摘要：克雷西 发自 凹非寺量子位 | 公众号 QbitAI继给GPT-4“代言”之后，Copilot也被陶哲轩疯狂安利。他直言，在编程时，Copilot能直接预测出他下一步要做什么。有了Copilot之后，研究做起来也更方便了，陶哲轩也用它辅助自己完成了最新的研究成果。陶哲轩说，这次的论文中，有关这一部分的内容其实只有一页。但具体完成这一页纸的证明，他足足写了200多行代码，用的还是新学的编程语言Lea…

原文链接：点此阅读原文：陶哲轩疯狂安利Copilot：它帮我完成了一页纸证明，甚至能猜出我后面的过程

联系作者

文章来源：量子位

作者微信：QbitAI

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