GPT-5-Pro 宣稱能證明新的、有趣的數學 AI 懷疑論者:「只是模式匹配」。被否認 GPT-5 解決了小型的開放數學問題並找到有效的替代方案 AI 懷疑論者:「挑選的或是人類介入」。再次被否認 應對無止境地繼續...