Scientific American·· 6 天前精選推薦指數87.60
OpenAI just scooped human researchers on a million-dollar quantum math problem
OpenAI在百萬美元量子數學難題上搶先於人類研究者

導讀
Another bombshell result shows how artificial intelligence is fueling fierce competition at the frontiers of math and physics
OpenAI用內部大語言模型給出了楊-米爾斯理論“存在性”部分的證明,搶在兩名人類數學家之前宣布結果。事件引發對證明來源、驗證時長與學術規範的爭議。
推薦理由
文章圍繞一次AI與人類數學家的搶先之爭展開,可練事件時間線定位(9月8日、10月6日、周日與周一晚)與多方引語的作者態度辨析。注意Sussman、Alpöge、Buckmaster對同一結果的不同措辭,以及Lean驗證時長這一數據對比所支撐的質疑。適合練習推斷言外之意與因果鏈梳理。
來源:Scientific American · scientificamerican.com