AI已经开始把数学家们给炸瘫坐眩晕，破防了。刚刚，几个小时前openAI正式官宣了722个人工智能自动生成的数学证明成果（放出消息的时候是400个）。

如果数学产生的速度远远超过了数学家理解它的速度，人类会怎么样？人类会失去对逻辑的兴趣吗？会产生某种“趟平”吗？网络上诸多担心扑面而来。

同时也有开心的 （混AI的），可数学也是哲学，人类智慧的明珠，此荣耀会将不再属于人类了吗？怕就怕人类在智慧的顶点躺平了。