輕舟已過萬重山,國內模型已經開始證明數學猜想了

廣東電視台看到的，通過大模型進行形式化定理證明，取得的成果，比馬保國宣傳的破解黎曼猜想快了一步。