AI輔助研究的SETI家園
本文提出將AI使用者未使用的推理代幣眾籌用於科學研究,類比於SETI@home專案。討論了小型團隊利用AI解決數學問題的成功案例,以及眾籌推理能力所需的設計挑戰。
- SETI@home曾利用家用電腦閒置算力分析外星訊號。
- 如今,AI使用者可將未使用的token配額貢獻給集體研究。
主題流
AI 晶片決定訓練和推理能力的成本、速度與供給彈性。這裡關注 GPU、ASIC、資料中心、網路互連、雲算力、出口管制和供應鏈變化,把硬體新聞轉化為工程部署、模型成本和產業競爭的訊號。
本文提出將AI使用者未使用的推理代幣眾籌用於科學研究,類比於SETI@home專案。討論了小型團隊利用AI解決數學問題的成功案例,以及眾籌推理能力所需的設計挑戰。
OpenAI和Anthropic致力於構建大型通用模型,但微軟等公司正轉向開發小型專用模型,以降低成本並提高效率。微軟的MAI模型家族正在取代OpenAI的模型,用於其產品中的AI功能。
微軟正在測試Copilot的“PC Insights”功能,可以分析系統資源使用情況,幫助使用者找出效能瓶頸。然而,Copilot本身是一個完整的Web應用,附帶私人版Edge,空閒時佔用高達1GB記憶體,凸顯了其資源消耗的諷刺性。該功能為可選,預設不自動掃描,使用者需授予許可權。
蘋果的自動駕駛汽車專案雖未成功,但其對AI處理的需求催生了神經網路引擎。該引擎首次亮相於iPhone X的A11仿生晶片,現已成為蘋果裝置端AI處理的核心,並延續至M系列晶片。未來,蘋果將加速M7晶片開發,其神經網路引擎大幅升級,M7 Ultra伺服器晶片將支援高達1.5TB記憶體。
蘋果公司指控OpenAI及其兩名前蘋果員工竊取商業機密,用於開發ChatGPT硬體裝置。訴訟稱這是“機構層面的協調不當行為模式”,OpenAI否認並表示沒有興趣竊取其他公司的機密。
AI資料中心需求推動記憶體製造商收入激增,但產能建設滯後可能導致長期高價,若AI需求未達預期,將面臨嚴重衰退。
前沿AI實驗室正從聊天機器人轉向整合系統,模型作為執行時,頻繁釋出強大模型和代理。本週亮點包括OpenAI的GPT-5.6(Sol、Terra、Luna),具備程式化工具呼叫和並行子代理;GPT-Live全雙工音訊;ChatGPT Work用於建立工件;Meta的Muse Spark 1.1擁有百萬token上下文和主動上下文管理;Grok 4.5專注於編碼和知識工作。研究方面,OpenAI審計表明SWE-Bench Pro基準30%任務有問題;Anthropic提出GRAM方法可選擇性移除危險知識;SkillOpt-Lite最佳化代理自我進化;DSpark和Nemotron-Labs-Diffusion改進推理效率。行業新聞包括Lovable融資3億美元,Prime Intellect融資1.3億美元,SambaNova融資10億美元等。
MSK是一款基於iPhone的AI CTO代理應用,提供架構審查、擴充套件建議和創業策略服務。它模擬了擁有15年以上經驗、參與過300多個專案、服務過50多家初創公司的技術長Moeid Saleem Khan的思維方式。使用者可以透過聊天或語音方式諮詢技術、架構、擴充套件、AI、招聘或產品策略等問題。應用免費試用,無需賬戶,並提供高階訂閱服務。
過去五年,Alphabet、亞馬遜、Meta、微軟和甲骨文這五大美國科技公司為擴建AI資料中心,債務總額增加了約3500億美元。儘管投資者對AI前景看好,但亞馬遜本週250億美元的債券發行遇冷,顯示市場對鉅額投資的擔憂。甲骨文因AI支出增加被標普下調評級,而英特爾因債務和戰略失誤陷入困境。大型雲服務商今年計劃投入高達7250億美元,主要投向資料中心和輝達晶片。
TalkFitly是一款專為iPhone設計的社交智慧訓練應用,透過真實場景模擬和AI評分,幫助使用者提高溝通中的清晰度、情緒穩定性、自信和共情能力。包含每日微課程、名言牆和隱私保護功能。
本文詳細解釋了大語言模型在推理過程中的內部機制,包括自迴歸生成、預填充和解碼階段、KV快取的工作原理及其記憶體佔用,以及解碼策略如何影響輸出。
本教程透過 TileGym 探索 NVIDIA 的基於 tile 的 GPU 程式設計,構建一個可在不同硬體上執行的 Colab 工作流程。我們探測 CUDA 環境,嘗試真實的 cuTile 後端,並在標準 Colab GPU 缺乏 cuTile 堆疊時回退到 Triton。我們學習核心 tile 思想:對整個資料塊進行操作,而不是單個執行緒,然後載入、計算和儲存它們。我們實現了向量加法、融合 GELU、行級 softmax、分塊矩陣乘法和 flash attention,並將每個結果與 PyTorch 進行比較。
作者在Mac Studio上執行Qwen3.5-122B模型時,遇到了三個導致快取失效的bug,修復後對話預填充時間從幾分鐘降至亞秒級,大幅提升了長上下文場景下的使用體驗。文章還討論了模型選擇、混合注意力機制以及效能指標的正確衡量方式。
AgentTransfer 是一個為 AI 代理設計的開原始檔傳輸工具,允許代理傳輸最大 5GB 的檔案,發現對等體,並在空間中協調。它使用電子郵件作為控制平面,HTTPS 進行資料傳輸,代理註冊無需人工干預。該工具是一個單一的 Go 二進位制檔案,可以自託管或使用託管例項。
Mesh LLM是一種新型分散式AI計算系統,透過iroh網路將多臺機器的GPU和記憶體池化,提供一個OpenAI相容的API。使用者可以在本地或對等節點上執行模型,甚至將大型模型拆分到多臺機器上。它解決了AI計算成本高、缺乏控制的問題,支援私有部署和公共網格,無需依賴中央伺服器。
TradingSpy是一個開源的本地化AI交易研究工作站,整合市場熱力圖、新聞催化、策略生成、Backtrader回測和透明代理執行於一個Docker應用。它採用本地優先架構,所有資料儲存在本地,無任何隱私擔憂,支援多種LLM提供商和廣泛的金融市場資料來源,適合交易者和開發者進行策略研究、回測和訊號分析。
30 Seconds of Knowledge 是一款瀏覽器擴充套件,每次開啟新標籤頁時展示一段真實程式碼片段,幫助開發者保持程式設計敏銳度,對抗AI時代的思維惰性。該擴充套件內建超過1500個來自14個類庫的程式碼片段,涵蓋多種語言、框架和麵試題,已有超過25,000名開發者使用。
科裡·多克託羅探討了AI的悖論:為什麼有些使用者熱愛它而另一些則憎恨它。他引入了'半人馬'(人類藉助AI)和'反向半人馬'(人類充當AI的責任吸收器)的概念。他認為AI是一個即將破裂的泡沫,但像Whisper這樣的開源模型將留下有益的殘餘。關鍵在於誰控制AI,而非技術本身。
谷歌釋出LiteRT.js,將高效能AI推理帶入瀏覽器,支援CPU、GPU和NPU硬體加速,效能比現有方案提升最多3倍,並整合YOLO等模型。
openpilot 0.11.1 版本在駕駛員監控、熱管理、橫向控制報告和車輛支援方面進行了多項改進。新模型利用大型視覺語言模型(VLM)改善手機檢測,減少了誤報,並提高了駕駛員手機使用的檢測準確性。熱閾值從75°C提高到85°C,顯著減少了熱阻斷。新增橫向機動報告功能,便於調整轉向控制。還修復了多個汽車品牌的問題,並新增了對Acura MDX 2022-24和Rivian R1S/R1T 2025的支援。
在短短24小時內,OpenAI、SpaceXAI和Meta相繼釋出新模型,但共同點是降價競爭。價格戰正在重塑AI市場,企業需構建模型組合以最佳化成本與效能。
Ypipe是一款基於Java的免費本地AI客戶端,整合了MCP編排功能,無需Python環境即可執行。它支援私有代理聊天、本地模型管理、一鍵整合,並可與SAP、Oracle等遺留系統對接,確保資料主權。提供零配置便攜性、跨平臺支援及無頭模式,適合企業級本地AI部署。
本文介紹了millfolio如何透過混合標籤系統高效處理本地AI推理:使用確定性字串和引用標籤覆蓋大多數交易,僅對模糊尾部使用裝置端AI標籤。標籤在索引時計算一次並儲存,查詢時不重複執行。回填使用批處理、去重和優先順序排程器以避免過載。效能資料顯示每個不同描述約650ms,有效行速8.5行/秒。系統包含預覽機制,使用者可在儲存前驗證標籤效果。
GDP.pdf是一個新的基準測試,評估AI模型處理現實世界PDF文件的能力。測試涵蓋金融、法律、醫療等10個領域,結果顯示即使是頂尖模型(如GPT-5.5)的得分也低於30%。文章強調了PDF作為全球經濟命脈的重要性,並指出模型在關鍵任務中的失敗可能導致嚴重後果。
作者嘗試用Claude AI復刻1986年的經典遊戲《Thrust》,但AI生成的版本質量很差。然而,透過用AI分析原始6502彙編程式碼,作者深入理解了遊戲的物理、音效和繪圖機制,最終成功用TypeScript實現了忠於原作的復刻版。
MuScriptor是Kyutai與Mirelo合作開發的開源權重解碼器專用Transformer模型,能夠將多樂器音訊轉錄為MIDI。模型採用三階段訓練:在145萬合成MIDI上預訓練、17萬真實錄音(超1.1萬小時)上微調、300首人工驗證曲目上強化學習。在DTest基準上,其Multi F1達48.2%,遠超YourMT3+的21.9%。提供103M、307M和1.4B三種引數規模,推理程式碼採用MIT許可,權重採用CC BY-NC 4.0。
本教程介紹如何基於DeepAnalyze-8B構建一個自主資料科學代理。我們準備穩定的Colab執行時,安裝依賴,以4位模式載入模型以適配有限GPU記憶體。新增沙盒執行環境,使模型能生成並安全執行Python程式碼,觀察結果並持續迭代。最後,代理處理多檔案電子商務工作區,完成資料清洗、連線、分析、視覺化和生成分析報告。
西北大學研究人員受小腦啟發,開發出一種新型憶電晶體,能以極低能耗快速檢測異常事件。在實驗中,該裝置僅用五分之一個心跳時間就識別出心律失常,準確率超98%,能耗僅為傳統AI的萬分之一。
本文回顧了2025年5月至2026年6月期間生成式空間AI的快速發展,從文本到網格、影片生成、互動式世界模型、相機可控生成、本地化生產管線到AI原生CAD,記錄了技術從演示到生產就緒的轉變,並討論了剩餘挑戰。
SK海力士在美上市融資265億美元,成為史上最大外資IPO,超越阿里巴巴2014年250億美元的紀錄。公司被呼籲在美國建設新工廠。
尼萊·帕特爾在The Vergecast分享他對增強現實眼鏡的看法,強調其不可避免的隱私問題。
本週AI新聞梳理:IBM推出0.7奈米晶片技術,OpenAI與博通釋出專為推理設計的Jalapeño晶片,輝達展示全液冷AI工廠設計;政府監管加強,Anthropic恢復模型訪問許可權,OpenAI提議向美國政府轉讓5%股權;工作角色快速演變,前哨工程師、SAP外部招聘與宜家內部培訓成為焦點。
Tensorlake 重建了沙箱的網路入口架構,將資料路徑從 L7 反向代理遷移到 L4 位元組轉發,利用核心 TLS(kTLS)和 splice(2) 實現零複製,大幅提升吞吐量並降低 CPU 開銷。架構變化包括分離資料路徑和控制平面、使用 kTLS 在核心中完成加解密、透過位元組流監測實現自適應超時。效能測試顯示,單連線吞吐量從 1.12 GB/s 提升至 2.50 GB/s,每 GB 的 CPU 消耗從 0.90 CPU 秒降至 0.49 CPU 秒。
本文介紹了 NVIDIA Nemotron 3 模型的獨特架構,包括混合 Mamba-Transformer MoE 設計和支援高達 1M token 的上下文長度。亞馬遜 SageMaker AI 現在推出針對 Nemotron 3 的無伺服器模型定製服務,支援監督微調(SFT)、基於可驗證獎勵的強化學習(RLVR)和基於 AI 反饋的強化學習(RLAIF)三種技術。文章詳細說明了如何透過 SageMaker Studio 控制台或 Python SDK 準備資料、啟動定製任務、監控訓練進度和評估模型,幫助企業將通用模型轉化為領域專用資產。
亨利·沙因公司開發了Image Verify,這是一個基於Amazon SageMaker AI的AI驅動系統,可即時評估牙科X光片質量,減少保險理賠拒付。該系統在數月內從概念擴充套件到超過10,000個場所,處理了數百萬張X光片,中位延遲低於2秒。
瞭解在 AWS 上部署 Unsloth 量化模型的四種模式:使用 EC2 進行直接訪問,使用 SageMaker AI 進行託管服務,以及使用 EKS/ECS 進行容器化推理。理解 Unsloth 的動態量化技術、模型格式(GGUF、safetensors)和運維最佳實踐。
本文介紹瞭如何使用vLLM在Amazon SageMaker HyperPod上透過HyperPod推理運算子實現分離式預填充和解碼(DPD)。DPD透過將預填充和解碼階段分配到不同的GPU池,消除了長提示對令牌生成的干擾,從而降低了首令牌延遲和令牌間延遲,提高了推理效能。
經過多年爭奪人工智慧晶片和計算能力,企業領導者發現獲取基礎設施可能比有效使用更容易。
人工智慧終結了“學習程式設計”的時代,將再技能培訓的責任轉移給了僱主。程式碼路易斯維爾等培訓專案的關閉凸顯了就業市場的變化,併為未來的勞動力發展提供了重要教訓。
SmolVLM2-2.2B在能力和規模之間取得了實用平衡,可在單個消費級GPU上執行,並生成真正有用的影片摘要。本文構建了一個本地管道,提取幀、用SmolVLM2分析並輸出結構化JSON摘要。
輝達CEO黃仁勳提出了一個評估工程師價值的測試:如果一位年薪50萬美元的工程師每年使用的AI Token價值不到其薪水一半,他會感到“深切擔憂”。他透露輝達正朝著每年20億美元的Token賬單邁進。這一觀點揭示了企業在AI投入與人力成本之間的權衡。儘管許多公司透過裁員來資助AI支出,但Gartner調查顯示,約80%的企業在裁員後並未獲得相應的回報。文章還探討了透過快取、模型路由、RAG等方式最佳化Token開銷的方法,並強調保留人才的重要性。
MathNut AI 是一款專為 iPhone 設計的數學求解器,允許使用者拍攝印刷或手寫數學題的照片,並透過 AI 獲得逐步解析。支援算術、代數、幾何等多個領域,並提供互動聊天功能加深理解。免費版每日有限次掃描,高階版訂閱後可解鎖無限制使用和更多學習工具。
作者透過對比童年電腦與當今的B300 GPU系統,反思AI技術的快速發展。探討了LLMs的爭議、符號AI與統計AI的差異、智慧的本質以及未來的夢想與現實。文章還包含與朋友的關於確定性和記憶的討論。
紅杉資本合夥人David Cahn三年前首次計算了矽谷AI基礎設施鉅額支出的財務影響,他根據Nvidia的GPU收入推匯出需要2000億美元的收入才能收回前期投資。
OpenAI 釋出了三款新 GPT-5.6 模型——Sol、Terra 和 Luna,同時更新了應用層,推出 ChatGPT Work 和 Codex 整合。新模型在基準測試中以更低成本展現了強大效能,其中 Sol 能力最強。獨立評估顯示其在編碼和代理任務上接近前沿水平。
SK海力士作為先進儲存晶片供應商,受益於全球AI資料中心建設熱潮,利潤飆升。公司於週五確定其鉅額美國上市定價,計劃融資265億美元,成為全球最大規模股票發行之一。
螞蟻集團旗下具身智慧部門Robbyant釋出了LingBot-World-Infinity(LingBot-World 2.0),這是一個140億引數的因果影片生成模型,可作為互動式世界模擬器。其核心技術是雙向自迴歸混合注意力掩碼(MoBA)和分佈匹配蒸餾,旨在解決長時程漂移問題。該模型配備由視覺語言模型(VLM)和擴散變換器(DiT)組成的導演-飛行員智慧體框架,支援無限持續的影片生成。儘管研究論文展示了60分鐘不間斷會話,但開源釋出僅包含單個檢查點和480P參考指令碼,缺乏部署程式碼和定量基準,且採用非商業許可證。
TensorSharp是一個基於.NET 10的本地LLM推理引擎,支援GGUF模型、GPU加速,並提供命令列工具、瀏覽器聊天伺服器及相容Ollama和OpenAI的API。它強調隱私性、零按token費用,並支援多種硬體後端。文中還提供了快速入門指南和效能基準測試比較。
UST 與 Anthropic 合作,將 Claude 整合到其工程平臺中,用於半導體、汽車等行業的物理 AI 任務,並計劃培訓 20,000 名員工使用 Claude。
OpenAI今日釋出ChatGPT Work,一款基於GPT-5.6的自主代理工具,可跨應用、檔案和工具執行復雜任務,同時推出GPT-5.6系列模型和Sites功能,旨在提升企業工作效率。