以前人類花很多心力在證明上
證不出來數學發展就卡住
未來可以把證明這個苦工交給AI
不過AI沒有目的性，也不知道該證明什麼，什麼有用
最珍貴的反而是看出該證什麼，什麼是重要的
提出關鍵猜想並引導AI證明才是最有價值的
就像計算機將人類從計算中解脫一樣
可以專注在數學直覺
※ 引述《lllll12b56 (張航嘉)》之銘言：
: 萬物皆數學 數學就是大自然的語言
: 看現在AI解數學的速度已經遠遠超過人類極限
: 之後如果什麼量子力學 暗物質 核融合
: AI都能算出背後真正的原理
: 世界會不會發生很多改變?