陶哲轩疯狂安利Copilot:它帮我完成了一页纸证明,甚至能猜出我后面的过程
继给GPT-4“代言”之后,Copilot也被陶哲轩疯狂安利。Copilot能直接预测出他下一步要做什么。他还对大模型的发展提出了新的期待,希望有一天模型可以直接生成不等式变体。