分類： 數學證明

• 剛才，GPT-5首次通過「哥德爾測試」！破解三大數學猜想
• DeepSeek 放大招！新模型專注數學定理證明，大幅刷新多項高難基線測試。