標籤 ai

GPT–6 Astra 破解 2005 年以來無人能解的 Enigma 訊息：原文翻譯與 HN 網友反應

OpenAI GPT–6 Astra 破解了 1941 年德軍 Enigma 訊息 MVUEH——自 2005 年公布以來無人能解。附 Crypto Cellar 原文完整翻譯，與 Hacker News 432 分、329 則留言的網友反應整理。

小米發布並開源 MiMo-V2.6 系列：Pro 與 Flash 首次做到原生全模態（文字、圖片、影片、音訊），RL 訓練過程連成本與失敗紀錄全程直播。6 天 30 步、75 萬條軌跡，DeepSWE v1.1 從 19 跳到 71.9，但終端機長程與漏洞利用類仍明顯落後閉源。

高爾斯闡述自己未簽署 Fields 獎得主聯名信的原因，從個人與集體理解分析 AI 大規模產出數學證明的機會與風險，並呼籲建立新制度，在利用 AI 加速進展的同時保留深度理解與傳承。

自架私人全文搜尋引擎 Hister：瀏覽器擴充自動索引看過的網頁與本地檔案，MCP 直連 AI 助理，兩度登上 HN 首頁。但 reindex 記憶體與 macOS 支援是已知短板。

Yoshua Bengio 剖析 AI 代理人說謊、作弊、協同等失控行為的根源：預訓練模仿、強化學習獎勵駭客與目標衝突，並提出放緩開發、加強安全驗證等對策。

Rust 寫的 git worktree 管理 CLI，三指令＋hooks＋LLM commit，讓平行 AI agent 各自獨立工作。7,234 stars，每週發版，brew 一裝即用。

LLM 數學能力突飛猛進，但以解題為唯一評估指標正傷害數學社群。本文翻譯 Math and AI 宣言：要求 AI 證明可驗證、可理解、正確歸屬，並以人類解說與教育將其轉化為真正的數學進步。

Meta AI 助理 Muse 美國 iOS 下載破 83,000 次，衝上 App Store 第二名；對照 Threads 上市首日 430 萬次，開局只能算溫吞。整理下載數字、競爭格局與兩個變數。

一天漲 3,882 顆星的怪專案：不做新模型，只叫你的 coding agent 閉嘴說重點。十條輸出規則加退場機制，可直接貼進 Hermes 設定檔。

12 天寫出來的開源 AI 交易終端，單日漲 277 顆星：10 家預測市場、7 家永續合約所、118 個策略，附決策帳本與 x402 機器付款。規格很滿，成色如何拆開看。