觀點網訊：近日，菲爾茲獎得主陶哲軒在個人博客轉載人類數學協會發布的聲明，批評OpenAI無視數學界研究規範，並呼籲數學家停止與其合作。

OpenAI與數學界的緊張關係再度升級。爭議源於OpenAI公開的一批數學研究手稿。其內部模型嘗試解決約4000道數學問題，最終整理出涉及372組成果的研究材料，並公開了部分Lean形式化證明代碼。

但成果規模並未換來學界一致認可。數學家關心的不只是證明是否正確，還包括推導能否被理解、是否充分引用前人工作，以及新方法能否經過同行討論融入現有知識體系。

人類數學協會聲明指出，形式化驗證可以檢查邏輯推導，卻不能自動替代對命題含義、研究貢獻和學術背景的人工審查。

“一次性發布700多份文件，展示的不是學術研究，而是權力。”聲明稱。