数学猜想库

谷歌DeepMind开源首个形式化数学猜想库，收录解析数论的兰道猜想等难题。此库将帮助AI更好地理解并尝试解答这些数学问题。