今天在 X 上刷到一條數學帖,我第一反應是:這玩意兒我看不懂,但 3910 萬瀏覽絕對值得停下來弄明白。
事情大概是這樣:1939 年提出的雅可比猜想,困擾了數學界 87 年。數學家 Levent Alpoge 在 Fable 5 的協助下找到一個反例,隨後把三行公式直接扔到了 X 上。沒有發佈會,沒有倒計時,甚至開頭只是很隨意的一句“hello there”。結果這條帖子一路衝到約 4.3 萬點贊、5300 次轉發。
但這件事最容易被標題帶偏。它不是“AI 一覺醒來獨立解決世紀難題”,更像是數學家知道該往哪裏挖,AI 不知疲倦地試了海量路線,最後人類再檢查:這條路到底是不是真的通。
IBM 對這件事的總結很準確:AI 找到了突破口,人類負責叫出那一球。機器擅長的是把搜索空間推到人類體力夠不到的地方;人的價值,則是提出好問題、識別有意義的結果,並把答案變成可信的知識。
說實話,這比“AI 會不會取代誰”更讓我在意。以後真正拉開差距的,可能不是誰先拿到更強的模型,而是誰更清楚該問什麼、該驗證什麼,以及什麼時候不能盲信模型。
AI 正在變成一種新的研究搭檔。它跑得很快,但方向盤暫時還在人手裏。
AI
#人工智能 #Fable5 #数学 #科技熱點