清華推AI數學家AIM 自動構建證明思路解理論難題

AI數學家登場

清華大學AIM團隊推出AI Mathematician框架，目標是讓推理模型不僅能解題，更能參與前沿數學理論研究，並保持頗高的證明完成度。

團隊以多個理論問題作示範，展示AIM在構造證明、調用定理等方面的能力，被視為AI數學工具鏈的重要補充，引起學界廣泛關注。