對我而言，更好的前進方向是開發一套對機器友善的新型數學基礎設施——類比於現代道路、鐵路或高速公路——這套設施應與現有以人為本的通路和建築相輔相成，而非取而代之，如此才能更充分地發揮新技術在效率與規模上的優勢。 「大規模數學挑戰賽」（Large-scale mathematical challenges）便是這種新基礎設施的一個例子——這有點像是一條「高運量貨運走廊」——在其中，一套經由專家精心策劃、具備數學意義的任務或問題被陳列出來，供各方參與者以任何手段（或任何程度的 AI 輔助）去解決；而證明結果則透過某種高效且可信的流程（例如透過形式化證明輔助工具）進行驗證，以確保能安全處理這類挑戰所產生的大量數據。 或者，我們可以使用自動化方法，為文獻中現有的眾多結果開發一個大規模的「低品質證明圖書館」，將其作為人類的起點（或許再輔以專門的 AI 工具），進而創造出具有額外教學意義、風格美感或藝術價值的「高品質證明」。延續交通的比喻，這就像是沿著高速公路系統開往國家公園裡一個平凡無奇的停車場，接著再步行幾英里，前往風景優美的目的地。(4/5)