八十年悬而未决的经典几何难题，几代数学家钻研无果，AI跨界运用代数数论思路完成证