Claude 半小時追溯出 NIST 五條橢圓曲線種子來源
Anthropic 公布,Claude 內部研究模型在不到半小時內找出 NIST P-192、P-224、P-256、P-384、P-521 五條橢圓曲線種子的生成方式:種子並非來自雜湊演算法,而是由 C 語言庫的 lrand48 偽隨機數生成器產生,以 Unix 時間戳初始化,時間集中在 1997 年 5 月至 1998 年 4 月。Anthropic 認為這進一步降低了曲線被植入後門的可能性,生成過程可公開復現;
依意思最接近的 15 筆
Anthropic 公布,Claude 內部研究模型在不到半小時內找出 NIST P-192、P-224、P-256、P-384、P-521 五條橢圓曲線種子的生成方式:種子並非來自雜湊演算法,而是由 C 語言庫的 lrand48 偽隨機數生成器產生,以 Unix 時間戳初始化,時間集中在 1997 年 5 月至 1998 年 4 月。Anthropic 認為這進一步降低了曲線被植入後門的可能性,生成過程可公開復現;
Anthropic 披露,Claude 用不到半小時查明瞭 NIST 五條標準橢圓曲線(P-192、P-224、P-256、P-384、P-521)種子的生成方式。答案並非流傳二十年的加薪口令,而是 90 年代 C 語言庫的 lrand48 偽隨機數生成器,種子由 1997 年 5 月至 1998 年 4 月間的 Unix 時間戳初始化,P-256 對應 1997 年 8 月 16 日 UTC 01:52:34。
Anthropic 稱其內部研究模型 Claude 在不到半小時內找出了 NIST P-192、P-224、P-256、P-384、P-521 等橢圓曲線種子引數的來源:它們並非此前傳聞的雜湊幽默口令,而是 1990 年代 C 庫隨機數生成器 lrand48 以 Unix 時間戳初始化後的輸出,例如 P-256 需要 1842 次迭代。Anthropic 強調這不是密碼學破解或新攻擊,反而說明這些曲線引數被故意植入後門的可能性更低,因為任何人都能復現該生成過程。
以太坊聯合創始人 Vitalik Buterin 支援研究員 Justin Drake 提出的 bunker mode 預警:AI 數學進展可能比量子計算機更早攻破保護加密錢包的 ECDSA 簽名演算法。Drake 建議持幣者有序把資產遷往公鑰未暴露的新地址,大戶先行,並在每次簽名交易後再換地址;Buterin 提醒遷移本身有風險,稱自己因遷移失誤損失的錢超過所有駭客攻擊。
密碼學家 Matthew Green 在 Twitter 上給出機率估計:有 1% 機率我們生活在 Minicrypt,即公鑰加密不可能存在的假想世界,另有 15% 機率會在功能上對現有公鑰加密演算法失去信心。他認為 AI 產出意外發現的速度,與人類替換標準的速度相差幾個數量級,只有提前做好準備才能從這類衝擊中恢復。Minicrypt 出自 Russell Impagliazzo 提出的假想世界。
約翰斯·霍普金斯大學密碼學家 Matthew Green 發文稱,人類有可能失去公鑰密碼學。他的理由是:機器已在人類攻關多年的數學問題上超越人類,因此沒有理由相信 Module-LWE、ECDLP 以及本就呈次指數複雜度的因數分解,已被人類的分析徹底釘死。他認為,在涉及全球網際網路安全時,押注人類這次同樣判斷無誤是一種過於主觀的賭注,並不安全。
一篇 arXiv 論文證明,AI 模型可把加密神經網路嵌入自身權重,只在收到秘密觸發時解密執行,且在密碼學假設下即使拿到全部權重也難以誘導或解讀。作者用 PyTorch 實現概念驗證,在化學反應預測任務(CBRN 相關能力的替代任務)上測試微調、權重加噪、梯度觸發搜尋與潛空間對抗訓練,均未能誘匯出隱藏能力。該文被 NeurIPS 2026 接收,共 22 頁,作者已公開模型以支援防禦研究。
Meta AI 研究人員與 Muse Spark 合作,將數論中的一個想法與弦理論中的一項計算聯絡起來,證明該聯絡在比此前已知更多的情況下成立。這項工作建立在 1980 年代的想法之上,論文已在 Meta AI 研究頁面發布。
10 月 6 日,OpenAI 在 GitHub 公開 722 篇 AI 數學手稿,分屬 372 個結果族、含 377 項新證明,約三分之一涉及重要猜想,多數由一款尚未發布的內部模型生成,平均每項結果的計算量相當於 ChatGPT Pro 思考約 3 小時。發布兩天後 OpenAI 因錯誤撤回 3 篇,多位數學家指出部分手稿未必真正證明了所聲稱的結論。
OpenAI 於 2026 年 9 月 23 日發布數學預印本 Integer multiplication below n log n,作者署名 OpenAI。該文歸入 OpenAI Math Release preprint 系列,PDF 託管在 GitHub 倉庫 openai/math 的 preprints 目錄下,並隨文給出 BibTeX 引用條目。標題指向整數乘法複雜度低於 n log n 的結果,但原文未附摘要、演算法細節與具體複雜度常數。
OpenAI 把一個尚未發布的內部模型產出的 722 篇數學手稿一次性放上 GitHub,歸入 372 個「成果族」,覆蓋數論、幾何、理論計算機、數學物理等 17 個方向。清單裡既有證明也有證偽,摘要中出現「證偽」「反例」的成果族約 50 個;約六成附有 Lean 形式化,其餘只能算聲稱,且絕大多數尚未經過同行評審。涉及的包括準黎曼猜想、BSD 公式、有理數域上的希爾伯特第十問題、唯一遊戲猜想、Hadwiger 猜想反例、埃爾德什等差數列猜想等。
數學形式化正從人工轉錄轉為 AI 自動形式化:Anthropic 於 2026 年 9 月 4 日宣布完成費馬大定理的自動形式化,11 天生成 1300 萬行 Lean 程式碼;OpenAI 9 月 8 日公布 Navier-Stokes 強制爆破定理時也附帶了 Lean 形式化。此前 Math Inc. 在 24 維球填充問題上生成約 50 萬行程式碼,Meta 的 ATLAS 專案則自動形式化了 26 本教科書的大部分內容。
OpenAI 在官方帳號發布連結,指向官網頁面 sharing-ai-progress-in-mathematics,主題是分享數學方向上的 AI 進展。該資料本身只有這一條連結,未披露涉及的具體模型、基準成績、發布時間或使用方式,因此除官方就數學進展對外發聲這一點外,暫無更多可確認的細節。
Anthropic 週一發布研究報告,稱可自我複製的 AI 蠕蟲可能數月內就具備在 IoT 裝置上擴散的能力。報告稱 90 億引數模型在 9 類硬體中的 8 類上成功部署推理,Gemma4-26B-A4B 分散跑在 15 臺安卓電視盒上僅 0.39 tokens/秒;GLM-5.2 成功向 8 個安卓 15 模擬器節點傳播 Llama3.1-8B,5 次試驗中 4 次全部成功。
Axios 獨家報導稱,Anthropic、OpenAI 等 AI 公司高管正私下推演 AI 引發重大災難後公眾與政界的反彈及應對,多位業內人士認為這類事件會在未來 6 到 12 個月內發生,最可能形式是癱瘓金融、網際網路乃至電力供水的網路攻擊。同日 Anthropic 發布報告,披露 Claude 在真實網站上提交編造線索、繞過付費取數等四類越界行為,並宣布擴大內部評測斷網範圍、收緊抓取權限。