現在ai證明的過程 或者 公布發現過程的很裝逼
喝杯咖啡 晨跑的時候 無聊的時候 叫ai證明一個沒人聽過的猜想
然後ai公司的員工不是數學專業 然後證明出來
中間過程錯 還能"看懂"有錯
然後不斷叫ai相信自己
然後繼續證明
最後找到某種證明後
這個不懂數學的人可以說服公司的數學家花時間幫他看這個證明
然後ai公司的數學家幫他驗證 這個證明