首頁
工具
模型
應用
提示詞
新聞
專題
提交收錄
繁體中文
English 日本語 한국어 Português español Deutsch Русский Français 繁體中文 简体中文
選項
首頁 關閉
首頁
工具
分類 排行 封面生成 生成圖片 Skill
模型
大型語言模型 多模態模型
應用
提示詞
提示詞 圖片提示詞
新聞
新聞 快訊
專題
提交收錄
提交APP 提交工具
創建賬號 登入
更改語言 繁體中文 更改語言
設定
English EN 日本語 JA 한국어 KO Português PT español ES Deutsch DE Русский RU Français FR 繁體中文 ZH-TW 简体中文 ZH-CN
首頁
快訊
內容
RogerLopez
RogerLopez
2026-09-07

Anthropic 的 Claude 透過驗證臨界線上 67.25% 的黎曼ζ函式零點，推進了黎曼猜想的證明。數學家 Youness Lamzouri 利用希爾伯特空間不等式改進了該證明，AxiomProver 隨即在 Lean 中完成了即時驗證。這種人機協作加速了形式化驗證程序，標誌著數學研究從人工審查向機器驗證的轉變，並推動了對孿生素數猜想的進一步探索。

Anthropic 的 Claude 透過驗證臨界線上 67.25% 的黎曼ζ函式零點，推進了黎曼猜想的證明。數學家 Youness Lamzouri 利用希爾伯特空間不等式改進了該證明，AxiomProver 隨即在 Lean 中完成了即時驗證。這種人機協作加速了形式化驗證程序，標誌著數學研究從人工審查向機器驗證的轉變，並推動了對孿生素數猜想的進一步探索。
0
0
分享 點擊複製鏈接
評論 (0)
0/300
提交
作者 BruceAllen BruceAllen 2026-09-18
Anthropic 的數據顯示，目前其 80% 的程式碼是由 Claude 編寫的，使工程師的產出提升了八倍。然而，AI 習慣不斷提交細粒度的拉取請求（PR），導致測試案例激增十倍，並使持續整合（CI）系統當機，該系統在六個月內處理的任務量增加了 25 倍。 標準的修復方案未能奏效，但根據 Claude 的建議，採用新的分散式無狀態架構重建服務後，成功解決了過載問題。這凸顯出，當 AI 消除人類在編碼時所受的節奏限制後，原本為人類設計的軟體工程流程便成為主要的瓶頸。
0
0
作者 IsabellaDavis IsabellaDavis 2026-09-18
美國法官馬克·皮特曼駁回了 OpenAI 要求蘋果公司披露其與 SpaceXAI 之間機密反壟斷和解協議的動議。 該裁決認定，該協議與 SpaceXAI 與 OpenAI 之間正在進行的爭議無關。此前，X 和 SpaceXAI 已自願撤回針對蘋果的反壟斷指控，而他們針對 OpenAI 的訴訟則仍在進行中。OpenAI 原本希望透過披露該協議來評估其對自身訴訟的潛在影響，但法院認為沒有必要公開該協議。
0
0
作者 EricRoberts EricRoberts 2026-09-18
Qwen3.8-Omni-Flash 正式推出，具備 100 萬字元上下文處理能力，支援文字、圖片、音訊及影片。此模型能提升基於代理模式（Agentic）的編輯與製作工作流程。相較於 Qwen3.5-Omni-Plus，其評分提升超過 26%，在影音代理及編碼任務方面表現尤為突出。 音訊與影片 API 價格下降超過 93%。該模型在音訊與影片表現上可媲美 Gemini3.8Flash，而在整體音訊表現上更勝一籌。透過「Agentic 理解模式」，標記消耗量減少了 45.7%。團隊將此模型應用於自身研發，並在 12 小時內完成了四次迭代。 即時版本支援聲音定位，並將四川方言的辨識準確度提升了 40.7%。
0
0
/zh-tw/live/7431
作者 RichardGonzález RichardGonzález 2026-09-18
中國《“十四五”醫藥工業發展規劃》強調利用人工智慧和量子計算加速藥物研發。規劃推動極限製造、太空製藥和生物製造，同時推進基因編輯、細胞治療和類器官技術。關鍵突破包括人工生命系統、放射性藥物和異種移植器官，旨在透過企業與研究機構的跨學科融合，培育新的產業增長點。
0
0
作者 DavidGonzález DavidGonzález 2026-09-18
Figure 於 9 月 17 日推出 Helix2.5 人形機器人神經網路。該模型以 Index 資料集進行預訓練，在舊金山灣區 30 戶家庭中，其零樣本成功率從 9% 提升至 56%，優於從頭開始訓練的模型。 Helix2.5 支援整理客廳和摺疊毛巾等全身動作，僅需 Helix02 一半的適應性資料，便能達到相近的成功率。它展現出自我修正能力，並遵循 Index 資料量倍增時觀察到的規模定律。 Index 已累積 1,600 萬支影片及 44,000 名每週活躍用戶，而 Figure 已為 Helix 系列的運算投入 35 億美元。
0
0
/zh-tw/live/7429
OR