使用AI軟體證明尤拉和結果的經驗 [pdf]

近日，數學家David H. Bailey與合作者釋出了一篇預印本論文，詳細記錄了使用人工智慧軟體（特別是基於聊天機器人的系統）來證明尤拉和等經典數學結果的實踐經驗。這項工作並非僅僅將問題輸入AI並等待答案，而是探索如何透過精心設計的提示和迭代對話，引導AI逐步完成複雜的符號推理。

尤拉和是多重Zeta值的一類特殊情形，其封閉形式長期以來吸引著數學家的興趣。Bailey團隊選擇了若干具有代表性的尤拉和恆等式，利用當前最先進的大型語言模型進行試驗。他們發現，雖然AI在直接輸出精確證明方面仍有困難，但在輔助人類數學家進行試探、簡化表示式以及驗證中間步驟方面展現出了顯著的能力。例如，AI能夠快速完成部分分式展開、識別可能的組合恆等式，甚至在某些情況下給出完整的推導思路，但最終的正確性仍需人工稽核。

研究強調，AI在數學證明中的角色應當是“協作夥伴”而非“完全替代者”。人類數學家負責提出戰略方向、設定約束條件並檢查邏輯漏洞，而AI則擅長處理大量繁瑣的計算和模式識別。這種分工有望極大地提高研究效率，特別是在需要處理大量級數和多重Zeta值的領域中。

論文還討論了當前AI工具的侷限性，包括對數學符號的理解偏差、幻覺現象（即生成看似合理實則錯誤的推導）以及對上下文長度的敏感。作者建議，未來的研究應當專注於開發專門針對數學領域的AI系統，並建立更嚴格的形式化驗證機制。

總的來說，這項工作為AI在純數學研究中的應用提供了第一手的經驗資料，既展示了令人鼓舞的前景，也警示了現階段必須保持的人機協作原則。對於從事數學研究或AI應用的讀者而言，這都是一份值得仔細研讀的案例報告。