陶哲轩转发！DeepMind开源「AI数学证明标准习题集」

闻乐发自凹非寺量子位 | 公众号 QbitAI 陶哲轩转发，AI 搞数学证明的标准习题集来了！ DeepMind 最新开源形式化数学猜想库猜想库收录了经典的形式化表述的数学猜想集合，例如，解析数论中的四个朗道问题。不仅如此，资源库中还提供了各种代码函数，以方便用户对自然语言的数学猜想进行形式化