标签：形式化库

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

DeepMind最新开源形式化数学猜想库，该库由陶哲轩转发，具有重要意义。猜想库收录了经典的形式化表述的数学猜想集合，如解析数论中的四个朗道问题，还提供代...

AIGC动态

3天前