近日，谷歌DeepMind正式在GitHub上开源了“形式化猜想”项目，引发行业广泛热议。
项目链接：https://github.com/google-deepmind/formal-conjectures
特别是，长期对此领域高度关注的菲尔兹奖得主陶哲轩发表长文对此进行了评价。这一开源数据库将数学猜想以形式化语言重述，使AI工具能够理解并尝试破解这些问题。
目前，这个库已经收录了一些重量级猜想，比如解析数论中的4个「兰道猜想」Landau problem）。
DeepMind正向全球数学家和研究者征集更多猜想，让这个库成为一个不断扩展的「数学宝库」。
举报
本版积分规则
写代码我最强，全靠复制和粘贴
开坛首日推出的纪念勋章
恭喜，完成了第一次发帖
哎呦不错，拥有了10根鸡腿🍗
熟练到能精准避开正确答案
( •̀ ω •́ )y 我是新来的
凭一己之力热闹全场
首页
板块
AI工具
导读
我的
微信登陆 
项目链接：https://github.com/google-deepmind/formal-conjectures
目前，这个库已经收录了一些重量级猜想，比如解析数论中的4个「兰道猜想」Landau problem）。
