AI 产品

陶哲轩发布Sendov猜想证明消化文档及ChatGPT对话记录

首次出现 8月13日 16:32·最近更新 8月13日 16:32

陶哲轩在博客上发布了《Sendov猜想证明的消化》，并分享了与ChatGPT的对话记录。用户透露自己完成了该证明的Lean形式化，并发布在个人网站上，但在陶哲轩的博客评论中未提及完成时间。

多来源证据

太棒了！陶哲轩发布了《Sendov猜想证明的消化》并在这里分享了他的ChatGPT聊天记录：https://t.co/9tk5y5mDIN。我在我的网站上发布了完成的Lean形式化：https://t.co/J00PnykB1d，并在他的博客评论中链接了它，但我忘了提到它是在X上完成的。