>
正文
Claude與Codex相繼找到雅可比猜想反例
2026-07-21 17:51

據 Woofun AI 消息,Anthropic 研究員 Levent Alpöge 利用 Claude Fable 找到了雅可比猜想的一個三維反例。該問題自 1939 年提出以來長期未解,Fable 提供的多項式映射函數雅可比行列式始終爲 -2,但將三個不同輸入映射至相同輸出,證明其不可逆。隨後,OpenAI 研究員 Aaron Lou 讓內部 Codex 模型在離線環境下嘗試解決,該模型也找到了相似反例並給出推導過程。

這一進展表明,人工智能可通過反覆試錯尋找反例或漏洞,再結合符號計算工具進行驗證,從而加速科學發現。然而,模型也可能生成看似嚴謹實則錯誤的證明,導致學術界面臨"無法驗證答案"的新挑戰。更深層的風險在於,若 AI 能高效突破大整數分解或離散對數問題,RSA、Diffie-Hellman 及基於 Curve 的加密技術將面臨威脅,網站加密、數字簽名、銀行交易及區塊鏈公鑰系統的安全性可能受損,迫使全球緊急更新加密標準。

免責聲明:本內容為作者獨立觀點,不代表平臺立場。未經允許不得轉載,文中內容僅供參考,不作為實際操作建議,交易風險自擔。
標簽:
Levent Alpöge
Aaron Lou
Claude Fable
Codex
Anthropic
OpenAI
分享:
back