密碼學家 Matthew Green 擔憂 AI 數學能力威脅公鑰密碼
約翰斯·霍普金斯大學密碼學家 Matthew Green 發文稱，人類有可能失去公鑰密碼學。他的理由是：機器已在人類攻關多年的數學問題上超越人類，因此沒有理由相信 Module-LWE、ECDLP 以及本就呈次指數複雜度的因數分解，已被人類的分析徹底釘死。他認為，在涉及全球網際網路安全時，押注人類這次同樣判斷無誤是一種過於主觀的賭注，並不安全。
原標題：I think we might lose public key cryptography
閱讀原文
| 評分 | 45 / 45（平均 45，門檻 76） |
|---|---|
| 狀態 | 未入選 |
相關報導
OpenAI 等實驗室攻克數學難題引發學界反彈
過去一年，OpenAI、Anthropic 等實驗室宣布解決了多個長期懸而未決的數學問題，其中甚至包括一道千禧年大獎難題，進展超出研究人員預期。但這些實驗室以矽谷式的高速推進，本應被慶祝的成果反而招致學界反彈，有數學家要求 OpenAI 證明未使用其工作成果，也有批評指向其行事方式。實驗室表示正在從早期的失誤中學習，承諾能否兌現尚待觀察。
OpenAI 單日發布 372 項數學成果，含 Unique Games 猜想證明
OpenAI 於 10 月 6 日一次性發布 372 項數學成果，其中包括 Subhash Khot 的 Unique Games 猜想證明，部分結果附有 Lean 證書，但並非全部。截至目前似乎還沒有人類讀懂這些證明，理解它們的競賽才剛剛開始。作者妻子、複雜度理論家 Dana Moshkovitz 長期研究 UGC，她稱論文寫得極差、必須靠 AI 輔助才能閱讀，證明構造出一種全新的遞迴編碼與噪聲測試。
OpenAI 放出 722 篇數學手稿，稱攻下準黎曼猜想等難題
OpenAI 在 GitHub 倉庫 openai/math 公開 722 篇數學手稿，歸入 372 個成果族，全部由一個尚未發布的內部前沿模型產出。據 OpenAI 說明，模型被投餵約 4000 個研究問題，平均每個結果消耗約相當於 3 小時 ChatGPT Pro 思考的算力，手稿日期幾乎集中在 9 月 23 日至 10 月 5 日。372 族中有 235 族附帶 Lean 形式化，約佔六成三；OpenAI 承認未形式化的結果可能存在問題，且未公布模型名稱。
Vitalik 支援加密 bunker mode 預警：AI 數學或先破 ECDSA
以太坊聯合創始人 Vitalik Buterin 支援研究員 Justin Drake 提出的 bunker mode 預警：AI 數學進展可能比量子計算機更早攻破保護加密錢包的 ECDSA 簽名演算法。Drake 建議持幣者有序把資產遷往公鑰未暴露的新地址，大戶先行，並在每次簽名交易後再換地址；Buterin 提醒遷移本身有風險，稱自己因遷移失誤損失的錢超過所有駭客攻擊。