陶哲轩全网悬赏「最强大脑」!AI+人类颠覆数学难题?凡尔赛网友已下场

AIGC动态2个月前发布 新智元
3 0 0

陶哲轩全网悬赏「最强大脑」!AI+人类颠覆数学难题?凡尔赛网友已下场

AIGC动态欢迎阅读

原标题:陶哲轩全网悬赏「最强大脑」!AI+人类颠覆数学难题?凡尔赛网友已下场
关键字:等式,公理,项目,数学,关系
文章来源:新智元
内容字数:0字

内容摘要:


新智元报道编辑:Aeneas 好困
【新智元导读】最近,陶哲轩向广大网友和数学爱好者发起了挑战:大众数学爱好者、证明助理、自动化助手和AI联合起来,是否可以证明扩展几个数量级的数学问题?想参加陶哲轩发起的「众包」数学研究项目吗?
机会来了!
AI辅助证明数学研究,越来越可行了在传统上,一个数学研究项目通常是由1到5名数学专家来完成的。
他们每个人都对项目的各方面都足够熟悉,可以验证彼此的贡献。
但如果要组织起更大规模的数学研究项目,特别是涉及公众贡献的项目,就麻烦多了。
原因在于,很难验证所有人的贡献。
2023年底,陶哲轩宣布:将多项式Freiman-Ruzsa猜想的证明形式化的Lean4项目,在三周后取得了成功(图为最新状态)
要知道,在数学论证某个部分中的单个错误,可能就会使整个项目失败。
而且,以一个典型数学项目的复杂程度来说,期待具有本科数学教育水平的公众做出有意义的贡献,也是不现实的。
由此我们也可以知道,把AI工具纳入到数学研究项目中,也是极有挑战性的。
因为AI会生成看似合理但实际上毫无意义的论证,因此需要额外验证,才能将AI生成的部分添加到项目中。
好在,证明辅助语


原文链接:陶哲轩全网悬赏「最强大脑」!AI+人类颠覆数学难题?凡尔赛网友已下场

联系作者

文章来源:新智元
作者微信:
作者简介:

阅读原文
© 版权声明

相关文章

暂无评论

暂无评论...