朗道问题

DeepMind发布形式化数学猜想库，收录多种形式化的数学猜想。该资源库旨在帮助AI提升数学推理及证明能力，并有望成为自动定理证明或形式化工具的测试基准。