感謝上帝，有些大型語言模型能在國際數學奧林匹克（IMO）中獲得金牌。即使在基本的函數分析問題（如子空間分解）上，o3 也會給出無法糾正的錯誤問題。 但我對於未來 1-2 年會有更好的進展感到樂觀。