不仅如此，资源库中还提供了各种代码函数，以方便用户对自然语言的数学猜想进行形式化的表述。

开源 陶哲轩 deepmind 数学证明 ai数学证明 2025-05-31 11:53  4