包括Trinh Hoang Trieu、Luong Minh Thang 和Le Viet Quoc 在內的越南科學家團隊開發了一種名為AlphaGeometry 的人工智慧數學模型。該模型不僅追平甚至超越了國際數學奧林匹克(IMO)人類銅牌得主的解決問題能力。
AlphaGeometry 的突破性性能
AlphaGeometry 從2000 年到2017 年解決了IMO 中提出的30 道幾何問題中的25 道,展現了非凡的熟練程度。2022 年。與1970 年代著名的幾何定理證明器相比,這一表現尤其顯著,後者僅解決了10 個問題,甚至超過了IMO 金牌獲得者的平均成就,後者通常解決了25.9 個問題左右。這些問題的複雜性和多步驟性質凸顯了模型解決問題的高階能力。
創新方法與訓練 p>
AlphaGeometry 的獨特之處在於其獨特的神經語言模型和符號引擎組合,專門針對幾何問題解決。該模型避開了對人類生成數據的傳統訓練,而是依靠合成數據獨立制定高品質的解決方案。這種方法不同於其他人工智慧模型,例如 ChatGPT 或 Gemini,通常根據現有或類似的人類解決方案產生答案。
AlphaGeometry 的起源與願景
AlphaGeometry 的想法源自於 2019 年紐約大學 Trinh Hoang Trieu 的研究。當胡志明市科技大學畢業生 Trieu 與前數學專業學生 Le Viet Quoc 和 Luong Minh Thang 合作時,該計畫獲得了動力。 Trieu 於 2021 年加入 Google DeepMind,帶領團隊取得了這一重大突破。
AlphaGeometry 不只是一個學術工具;它有望成為高中生解決幾何問題的指導系統,為人工智慧輔助教育鋪路。該模型基於純幾何原理的能力得到了學術界的關注和讚揚,其中包括 2014 年 IMO 金牌得主、麻省理工學院研究員 Evan Chen。
未來的影響與成就 p>
隨著 AlphaGeometry 獲得全球認可,它在人工智慧輔助數學領域開闢了新視野。該模型有可能幫助解決七個千年獎問題,其未來的發展可能會對各個領域產生深遠的影響。該團隊在著名科學期刊《自然》上發表的論文標誌著一個重要的里程碑,反映出人工智慧不僅可以解決複雜的數學問題,還可以促進人類理解和創新。 p>
這一發展證明了當人類創造力與先進技術相遇時出現的無限可能性,顯著擴展人工智慧的前沿。