GPT-6 孿生質數突破引發陶哲軒批評

有什麼變化

據報導，GPT-6 為一道孿生質數問題產生了正確答案。

為什麼重要

如果該結果無法獨立驗證，將凸顯把 LLM 正確輸出視為數學發現的風險。AI 研究人員可能需要為數學推理系統建立更嚴格的證明檢查與過程層級評估。

下一步行動

在將該結果視為數學推理證據前，先重現報導結果，並使用 Lean 4 證明檢查器驗證每個推理步驟。