依意思最接近的 30 筆
密碼學家 Matthew Green 在 Twitter 上給出機率估計：有 1% 機率我們生活在 Minicrypt，即公鑰加密不可能存在的假想世界，另有 15% 機率會在功能上對現有公鑰加密演算法失去信心。他認為 AI 產出意外發現的速度，與人類替換標準的速度相差幾個數量級，只有提前做好準備才能從這類衝擊中恢復。Minicrypt 出自 Russell Impagliazzo 提出的假想世界。
約翰斯·霍普金斯大學密碼學家 Matthew Green 發文稱，人類有可能失去公鑰密碼學。他的理由是：機器已在人類攻關多年的數學問題上超越人類，因此沒有理由相信 Module-LWE、ECDLP 以及本就呈次指數複雜度的因數分解，已被人類的分析徹底釘死。他認為，在涉及全球網際網路安全時，押注人類這次同樣判斷無誤是一種過於主觀的賭注，並不安全。
一篇 arXiv 論文證明，AI 模型可把加密神經網路嵌入自身權重，只在收到秘密觸發時解密執行，且在密碼學假設下即使拿到全部權重也難以誘導或解讀。作者用 PyTorch 實現概念驗證，在化學反應預測任務（CBRN 相關能力的替代任務）上測試微調、權重加噪、梯度觸發搜尋與潛空間對抗訓練，均未能誘匯出隱藏能力。該文被 NeurIPS 2026 接收，共 22 頁，作者已公開模型以支援防禦研究。
一位電腦科學家在這篇評論中指出，AI agent 結合 Lean 等互動式證明助手，正在把希爾伯特百年前設想的「證明機器」變為現實，其對數學界的衝擊甚至超過希爾伯特綱領的失敗。他同時警告，程式設計領域已把不讀 AI 生成程式碼當成常態；而在 Curry-Howard 對應下程式與證明本質相同，放棄閱讀就等於放棄理解。他主張像數學家反覆簡化 AI 證明那樣，用抽象、重構與更高層語言把程式碼簡化到能裝進腦中。
OpenAI 近幾個月公布數百項數學發現，涵蓋數論、理論電腦科學與邏輯，其中不少證明曾困擾頂尖數學家數十年乃至數百年。2022 年菲爾茲獎得主 Hugo Duminil-Copin 在十月發布後表示「他們摧毀了我的研究領域」，康奈爾大學數學家 Steven Strogatz 也向作者描述了哭泣、迷失與興奮交織的感受。
10 月 6 日，OpenAI 在 GitHub 公開 722 篇 AI 數學手稿，分屬 372 個結果族、含 377 項新證明，約三分之一涉及重要猜想，多數由一款尚未發布的內部模型生成，平均每項結果的計算量相當於 ChatGPT Pro 思考約 3 小時。發布兩天後 OpenAI 因錯誤撤回 3 篇，多位數學家指出部分手稿未必真正證明了所聲稱的結論。
OpenAI 於 10 月 6 日一次性發布 372 項數學成果，其中包括 Subhash Khot 的 Unique Games 猜想證明，部分結果附有 Lean 證書，但並非全部。截至目前似乎還沒有人類讀懂這些證明，理解它們的競賽才剛剛開始。作者妻子、複雜度理論家 Dana Moshkovitz 長期研究 UGC，她稱論文寫得極差、必須靠 AI 輔助才能閱讀，證明構造出一種全新的遞迴編碼與噪聲測試。
OpenAI 公布了三個重磅數學問題的解答，其中一項推翻了電腦科學中長期被依賴的指數時間假設（ETH）；數小時後，Anthropic 也發布了自己的 ETH 反駁。ETH 認為某類邏輯難題的求解時間隨變數數呈指數增長，若兩家所稱的「亞指數」演算法成立，P = NP 的可行性就需要重新評估。
菲爾茲獎得主陶哲軒發布《數學 2.0》演講，宣告建立在證明稀缺之上的數學 1.0 時代落幕：AI 正讓數學證明變得氾濫。他呼籲建立更透明的評估機制，把失敗結果與算力成本一併納入報告，並減少對搶先生成證明的強調，轉而重視解釋、評審與知識整理；其參與創立的 SAIR 基金會開放數學模型計劃將很快發布。此番表態的背景是 OpenAI 一次性發布 722 篇數學論文後，陶哲軒牽頭成立人類數學協會（AHM），並呼籲數學家停止與 OpenAI 合作。
OpenAI 公布 372 項數學與理論電腦科學成果，其中包括 Subhash Khot 的 Unique Games Conjecture（UGC）證明，推薦名單有 Timothy Gowers、Edward Witten 等數學家。UGC 意味著許多最佳化問題即使只想比半正定規劃鬆弛略好地近似，也是 NP-hard。部分成果附 Lean 證書，但幾乎所有證明尚未被人類理解；
OpenAI 在 GitHub 公開了 722 篇由內部未發布前沿模型生成的數學手稿，涵蓋數論、代數幾何、分析、組合數學等方向，其中約 300 項核心結果完成 Lean 形式化驗證，佔 42%。公司稱模型共嘗試超過 4000 個問題，一項典型成果平均消耗約 3 小時 ChatGPT Pro thinking 算力，但未公開所用模型與提示詞。
Anthropic 前沿紅隊部落格發布研究：與 Theorem Labs 合作，用 Claude 在數週內為一百多個真實開源庫證明安全屬性。形式化驗證過去只能用於小規模程式碼庫或需大量專家時間，AI 模型正讓大規模驗證變得可行。完整研究已在其部落格發布。
OpenAI 把一個尚未發布的內部模型產出的 722 篇數學手稿一次性放上 GitHub，歸入 372 個「成果族」，覆蓋數論、幾何、理論計算機、數學物理等 17 個方向。清單裡既有證明也有證偽，摘要中出現「證偽」「反例」的成果族約 50 個；約六成附有 Lean 形式化，其餘只能算聲稱，且絕大多數尚未經過同行評審。涉及的包括準黎曼猜想、BSD 公式、有理數域上的希爾伯特第十問題、唯一遊戲猜想、Hadwiger 猜想反例、埃爾德什等差數列猜想等。
Jeremy Avigad、Kevin Buzzard 等七位數學家聯合發文，反對在 OpenAI 上週發布後興起的「儘快形式化全部數學」呼籲，認為做得不好會造成持久損害、浪費鉅額資源。文中舉例：Anthropic 稱 Claude 用 1300 萬行程式碼、11 天完成費馬大定理的形式化驗證，Buzzard 稱讚成果卻表示不會停下自己手頭的形式化工作；Math, Inc. 試圖劫持 Viazovska 球堆積形式化專案，原團隊最終棄用 AI 程式碼重做。
以太坊聯合創始人 Vitalik Buterin 支援研究員 Justin Drake 提出的 bunker mode 預警：AI 數學進展可能比量子計算機更早攻破保護加密錢包的 ECDSA 簽名演算法。Drake 建議持幣者有序把資產遷往公鑰未暴露的新地址，大戶先行，並在每次簽名交易後再換地址；Buterin 提醒遷移本身有風險，稱自己因遷移失誤損失的錢超過所有駭客攻擊。
OpenAI 於 10 月 6 日發布 700 餘篇數學研究論文，數學家 Frank Calegari 撰文稱這是數學史上的分水嶺，AI 已能在多個數學領域做出突破性貢獻。他承認這些論文寫作粗糙、部分結論有誤、也違反學界署名慣例，但認為數學界更該在自己可控的招聘、發表與人才培養上著力。他以有限單群分類為歷史先例：Gorenstein 1972 年提出綱領，1983 年宣布完成，之後學科熱度下降，但深層問題依然存在；因此“著名問題被解決”並非終點，反而是新起點。
過去一年，OpenAI、Anthropic 等實驗室宣布解決了多個長期懸而未決的數學問題，其中甚至包括一道千禧年大獎難題，進展超出研究人員預期。但這些實驗室以矽谷式的高速推進，本應被慶祝的成果反而招致學界反彈，有數學家要求 OpenAI 證明未使用其工作成果，也有批評指向其行事方式。實驗室表示正在從早期的失誤中學習，承諾能否兌現尚待觀察。
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 於 10 月 26 日宣布，其內部模型證偽了理論電腦科學中沿用近 30 年的指數時間假設（ETH）：針對固定寬度的 CNF 公式，模型構造出亞指數時間的確定性演算法，可判斷是否存在滿足條件的賦值並精確計數，且已完成 Lean 形式化。ETH 的原始提出者 Impagliazzo、Paturi 與 MIT 的 Ryan Williams 將組織開放、獨立的審查。
OpenAI 於 2026 年 10 月 6 日發布由內部前沿模型產出的多項數學結果，以 GitHub 倉庫形式公開，併為其中許多證明提供 Lean 形式化驗證。倉庫同時給出 10 份模型推理摘要、以 ChatGPT Pro 用量折算的算力估算，以及嘗試題目數量的統計，平均每個結果約消耗相當於 3 小時 ChatGPT Pro 思考的算力。
Claude 在 123 個真實開源庫的 RISC-V 彙編層面生成了形式化安全證明，作者稱這是首次用 AI 把形式化驗證大規模應用到生產軟體。證明覆蓋所有小於 64 MB 的輸入：在單執行緒靜態二進位制、固定記憶體預算的 RISC-V 執行環境下，程式總能正常退出，不觸發記憶體安全錯誤或斷言失敗。寫證明的過程中 Claude 還發現了數萬億次測試都沒檢出的 bug；
OpenAI 宣布在數學、電腦科學和物理領域取得三項「重大」發現，距其批次發布數百篇手稿不到一個月。這次電腦科學與物理的結果由 OpenAI 稱為「shepherds」的外部專家引導產出；數學問題則按這些專家的建議，直接公開 AI 輸出，交由研究者自行給出解釋。相關結果已於當天加入 GitHub。
arXiv 新論文指出，用 Lean 機械驗證 AI 自動形式化的數學證明，並不能保證原始自然語言證明本身正確。作者 Bastounis、Circelli 與 Hansen 證明，要做到語義忠實的翻譯必須消解自然語言數學文字的歧義，而該問題在可解複雜度指數（SCI）層級中為無窮，比停機問題（SCI=1）更難。
數學家陶哲軒在 SAIR 演講中公開呼籲模型公司放慢數學研究節奏，稱 AI 無休止加速卻對後果一無所知，並稱之為 Proof Indigestion（證明消化不良）：AI 只在生成解答與 Lean 驗證上狂飆，理解、評審、寫入教科書幾乎停滯。此前他與 25 位菲爾茲獎得主聯名發表公開信，批評把數學當 benchmark 刷分。OpenAI 隨後回應，宣布在普林斯頓高等研究院設立數學與人工智慧顧問小組，但宣告寫明該小組不就數學上的內部進展提供建議。
OpenAI 宣布正在籌備下一輪內部安全衝刺，並將與 Cathedral Systems 合作，藉助 AI 測試並加固自身防禦。公告沒有披露這輪衝刺的具體時間、測試範圍與所用工具，只說明目標是用 AI 檢驗和強化安全防護。
OpenAI 本週突然公布了一批數學成果，規模之大讓數十位數學家措手不及，他們用「難以置信」「前所未有」「純粹瘋狂」等詞形容這次投放。多位研究者表示，僅弄清 OpenAI 到底發布了什麼就可能需要數年，更不用說判斷數學家自身在其中處於什麼位置。學界在震驚與興奮之外，也對這批結果的含義和後續影響感到焦慮。
OpenAI 在公開 GitHub 倉庫發布 722 篇數學手稿，稱其來自一個未發布的內部前沿模型。這批結果出自約 4000 道研究問題的評估，分成 372 個結果族，平均每個結果消耗約 3 小時 ChatGPT Pro 算力，發布內容含論文、證明產物與部分推理摘要，模型本身不公開。OpenAI 稱發布方式諮詢過高等研究院的數學與 AI 獨立顧問組，Sam Altman 稱之為“發現的新紀元”。
美國司法部對一起利用 AI 偽造「幽靈學生」身份、冒用數百名美國人身份騙取學生貸款的團伙提起訴訟，5 人被起訴，並查扣與肯亞籍人員網路相關的逾 75 萬美元加密貨幣。司法部稱這是首次在肯亞開展此類國際查扣，歸功於新上線的欺詐檢測措施；助理司法部長 McDonald 警告稱打擊行動才剛開始。
菲爾茲獎得主陶哲軒領銜的人類數學協會（AHM）發布聯合宣告，敦促全球數學家停止與 OpenAI 合作。導火索是 OpenAI 一次性發布 700 多篇機器生成的證明檔案，聲稱解答了若干數學界知名難題，被批「純粹炫耀算力霸權」；此前陶哲軒已聯合 25 位菲爾茲獎得主呼籲商業公司放慢腳步。宣告還提到 OpenAI 正因非法抄襲、侵犯版權和商標淡化等指控身陷訴訟。
Block 正藉助 OpenAI 技術建置 AI 安全能力，其安全團隊可以更快地調查威脅，並在幾分鐘內提出補丁。該訊息於 2026 年 10 月 14 日發布，公開內容只提到威脅調查與補丁提報兩個環節，未披露所用具體模型、部署規模與成本細節。