瑞士數學家約翰內斯·施密特（Johannes Schmitt）近期在 X 上發佈了一項足以載入史冊的研究成果:GPT-5在沒有任何人類干預或提示引導的情況下，首次獨立解決了一個長期未解的數學難題。施密特評價稱，GPT-5的解決方案展現了令人驚歎的創造力，它並未遵循該領域的常規邏輯，而是跨界借鑑了代數幾何其他分支的技術手段。

ChatGPT

這一突破不僅印證了數學大師陶哲軒此前對 AI 潛力的預判，更將科學界推向了一個必須直面“AI 獨立貢獻”的新階段。目前，該證明過程正在接受嚴謹的同行評審。

除了學術發現本身，施密特提交的論文更像是一場關於科研透明度的前衛實驗。在這篇高度數字化的論文中，人類與 AI 的協作被拆解到了極致:證明過程由 GPT-5與 Gemini3Pro 共同完成，敘述文本交由 Claude 撰寫，而嚴謹的 Lean 正式證明則由 ChatGPT5.2輔助生成。

爲了實現百分之百的可追溯性，論文的每一個段落都精準標註了產出主體，並附帶了跳轉至原始對話記錄和提示詞的鏈接。這種做法雖然確保了科研誠信，卻也因操作極其耗時且程序繁瑣，被部分學者質疑可能淪爲阻礙創新的“學術官僚主義”。

這場實驗更深層的意義在於引發了對科學本質的拷問。施密特的方法雖然清晰，卻也暴露出人機界限模糊的困境——即便 AI 獨立生成了答案，但提示詞的構建與輸出結果的篩選依然承載了人類的意志。科學界現在必須回答一個根本性命題:在缺乏人類初始意圖的前提下，純粹由 AI 完成的貢獻是否成立?當 AI 成爲日常科研工具，這種細緻入微的標註模式或許難以維繫，但施密特無疑爲未來 AI 時代的學術出版標準提供了一個極具參考價值的標本。