瑞士數學家約翰內斯·施密特(Johannes Schmitt)近期在 X 上發布了一項足以載入史冊的研究成果:GPT-5在沒有任何人類干預或提示引導的情況下,首次獨立解決了一個長期未解的數學難題。施密特評價稱,GPT-5的解決方案展現了令人驚嘆的創造力,它并未遵循該領域的常規邏輯,而是跨界借鑒了代數幾何其他分支的技術手段。
這一突破不僅印證了數學大師陶哲軒此前對 AI 潛力的預判,更將科學界推向了一個必須直面“AI 獨立貢獻”的新階段。目前,該證明過程正在接受嚴謹的同行評審。
除了學術發現本身,施密特提交的論文更像是一場關于科研透明度的前衛實驗。在這篇高度數字化的論文中,人類與 AI 的協作被拆解到了極致:證明過程由 GPT-5與 Gemini3Pro 共同完成,敘述文本交由 Claude 撰寫,而嚴謹的 Lean 正式證明則由 ChatGPT5.2輔助生成。
為了實現百分之百的可追溯性,論文的每一個段落都精準標注了產出主體,并附帶了跳轉至原始對話記錄和提示詞的鏈接。這種做法雖然確保了科研誠信,卻也因操作極其耗時且程序繁瑣,被部分學者質疑可能淪為阻礙創新的“學術官僚主義”。
這場實驗更深層的意義在于引發了對科學本質的拷問。施密特的方法雖然清晰,卻也暴露出人機界限模糊的困境——即便 AI 獨立生成了答案,但提示詞的構建與輸出結果的篩選依然承載了人類的意志。科學界現在必須回答一個根本性命題:在缺乏人類初始意圖的前提下,純粹由 AI 完成的貢獻是否成立?當 AI 成為日常科研工具,這種細致入微的標注模式或許難以維系,但施密特無疑為未來 AI 時代的學術出版標準提供了一個極具參考價值的標本。





京公網安備 11011402013531號