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