快科技10月23日消息,人工智能技術的發展速度越來越快,針對當前AI產業過度滲透基礎科研領域的現狀,全球不少頂尖數學家選擇站出來聯手抵制。
據外媒最新報道,目前已經有超過一千名數學家公開作出承諾,不會為任何人工智能企業工作,也不會在自己的數學研究過程中使用AI生成模型。
他們做出這樣的選擇,核心背景是當下不少AI企業直接利用大模型攻克棘手數學難題的做法,正在業內引發越來越強烈的反對。其中不少被AI快速得出結論的難題,此前已經困擾了人類數學家數十年時間。
此前部分AI企業接連發布了不少爭議性的數學相關研究成果之後,人類數學家協會AHM正式成立。這個協會目前已經聚集了超過1000名成員,覆蓋了高校數學領域的教授、在讀博士生等各類科研人員,本月初美國開放人工智能研究中心OpenAI一次性發布722篇數學研究論文的操作,更是直接把相關爭議推到了頂峯。
美國加利福尼亞大學洛杉磯分校的知名數學家陶哲軒上個月就公開表態,這類研究成果的生產方式,以及直接把批量產出的內容直接拋給整個數學界的粗暴做法,很有可能從根源上損害數學這門基礎學科的發展根基。
哪怕在很多場景下,這些由AI生成的成果經過形式化驗證,可以被判定為可靠的正確解答,但它們的表述往往晦澀難懂,行文邏輯十分倉促。整個數學界既很難讀懂其中的完整推導過程,也沒法從中提煉出有價值的內涵和可複用的底層邏輯。
不少加入協會的數學家直白表示,加入人類數學家協會本身就是在對外表明他們對數學這門學科的認知。數學是一門需要長期打磨的技藝,整個探索過程離不開艱苦鑽研、深度思考,最終產出成果帶來的成就感也是科研旅程裏不可缺失的部分。
很多參與抵制的數學家表態,自己完全不想關閉大腦主動思考的部分,把原本屬於自己的研究工作直接交給機器代勞。如果一項研究成果自己沒法完全理解、沒法親自確證推導邏輯的正確性,他們絕對不願意把這類由AI批量產出的內容當成正式研究成果對外發表。
