https://github.com/openai/math/ openai 发布了 722 篇数学论文，归入 372 个顶级数学难题家族，覆盖数论、代数几何、理论计算机、统计力学等 17 个数学分支领域，现在人类数学家正在验证