標籤 數學證明

當 AI 能在缺乏理解的情況下生產證明，3Blue1Brown 的 Grant Sanderson 在陶哲軒部落格提出：把「有動機的解釋」升級成可授信的學術產出，並以 Erdős 問題 1196 由 GPT-5.4 Pro 解開、再由八人論文擴展方法的真實案例，說明新分工已經在跑。