数学证明工作有两种
证明跟验证
证明比较多人爱，因为证明成功有成就
但是验证啥都没，根本在在做慈善
AI可以帮忙证明
但是验证一定要人类来
不可能AI说对就对万一有幻觉呢
但是AI证明产量太大
然后又因为没什么人爱验证导致数学界吃不消