DeepMind开源了形式化数学猜想库，收录经典数学猜想，鼓励用户贡献新猜想、改进引用或修复错误。陶哲轩支持该库，认为形式化表述是利用自动化工具解决开放性问题的重要步骤。
完成下面两步后，将自动完成登录并继续当前操作。
