AISpot

搜尋

找到 3 筆;也可以試試 語意搜尋

Hacker News front pageAI 評分46

AI 數學發現快過學界消化,評論借《路邊野餐》作類比

一篇評論用斯特魯加茨基兄弟的科幻小說《路邊野餐》類比 AI 對科學的衝擊:AI 實驗室正成批產出數學發現,多到要另附導讀,速度遠超學界消化能力。作者稱這類「發現傾倒」會出現在所有能閉環快速驗證的領域;NYU 數學教授 Tristan Buckmaster 提到最近一批 AI 科學論文讓整個研究專案一夜之間被抹掉。文章的核心判斷是答案將越來越先於理解到來,理解成為瓶頸,這或許也是反加速主義少有的有效論據。

Hacker News front page● 精選AI 評分80

OpenAI 公布數百項數學證明,數學家稱領域被摧毀

OpenAI 近幾個月公布數百項數學發現,涵蓋數論、理論電腦科學與邏輯,其中不少證明曾困擾頂尖數學家數十年乃至數百年。2022 年菲爾茲獎得主 Hugo Duminil-Copin 在十月發布後表示「他們摧毀了我的研究領域」,康奈爾大學數學家 Steven Strogatz 也向作者描述了哭泣、迷失與興奮交織的感受。

Hacker News front pageAI 評分27

AI 時代數學的價值:客座文章談無我數學

客座文章《Egoless Mathematics in the AI Era》討論 AI 時代數學工作的目的與價值。作者區分數學是被髮明還是被發現,並以 Platonic 視角強調數學真理獨立於個人;同時指出能生成形式正確的推導不等於理解其意義,出版物、引用和獎項等績效指標不應定義工作本身的價值。文章認為,對 AI 取代數學家的焦慮暴露了此前已把人視為產出能力的觀念,回應不應只依賴創造力、直覺等相對機器的人類優勢。