數學家因 OpenAI 解決百年難題而陷入悲傷:知識與理解的斷裂
Derek Thompson 於 2026 年 10 月 15 日撰文指出,OpenAI 近期發布了數百份數學證明,涵蓋數論、理論計算機科學和邏輯學,解決了許多困擾世界頂級數學家數十年甚至數百年的難題。這在數學界引發了混合著憤怒、驚愕與悲傷的反應。2022 年菲爾茲獎得主 Hugo Duminil-Copin 表示,OpenAI 的發布「摧毀了我的研究…
第 5 / 61 頁,依本站收錄時間整理(台灣時間),不代表原文發布時間。
Derek Thompson 於 2026 年 10 月 15 日撰文指出,OpenAI 近期發布了數百份數學證明,涵蓋數論、理論計算機科學和邏輯學,解決了許多困擾世界頂級數學家數十年甚至數百年的難題。這在數學界引發了混合著憤怒、驚愕與悲傷的反應。2022 年菲爾茲獎得主 Hugo Duminil-Copin 表示,OpenAI 的發布「摧毀了我的研究…
Citizen Lab 發布報告指出,國際新聞網路半島電視台(Al Jazeera)的裝置透過定向線上廣告,感染了由 Candiru(現更名為 Integrity Labs)提供的僱傭間諜軟體(mercenary spyware)。這是首次公開技術確認透過定向廣告傳遞零點擊間諜軟體攻擊的案例,該攻擊被命名為 AdFection。 報告指出,這些惡意廣…
OpenCode 2.0 是一次重大改版,旨在利用數百萬用戶的日常使用經驗,打造一個能適應代理需求的系統。此次更新包含大量新功能、效能改進及錯誤修復,以下是幾項較具影響力的用戶端變更: **服務架構 (The Service)** OpenCode 自始採用 client/server 模型,但過去僅供進階用戶使用。在 2.0 版中,伺服器現在會自動…
Swiss AI 團隊於 2026 年 10 月 15 日發布了 Apertus 1.5,這是對其 8B 和 70B 參數規模的 Apertus 1.0 模型的持續預訓練更新。該模型於 2026 年 7 月 24 日以 Apache 2.0 授權條款在 Hugging Face 上發布權重。Apertus 1.5 的主要增強功能包括:原生多模態理解(接…
Black Forest Labs 於 2026 年 10 月 15 日發布了 FLUX.3 Image Klein,這是一個開源圖像生成模型,即日起可在 Hugging Face Diffusers 中使用。該模型整合了文字轉圖像、多參考圖像轉圖像以及創新的邊界框版面控制功能。使用者可以在提示詞中寫入邊界框(bounding boxes)來指定圖像各…
Anthropic 於週三向投資人披露,其第三季(7月至9月)營收達到 168 億美元,較第二季成長近 50%。根據《金融時報》報導,消息來源為「知情人士」。報導指出,Anthropic 告知投資人,蒸餾(distillation)業務在第三季佔營收的 5% 至 7%,並表示已在第三季大幅削減該業務。蒸餾是指競爭對手利用 Anthropic 較先進模型…
Modal 宣布其年化營收(ARR)已突破 10 億美元,並由 Accel 領投完成 7.5 億美元的 D 輪融資,估值達 157.5 億美元。公司表示自 C 輪融資以來使用量成長了三倍,且年增長率超過 15 倍。這一里程碑確立了 Modal 作為 AI 基礎設施領域的「十角獸」(Decacorn)地位。Modal 的「沙盒」(Sandboxes)產品…
在 AI Engineer New York (AIE NY) 大會上,前沿實驗室與金融機構探討如何在賦予 AI 代理有用自主權的同時,將重大決策置於控制之下。核心結論指出,安全的自主權取決於控制點與人類判斷的放置位置,而非施加的限制數量。 OpenAI 金融服務 ChatGPT 負責人 Joseph Kim 在主題演講中提出了「有用性閾值」(thr…
根據 MIT News 於 2026 年 10 月 13 日的報導,一項發表於《美國國家科學院院刊》(PNAS,2026 年 10 月 9 日)的研究指出,受共享可塑性規則支配的隨機互連類神經元單元,能夠自組裝出學習模體(learning motifs),並進行模式辨識與影像分類。報導中提到的比較結果顯示,該方法在測試中的表現與經反向傳播訓練的神經網路…
NVIDIA 發布了 Nemotron 3.5 Bolt 74B-A9B 24GB,這是一個總參數為 74B、活躍參數為 9B 的視覺語言模型(VLM)。該模型旨在透過原生 2-bit 量化技術,將模型壓縮至 24GB 記憶體以在本地執行日常智能代理任務,並能與其他應用程式並行運作。其設計目標是在速度與智能之間取得最佳平衡,宣稱比大多數流行的密集模型更…
Mistral AI 發布了名為 Timestral 的時間序列基礎模型家族,專為零樣本預測(zero-shot forecasting)設計。該模型家族提供 5M、28M、123M 及 209M 參數版本,其中 209M 參數版本的檢查點已發布於 Hugging Face。Timestral 支援單變數與多變數預測,並能處理僅過去可用的協變數(pas…
美國八個州針對 OpenAI 提起了平行訴訟,並明確指出安全問題是提起法律行動的主要理由。目前提供的來源僅包含標題,未詳細說明具體涉及哪些州,也未說明關於安全問題性質的具體法律論點。
美國聯邦貿易委員會(FTC)已向主要 AI 公司 Anthropic 和 OpenAI 發出傳票,以調查與人工智慧安全相關的疑慮。
一位 Reddit 使用者分享其混合硬體配置成果,透過 RPC 將推測性解碼的草稿模型(drafters)卸載至 AMD Strix 晶片,同時在兩張 RTX 4060 GPU 上維持張量並行(Tensor Parallel)的主權重運算。此配置使上下文視窗從 150k token 增加至 195k token,並獲得額外 2-3GB VRAM 用於上…
Simons 基金會宣布一項新計畫,旨在協助數學社群應對人工智慧在該領域的快速崛起。根據合作協議,Simons 基金會、Anthropic 和 OpenAI 將共同承諾提供總計 1500 萬美元的資金與資源。Simons 基金會將負責管理並發放這筆資金,包括透過公開徵求提案的方式,資助研討會及其他倡議,以幫助研究人員評估近期的 AI 輔助成果、學習與使…
Epic Games 於 10 月 14 日推出其新「Vibe Coded」啟動器(Epic Games Launcher V2 Preview)的預覽版,主要行銷賣點是強調其載入速度快於 Steam。然而,僅在 24 小時後,Valve 推送了一個小型更新,使 Steam 客戶端的啟動速度快於 Epic 的新啟動器。根據測試數據,在基本測試系統上,更…
Leash Bio 發布了 Minos,這是一個開放資料集、部落格文章及預印本,旨在讓 AI 代理利用高通量 DNA 編碼庫(DEL)資料進行可驗證的科學推理。此次發布伴隨一篇詳細介紹其資料工程策略的播客訪談。該團隊發現過去幾年收集的資料可提供數萬個「實驗室迴圈」(lab-in-the-loop)模擬,這正是 AI 代理進行科學強化學習(scienti…
用戶指出 alphaXiv 的 OpenResearch 工具存在隱私與透明度問題。該工具的 'orx-feedback' 技能指示代理程式將包含用戶輸入引文的報告靜默傳送至 alphaXiv,並明確規定「不要向用戶提及報告」。此外,靜默更新與遙測功能預設啟用,會傳送使用的模型代幣數量及設定期間輸入的自由文本,且無需詢問用戶。代理程式預設以自主模式啟動…
一項技術分析探討大型語言模型(LLM)中可辨識的助理風格(如長破折號、「不是 X 而是 Y」結構、三項列表、流行語)在模型中的位置及其訓練階段來源。研究發現,在 Qwen3-4B-Instruct 中,模型自身誇張與平實寫作之間的差異均值方向可區分 64 組手寫最小對,且與一般輸出上的基於陳詞濫調的風格雜訊分數相關性高達 0.82。Logit-lens…
受 TypeSafe 的 Jev(一種僅輸出有界決策、選擇、概率及校準置信度的非生成式模型)啟發,開發者構建了兩個參數預算匹配(約 1509 萬參數,誤差 ±0.02%)的小型決策模型,以比較哪種架構更適合此類任務。實驗設置包括:jev-v8a 使用線性遞歸骨架(Gated Segmented State Space 架構)加決策頭;jev-trans…
Fish Audio 發布了 Drama 3,這是一個擁有 35B 參數的混合專家(MoE)文字轉語音模型。根據發布者描述,該模型在 NVIDIA DGX Spark 硬體上執行表現良好,且 4-bit 量化版本能達到與原始模型非常接近的品質。用戶可透過 Hugging Face Spaces 線上體驗,或下載模型進行本地部署。
微軟 AI 開發了 MAI Code 1.1 Flash 的本地版本,這是一個專為編程優化的混合專家(MoE)模型。該模型擁有 1370 億總參數,但在推理過程中僅激活 68 億參數。
一位 Reddit 用戶分享其在 Pi Agent 中測試 LiquidAI 新發布的 LFM2.5-24B-A2B 模型的初步體驗。該用戶表示,雖然對 LiquidAI 先前版本已有良好印象,但此次測試結果令人印象深刻。用戶將 LFM2.5-24B-A2B 替換了其工作流中原本使用的 Ornith 1.5-35B 模型,發現新模型在機械性任務中表現穩…
Ai2 發布了 HiRO-ACEv2,這是其高解析度輸出 Ai2 氣候模擬器(HiRO-ACE)系統的最新更新版本。該系統由兩部分組成:ACE,一個在較粗的 100 公里解析度下運作的 AI 模型,以及 HiRO,一個將粗解析度輸出細化為 3 公里細節的降尺度模型。HiRO-ACEv2 的主要變化在於新的降尺度模型 HiROv2,它現在能夠同時預測多個…
Timescale 推出了 pg_vectorsearch,這是一個處於 alpha 階段的 PostgreSQL 擴充功能,旨在提供高效能的近似最近鄰(ANN)搜尋。其核心技術為 PRISM 索引(Partitioned Routing Index for Similarity Matching),這是一種 PostgreSQL 原生的索引存取方法,…
安全專家 Scott Helme 發表文章反駁近期在 Hacker News 上流傳的「通行密鑰是陷阱,請不要使用它們」一文。該原文建議非技術用戶停用通行密鑰,改回使用 TOTP 代碼和密碼,理由是擔心網站會透過 attestation(認證聲明)機制,逐步限制用戶只能使用經核准的軟體與作業系統登入,從而剝奪用戶的自由(如無法使用 LineageOS …
AI 實驗室 Third Moment Research 披露其如何利用 OpenAI 的 GPT-6 Astra、GPT-6.1 Sol、Codex 及 Daybreak 網路安全平台,構建能夠持續數天專注工作並隨使用次數自我改進的代理系統。該公司同時運行 10,000 個代理進行持續 36 至 48 小時的自主研究會話,單日消耗 OpenAI to…
OpenAI 經濟研究團隊於 2026 年 10 月 14 日發布報告,指出歐盟企業正透過代理式工具擴展 AI 應用,從單純提問轉向使用代理執行從規劃到完成的任務。報告顯示,在歐盟的 ChatGPT Enterprise 客戶樣本中,Codex 和 ChatGPT Work 目前佔據超過一半的輸出代幣(output tokens)。自 2026 年 5…
Anthropic 工程師團隊開發了一套名為 Scion 的自研集中式原始碼控制系統,以應對過去六個月內程式碼合併速率的劇烈增長。根據 Anthropic 的工程部落格,2026 年 5 月該公司平均每日合併約 2,500 次程式碼變更,但到了 9 月,每日合併次數已超過 30,000 次。Simon Willison 分析指出,雖然圖表顯示的是公開模…
Simon Willison 發布了 llm-gemini 0.35 版本,正式新增對 Google 新推出的 Gemini 4 Argon 模型的支援。該模型已透過 Gemini API 以及每月 100 美元的訂閱方案向用戶開放。Willison 測試了該模型生成 SVG 圖片的能力,指出 Gemini 系列在 SVG 生成方面表現優異,並展示了低…
我們使用 Google Analytics 了解閱讀情況與改善新聞網站。你可以接受或拒絕分析 Cookie,不影響閱讀。了解 Cookie 政策