AI模型用于数学定理证明，作者希望数学家使用模型。

转推 @boazbaraktcs：我希望我们持续输掉的一个基准是“在宣布解决开放问题时最不尊重”。事实上，虽然展示一些能力是好的，但我更高兴的是数学家使用我们的模型来证明定理，而不是我们自己来做。