醒来的时候想到一个问题:如果未来的重要数学定理或理论(我指那种用的非常普遍的东西)都是ai做的话，我们要怎么称呼它们?
打个比方说，以前我们可以说“牛顿莱布尼兹公式”“伽罗瓦理论”“黎曼罗赫定理”“柯西不等式”，那ai做的东西是不是只能用编号称呼?比如“OPAI-2026-09-18-081定理”
又比如一些重要的数学对象，本来是用人名称呼的，未来的新对象是要用编号称呼吗？比如“黎曼曲面”“伽罗瓦群”“诺特环”等等。
醒来的时候想到一个问题:如果未来的重要数学定理或理论(我指那种用的非常普遍的东西)都是ai做的话，我们要怎么称呼它们?
打个比方说，以前我们可以说“牛顿莱布尼兹公式”“伽罗瓦理论”“黎曼罗赫定理”“柯西不等式”，那ai做的东西是不是只能用编号称呼?比如“OPAI-2026-09-18-081定理”
又比如一些重要的数学对象，本来是用人名称呼的，未来的新对象是要用编号称呼吗？比如“黎曼曲面”“伽罗瓦群”“诺特环”等等。
![数学专家也不会吧[捂脸哭]](http://image.uczzd.cn/17302160262310565588.jpg?id=0)
