AISpot

搜尋

依意思最接近的 30 筆

Hacker News front page● 精選AI 評分77

MiniMax M3.1 Flash 發布:成本降 70%,推理提速近 3 倍

MiniMax 正式發布 M3.1 Flash,官方稱其在 agentic 任務、coding、Computer Use 與網路安全上全面提升,使用成本較上一代降低 70%,線上推理速度提升近 3 倍。定價為每百萬 tokens 輸入 0.15 美元、輸出 0.60 美元、快取輸入 0.015 美元,日常輸出可達 200+ TPS(P50 170+ TPS)。

X @ollama● 精選AI 評分62

MiniMax M3.1 Flash 上線 Ollama 雲端,支援 1M 上下文

MiniMax M3.1 Flash 已在 Ollama 上線,可通過 Ollama Cloud 用 ollama run minimax-m3.1-flash:cloud 直接呼叫。官方稱該模型在美國託管、零資料保留,主打快速編碼與 agentic 工作流,支援影像理解和 100 萬 token 上下文視窗。它也能以 ollama launch claude 或 ollama launch codex 指定該模型,接入 Claude Code 與 Codex 使用。

Ars Technica AI● 精選AI 評分78

AI 首次在 Stratego 上擊敗人類頂尖選手

卡內基梅隆、MIT、紐約大學與斯坦福的研究團隊開發出 AI「Ataraxos」,以 15 勝 1 負 4 平擊敗被公認為史上最強的 Stratego 選手 Pim Niemeijer。此前連 DeepMind 都未能造出穩定戰勝頂尖人類玩家的 Stratego 機器。該 AI 僅用 16 塊 GPU、數千美元訓練成本,相關成果針對的是資訊不完全、隱藏資訊隨時間長期展開的博弈。

Hacker News front pageAI 評分56

Minotaur 不用語言模型與 GPU 完成演繹歸納等推理

Minotaur 這套不依賴語言模型、也不用 GPU 的 AI 架構,能完成演繹、歸納、溯因、診斷、實驗選擇與信念修正等多種推理,全部由單個網路、單個普通 CPU 核心完成,每題約 0.25 秒。在由從未看過其程式碼的人設計的盲測中,它在一道“提問會改變證人記憶”的警方訊問推理題,以及僅憑資料學習、診斷和預測系統兩項上,與當前語言模型表現持平。文章還回顧了邏輯理論家、通用問題求解器、專家系統、Prolog 與日本第五代計算機專案等前語言模型路線各自的止步之處。

X @GoogleDeepMind● 精選AI 評分68

@GoogleDeepMind: Four Gemini 4 Argon agents beat Minecraft from scratch in 27 hours.

Google DeepMind 宣布,四個 Gemini 4 Argon 智慧體從零開始,在 27 小時內通關 Minecraft,全程沒有任何人類幫助。它們在沙盒環境中僅使用程式碼和文字操作,一共編寫了 2783 個程式,通過聊天分配各自的任務、共享筆記,並一起除錯出現的錯誤。

NVIDIA blogAI 評分61

NVIDIA 發布 Minerva,為 AI 工廠提供端到端可觀測性

NVIDIA 發布 AIOps 平台 Minerva,為 AI 工廠提供端到端可觀測性。它把 GPU、網路、儲存、排程器與工作負載的遙測匯入動態知識圖譜,每小時分析數十億資料點,用於發現異常、預測故障並把告警風暴聚合為帶根因的事件;平台還內建 AI 助手,可連線外部 agentic 工具,目標是提升 GPU 正常執行時間與 AI 工廠產出。

Hacker News front pageAI 評分41

doubleAI 發布 Maxwell:位於程式碼與硬體之間的執行模型

doubleAI 發布 Maxwell,稱其為介於程式碼與硬體之間的 Code Execution Model,能在程式執行過程中加速程式碼,且不修改任何一行原始碼。它通過 trace、profiling 資訊和流經程式的資料觀察程式,並動態適配硬體、同機其他負載與輸入形態。目前已在 heymaxwell.ai 開放早期訪問。團隊認為,針對每種硬體和資料流反覆重新最佳化(如 vLLM 這類 LLM 推理引擎)不可擴充套件。

X @ollamaAI 評分50

Ollama 雲三天免費開放 MiniMax M3.1 Flash

Ollama 與 MiniMax 合作,未來三天在 Ollama Cloud 上免費開放 MiniMax M3.1 Flash,無需本地算力即可呼叫。該服務由美國境內託管,並承諾零資料保留,即不儲存使用者請求資料。免費視窗僅限這三天,託管地區與資料策略是官方同時說明的兩項條件。

機器之心● 精選AI 評分74

DeepMind 用 AI 智慧體篩出抗菌肽候選並進入溼實驗

Google DeepMind 10 月 15 日發布技術演示,展示用 AI 開發平台 Google Antigravity 的智慧體尋找抗菌肽:從 UniProt 數百萬條序列出發,經 ProtNLM 功能預測與序列、AlphaFold 結構、基因組鄰域三類證據篩選,找到一種 97 個胺基酸的乳酸菌素 972 家族細菌素候選(UniProt A0A0U0D591),已進入溼實驗驗證。

Hacker News front pageAI 評分47

六款 AI 決策模型吃豆人對戰,基準與排行榜開源

有人讓 jev 1.13、kev、clef、clef flash、GPT-6 Luna 和 Laya 六款低延遲決策模型玩吃豆人對抗機器人鬼魂,每個模型各跑 100 局,並公布了排行榜。測試倉庫已開源,任何人都能接入自己的模型加入排名。這些模型通過其創業公司 opper 執行,一局成本約 2 美分,併為所有人提供免費試用額度。讀者也能自己扮演吃豆人、由模型當鬼魂,作者稱打破 jev 的高分出乎意料地難。

機器之心AI 評分42

OpenAI 將 RSI 列為戰略目標,MemoraX 展示記憶驅動自進化

OpenAI 於 9 月 21 日發布官方戰略宣告,把自動化 AI 研究員與遞迴自我改進(RSI)列為下一階段重要目標,並計劃在 2028 年 3 月前打造真正的自動化 AI 研究員;Anthropic 同期披露,截至 8 月 Claude 已在約 26% 的內部 AI 研發工作中承擔主導角色。

X @GoogleDeepMindAI 評分57

@GoogleDeepMind: As AI accelerates scientific discovery, we’re helping researchers keep pace by quickly authenticati…

Google DeepMind 發布了一套可快速驗證生物設計是否內建安全防護的工具,並以開放形式供研究使用。該工具面向科研人員,目的是在 AI 加速科學發現的同時不拖慢關鍵研究進度。官方未披露具體工具名稱、技術細節與適用限制。

Latent Space● 精選AI 評分69

Leash Bio 發布 Minos:供智慧體做科學推理的開放資料集

Leash Bio 發布 Minos——一個讓 AI 智慧體進行可驗證科學推理的測試環境,同時公開預印本、部落格與開放資料集。其 DNA 編碼庫(DEL)多年積累的資料可提供數萬條「lab-in-the-loop」模擬,正好用作科學強化學習環境。在該沙盒中,LLM 需用自然語言推理構效關係,在 650 萬分子中、以 100 次預算找出最佳結合物。團隊自研的 Hermes 僅用自家資料訓練,在公開基準上與 Boltz 相當。

機器之心● 精選AI 評分68

普林斯頓 Elad Hazan 回顧線上凸最佳化二十年,談 AI 與數學

普林斯頓大學教授 Elad Hazan 發表長文,回顧線上凸最佳化(OCO)二十年,串起 Online Newton Step、AdaGrad 等現代 AI 核心方法的脈絡。他回憶了與 Satyen Kale、John Duchi、Yoram Singer 合作提出 AdaGrad 的過程,以及 ONS 論文被 FOCS/STOC 拒稿的經歷;OCO 的 regret minimization 與自適應更新思想後來進入 bandit、線上控制與序列建模。

Apple Machine Learning Research● 精選AI 評分69

Minions:聚合閒置 Apple Silicon 的分散式虛擬 GPU 雲

一篇新論文提出 Minions:把多臺 macOS 裝置上閒置的 Apple Silicon GPU 聚合成分散式虛擬 GPU 雲,用來跑大規模機器學習推理。作者認為集中式 GPU 基礎設施成本高、彈性有限、資源緊張時等待時間長,而 Apple Silicon 裝置的 GPU 在日常使用中大多處於空閒狀態。論文稱該方案讓團隊能夠利用現有裝置承載推理負載,具體排程方式與效能資料未在摘要中給出。

機器之心AI 評分51

奧特曼提 AI 競賽三種終局,最壞可癱瘓對手 GPU

OpenAI CEO 奧特曼在內部員工會議上提出 AI 競賽的三種終局:建立全球監管機構、頂級實驗室合併為一,以及一家公司率先突破關鍵技術。最極端情形下,率先突破的公司甚至能讓競爭對手的 GPU 集體癱瘓,奧特曼稱這是「糟糕透頂」的結局。前兩條分別參考 IAEA 與 CERN 模式;他也承認 OpenAI 目前無法輕易放棄技術領先爭奪。

Hacker News front pageAI 評分37

新工具追蹤 AI 領袖影片言論,Amodei 累計 54 條

有人做了一款工具,追蹤 AI 行業領袖在影片中的公開表態,並展示他們觀點隨時間的變化。目前收錄了 Dario Amodei(累計 54 條)、Alex Karp(51 條)、Marc Andreessen(49 條)、Sam Altman(45 條)、Palmer Luckey(40 條)、Satya Nadella(23 條)、Elon Musk(21 條)、Yann LeCun(6 條)等人,頁面同時標註本週新增條數,例如 Alexandr Wang 本週有 5 條。

Hugging Face blog● 精選AI 評分77

Ai2 發布 FairStress 公平性基準,含 1300 萬測試用例

Ai2 發布 FairStress 基準;除模型最終選擇外,它還測量模型在說服性論點下改變決定的難易程度是否因涉及群體而異。該基準包含 300 個雙候選人場景,覆蓋 29 個領域;組合身份呈現方式與對抗性字首後擴充套件為逾 1300 萬個測試用例,並另發布 5 萬條 FairStress-Core 子集,整合進 Olmo-eval。測試覆蓋 Olmo、Llama、Qwen、Gemma、Claude 與 GPT 系列,結果顯示同一論點會因受益群體不同而對模型決策產生不同影響。

機器之心● 精選AI 評分87

數十個 AI Agent 用 24 天完成有限單群分類定理的 Lean 形式化

10 月 26 日,Axiom Math 宣布數十個 AI Agent 用 24 天完成了有限單群分類定理的 Lean 形式化,產出約 4310 萬行程式碼、205 萬個宣告。這項被稱「巨型定理」的證明由 100 多位數學家耗費數十年寫成,約 1.5 萬頁、散落在 500 多篇論文裡。過程中 Agent 發現 1986 年 Walter 不平衡群定理的一處推理漏洞,並在群論專家建議下構造出新定理 Preservation of simple tops 補上這條路線。

量子位● 精選AI 評分69

輝達與 MIT 開源基於 MiniMax H3 的 4K 影片重生成方案

輝達與麻省理工學院團隊在 Hugging Face 放出影片增強專案 Open-H3-Regenerate-2K 的模型權重,配套推理程式碼開在 NVlabs/Sana 倉庫,可自行部署把低解析度影片草稿重生成到 2K、最高 4K。方案基於 MiniMax H3 基礎模型,凍結 Transformer 主幹與影片 VAE,只訓練細化 LoRA,推理時經三步去噪補充畫面細節。

Hacker News front page● 精選AI 評分79

StarSkirmish v0.2:GPT-6 Astra 寫星際爭霸 bot 居首,Sol 成本僅十分之一

StarSkirmish Bench v0.2 結果公布:模型用一小時寫一個星際爭霸:母巢之戰的 C++ 神族 bot,GPT-6 Astra 得分最高,GPT-6.1 Sol 以約十分之一的單次成本排第二。Gemini 4 Argon 第三,與 Claude Opus 5.5、Claude Fable 5.1 基本並列(37–39 分)。

Ars Technica AIAI 評分43

Nikon 顯微攝影比賽冠軍因使用 AI 被取消資格

Nikon 認定清華大學徐寧的 Small World in Motion 參賽影片使用 AI、不符合比賽規則,取消其冠軍資格,新科第一為越南的 Nguyen Nam Nhat,作品拍攝微小線蟲與單細胞生物。據 BBC 報導,有研究者指出該影片存在結構異常、細胞特徵憑空出現和消失,原始檔中還發現疑似 AI 水印;徐寧稱 AI 僅用於區分與視覺化重建灰度影像中的特徵,否認用它生成實驗影像、纖毛及其運動。

X @GoogleDeepMindAI 評分32

@GoogleDeepMind: @Apptronik By turning video into a training ground for physical AI, Argon compresses weeks of manua…

Google DeepMind 官方帳號提到,Apptronik 的 Argon 能把影片變成物理 AI 的訓練場,將原本需要數週的人工建模壓縮到幾個小時。這條推文以回覆 @Apptronik 的形式發出,正文只有這一句說明和一個 goo.gle 短連結,沒有披露涉及的機器人平台、影片資料規模或可用範圍。資訊發布於 2026 年 10 月 13 日。

X @MistralAI● 精選AI 評分66

@MistralAI: Voxtral Mini TTS 3 achieves state-of-the-art expressiveness in 35+ languages and 50+ dialects.

Mistral 發布語音合成模型 Voxtral Mini TTS 3,官方稱其在 35 種以上語言和 50 多種方言上達到當前最佳的表達力。模型支援隱式指令跟隨,能從對話內容中讀出情緒、語速與重音;也支援顯式控制,用 [emotion=sad][pace=slow] 這類標籤逐行設定情緒和節奏。