我們中的許多人直覺上感覺數學領域將會改變，因此讓我們來分析可能的結果，而不訴諸誇張或悲觀主義。

假設 #1：數學證明的數量和數學數據的總量將以指數方式增長。 這一點或許不具爭議性。在人類的指導下，AI模型已經在創造大量的數學內容。現在的瓶頸已經從創造數學轉向驗證其正確性。 使用 @leanprover 的亞里士多德通過使每個證明都可以機器檢查來解決驗證問題。 隨著技術的進步，創造的證明的長度和複雜性將繼續增加。

假設 #2。十年後，數學家的人數將比今天大幅增加。 通過自動化驗證的繁瑣工作和證明簡單引理，亞里士多德不僅可以加快高度專業的數學家的工作速度，還可以降低其他人參與的門檻。在我們的測試 API 用戶中，有退休的軟體工程師、律師、軍人、學生，以及許多其他擁有數學想法/創意但需要幫助於形式化並需要有人驗證他們想法的人。我們應該預期這些趨勢會加速發展。

假設 #3. 人類將繼續是數學研究的中心。 這是最重要的一點。 如果我們回顧歷史——我們總是將數學的定義改變為機器無法自動化的部分。19世紀初，數學家的工作很大一部分是解方程式。但早期的計算器自動化了許多這種例行工作，讓數學家能夠進行更具創造性/抽象性的工作。 在可預見的未來，我們相信 AI 也會如此。數學家將花更少的時間來驗證正確性和證明簡單的引理，而像亞里士多德這樣的工具將幫助他們將時間專注於探索更深層的概念。 最終，隨著亞里士多德變得更有能力，數學家將會引導亞里士多德，這就像擁有一支極具才華和嚴謹的數學合作者團隊在你手邊，你可以指引他們朝不同的方向探索數學的邊界。 無論如何，我們已經過了黑板和沙發的數學階段。現在一切都是完全數位化、協作和 AI 驅動的。