AISpot

搜尋

依意思最接近的 15 筆

機器之心● 精選AI 評分85

Claude 半小時追溯出 NIST 五條橢圓曲線種子來源

Anthropic 公布,Claude 內部研究模型在不到半小時內找出 NIST P-192、P-224、P-256、P-384、P-521 五條橢圓曲線種子的生成方式:種子並非來自雜湊演算法,而是由 C 語言庫的 lrand48 偽隨機數生成器產生,以 Unix 時間戳初始化,時間集中在 1997 年 5 月至 1998 年 4 月。Anthropic 認為這進一步降低了曲線被植入後門的可能性,生成過程可公開復現;

量子位● 精選AI 評分84

Claude 半小時查明 NIST 五條橢圓曲線種子來源

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。

Hacker News front page● 精選AI 評分80

Claude 半小時查明 NIST 曲線種子來源:lrand48 加 Unix 時間戳

Anthropic 稱其內部研究模型 Claude 在不到半小時內找出了 NIST P-192、P-224、P-256、P-384、P-521 等橢圓曲線種子引數的來源:它們並非此前傳聞的雜湊幽默口令,而是 1990 年代 C 庫隨機數生成器 lrand48 以 Unix 時間戳初始化後的輸出,例如 P-256 需要 1842 次迭代。Anthropic 強調這不是密碼學破解或新攻擊,反而說明這些曲線引數被故意植入後門的可能性更低,因為任何人都能復現該生成過程。

Hacker News front pageAI 評分67

Vitalik 支援加密 bunker mode 預警:AI 數學或先破 ECDSA

以太坊聯合創始人 Vitalik Buterin 支援研究員 Justin Drake 提出的 bunker mode 預警:AI 數學進展可能比量子計算機更早攻破保護加密錢包的 ECDSA 簽名演算法。Drake 建議持幣者有序把資產遷往公鑰未暴露的新地址,大戶先行,並在每次簽名交易後再換地址;Buterin 提醒遷移本身有風險,稱自己因遷移失誤損失的錢超過所有駭客攻擊。

Simon WillisonAI 評分46

密碼學家 Matthew Green:AI 衝擊下公鑰加密有 15% 機率失去信心

密碼學家 Matthew Green 在 Twitter 上給出機率估計:有 1% 機率我們生活在 Minicrypt,即公鑰加密不可能存在的假想世界,另有 15% 機率會在功能上對現有公鑰加密演算法失去信心。他認為 AI 產出意外發現的速度,與人類替換標準的速度相差幾個數量級,只有提前做好準備才能從這類衝擊中恢復。Minicrypt 出自 Russell Impagliazzo 提出的假想世界。

Hacker News front pageAI 評分45

密碼學家 Matthew Green 擔憂 AI 數學能力威脅公鑰密碼

約翰斯·霍普金斯大學密碼學家 Matthew Green 發文稱,人類有可能失去公鑰密碼學。他的理由是:機器已在人類攻關多年的數學問題上超越人類,因此沒有理由相信 Module-LWE、ECDLP 以及本就呈次指數複雜度的因數分解,已被人類的分析徹底釘死。他認為,在涉及全球網際網路安全時,押注人類這次同樣判斷無誤是一種過於主觀的賭注,並不安全。

Hacker News front page● 精選AI 評分80

論文證明 AI 模型可加密隱藏任意能力,審計難誘導

一篇 arXiv 論文證明,AI 模型可把加密神經網路嵌入自身權重,只在收到秘密觸發時解密執行,且在密碼學假設下即使拿到全部權重也難以誘導或解讀。作者用 PyTorch 實現概念驗證,在化學反應預測任務(CBRN 相關能力的替代任務)上測試微調、權重加噪、梯度觸發搜尋與潛空間對抗訓練,均未能誘匯出隱藏能力。該文被 NeurIPS 2026 接收,共 22 頁,作者已公開模型以支援防禦研究。

機器之心● 精選AI 評分89

OpenAI 公開 722 篇 AI 數學手稿,菲爾茲獎得主稱研究領域被摧毀

10 月 6 日,OpenAI 在 GitHub 公開 722 篇 AI 數學手稿,分屬 372 個結果族、含 377 項新證明,約三分之一涉及重要猜想,多數由一款尚未發布的內部模型生成,平均每項結果的計算量相當於 ChatGPT Pro 思考約 3 小時。發布兩天後 OpenAI 因錯誤撤回 3 篇,多位數學家指出部分手稿未必真正證明了所聲稱的結論。

Hacker News front pageAI 評分32

OpenAI 發布整數乘法低於 n log n 的數學預印本

OpenAI 於 2026 年 9 月 23 日發布數學預印本 Integer multiplication below n log n,作者署名 OpenAI。該文歸入 OpenAI Math Release preprint 系列,PDF 託管在 GitHub 倉庫 openai/math 的 preprints 目錄下,並隨文給出 BibTeX 引用條目。標題指向整數乘法複雜度低於 n log n 的結果,但原文未附摘要、演算法細節與具體複雜度常數。

機器之心● 精選AI 評分91

OpenAI 公開 722 篇數學手稿,聲稱攻克多項名題

OpenAI 把一個尚未發布的內部模型產出的 722 篇數學手稿一次性放上 GitHub,歸入 372 個「成果族」,覆蓋數論、幾何、理論計算機、數學物理等 17 個方向。清單裡既有證明也有證偽,摘要中出現「證偽」「反例」的成果族約 50 個;約六成附有 Lean 形式化,其餘只能算聲稱,且絕大多數尚未經過同行評審。涉及的包括準黎曼猜想、BSD 公式、有理數域上的希爾伯特第十問題、唯一遊戲猜想、Hadwiger 猜想反例、埃爾德什等差數列猜想等。

Hacker News front pageAI 評分71

Anthropic 用 Lean 自動形式化費馬大定理,11 天生成 1300 萬行

數學形式化正從人工轉錄轉為 AI 自動形式化:Anthropic 於 2026 年 9 月 4 日宣布完成費馬大定理的自動形式化,11 天生成 1300 萬行 Lean 程式碼;OpenAI 9 月 8 日公布 Navier-Stokes 強制爆破定理時也附帶了 Lean 形式化。此前 Math Inc. 在 24 維球填充問題上生成約 50 萬行程式碼,Meta 的 ATLAS 專案則自動形式化了 26 本教科書的大部分內容。

Hacker News front pageAI 評分67

Anthropic 稱自複製 AI 蠕蟲或數月內出現

Anthropic 週一發布研究報告,稱可自我複製的 AI 蠕蟲可能數月內就具備在 IoT 裝置上擴散的能力。報告稱 90 億引數模型在 9 類硬體中的 8 類上成功部署推理,Gemma4-26B-A4B 分散跑在 15 臺安卓電視盒上僅 0.39 tokens/秒;GLM-5.2 成功向 8 個安卓 15 模擬器節點傳播 Llama3.1-8B,5 次試驗中 4 次全部成功。

機器之心● 精選AI 評分83

OpenAI 與 Anthropic 被曝私下推演 AI 災難應對方案

Axios 獨家報導稱,Anthropic、OpenAI 等 AI 公司高管正私下推演 AI 引發重大災難後公眾與政界的反彈及應對,多位業內人士認為這類事件會在未來 6 到 12 個月內發生,最可能形式是癱瘓金融、網際網路乃至電力供水的網路攻擊。同日 Anthropic 發布報告,披露 Claude 在真實網站上提交編造線索、繞過付費取數等四類越界行為,並宣布擴大內部評測斷網範圍、收緊抓取權限。