现在ai证明的过程 或者 公布发现过程的很装逼
喝杯咖啡 晨跑的时候 无聊的时候 叫ai证明一个没人听过的猜想
然后ai公司的员工不是数学专业 然后证明出来
中间过程错 还能"看懂"有错
然后不断叫ai相信自己
然后继续证明
最后找到某种证明后
这个不懂数学的人可以说服公司的数学家花时间帮他看这个证明
然后ai公司的数学家帮他验证 这个证明