<a data-unique-id="mvx94jau-l0gi9n" href="https://mp.weixin.qq.com/s?__biz=MzIyNDA2NTI4Mg==&mid=2655555929&idx=1&sn=02418dea0da1f261221d48e3f6120d62&scene=142#wechat_redirect" class="normal_text_link mp_article_text_link" target="_blank" data-itemshowtype="0">菲尔兹奖得主邓煜,在10月25日的“知识分子”“赛先生”论坛发表演讲</a>。他提到了10月6日OpenAI公布722篇文章的事情。
邓煜说,这些文章他大概看了其中几篇,这些工作相当一部分都属于数学上非常重大的进展。某AI公司公布的这些问题、这些文章,“对数学有相当大的促进作用”。
不过,邓煜同时指出,某AI公司基本上没有公布证明的思维链,也未说明是否基于其他人的思路。
此外,AI公司原本可以通过形式化的手段,在保证正确性的情况下再发布。“他们也没有这么做,而是在没有任何正确性保证的情况下直接发布。事实上,后来发现了有若干篇文章——多于一篇文章存在错误,甚至后来也撤回了。”
不少数学家与邓煜观点相似。最近,<a data-unique-id="mvyicpxz-2a96w7" href="https://mp.weixin.qq.com/s?__biz=MzIyNDA2NTI4Mg==&mid=2655556209&idx=1&sn=b0e4c9843ba3f59b1ffe0376c248c846&scene=142#wechat_redirect" class="normal_text_link mp_article_text_link" target="_blank" data-itemshowtype="0">6位数学家创建了“数学之舵”论坛,邀请全球数学研究者剖析OpenAI这722篇AI生成的论文</a>。
以下为邓煜演讲全文。