2026 年 10 月 8 日,約翰斯·霍普金斯大學密碼學家 Matthew Green 發文警告,人類有可能失去公鑰密碼學。他的理由是,機器已經在人類攻關多年的數學問題上超越人類,因此沒有理由相信 Module-LWE、ECDLP 以及本就呈次指數複雜度的因數分解已經被人類的分析徹底釘死;在涉及全球網際網路安全時,押… 看完整事件
密碼學家 Matthew Green:AI 衝擊下公鑰加密有 15% 機率失去信心
密碼學家 Matthew Green 在 Twitter 上給出機率估計:有 1% 機率我們生活在 Minicrypt,即公鑰加密不可能存在的假想世界,另有 15% 機率會在功能上對現有公鑰加密演算法失去信心。他認為 AI 產出意外發現的速度,與人類替換標準的速度相差幾個數量級,只有提前做好準備才能從這類衝擊中恢復。Minicrypt 出自 Russell Impagliazzo 提出的假想世界。
原標題:Quoting Matthew Green
閱讀原文
| 評分 | 45 / 48(平均 46,門檻 65) |
|---|---|
| 狀態 | 未入選 |
相關報導
Vitalik 支援加密 bunker mode 預警:AI 數學或先破 ECDSA
以太坊聯合創始人 Vitalik Buterin 支援研究員 Justin Drake 提出的 bunker mode 預警:AI 數學進展可能比量子計算機更早攻破保護加密錢包的 ECDSA 簽名演算法。Drake 建議持幣者有序把資產遷往公鑰未暴露的新地址,大戶先行,並在每次簽名交易後再換地址;Buterin 提醒遷移本身有風險,稱自己因遷移失誤損失的錢超過所有駭客攻擊。
OpenAI 單日發布 372 項數學成果,含 Unique Games 猜想證明
OpenAI 於 10 月 6 日一次性發布 372 項數學成果,其中包括 Subhash Khot 的 Unique Games 猜想證明,部分結果附有 Lean 證書,但並非全部。截至目前似乎還沒有人類讀懂這些證明,理解它們的競賽才剛剛開始。作者妻子、複雜度理論家 Dana Moshkovitz 長期研究 UGC,她稱論文寫得極差、必須靠 AI 輔助才能閱讀,證明構造出一種全新的遞迴編碼與噪聲測試。
OpenAI 公開 722 篇數學手稿,聲稱攻克多項名題
OpenAI 把一個尚未發布的內部模型產出的 722 篇數學手稿一次性放上 GitHub,歸入 372 個「成果族」,覆蓋數論、幾何、理論計算機、數學物理等 17 個方向。清單裡既有證明也有證偽,摘要中出現「證偽」「反例」的成果族約 50 個;約六成附有 Lean 形式化,其餘只能算聲稱,且絕大多數尚未經過同行評審。涉及的包括準黎曼猜想、BSD 公式、有理數域上的希爾伯特第十問題、唯一遊戲猜想、Hadwiger 猜想反例、埃爾德什等差數列猜想等。
OpenAI 等實驗室攻克數學難題引發學界反彈
過去一年,OpenAI、Anthropic 等實驗室宣布解決了多個長期懸而未決的數學問題,其中甚至包括一道千禧年大獎難題,進展超出研究人員預期。但這些實驗室以矽谷式的高速推進,本應被慶祝的成果反而招致學界反彈,有數學家要求 OpenAI 證明未使用其工作成果,也有批評指向其行事方式。實驗室表示正在從早期的失誤中學習,承諾能否兌現尚待觀察。
OpenAI 公布歐盟文字溯源方案,API 可選用文字水印
OpenAI 公布應對歐盟 AI 法案的文字溯源方案:全球 API 客戶即日起可為部分模型選擇開啟文字水印(預設關閉),未來幾週將在歐盟的 ChatGPT 與 Codex 文字輸出中加入不可見水印,檢測器僅向獲批研究者與專家組織開放申請。其自研 textGrain 通過統計訊號標記用詞,在 1% 誤報率下對 200 token 段落檢出約 80%、400 token 約 95%,數學等用詞受限內容明顯更低;