
物理 AI 遇百年國貨:蛋白質進化史
講述單一蛋白質的進化史,物理 AI 與百年國貨結合。生物技術不應止於實驗室,而應成為產業迭代新引擎。
钛媒体 · 185 天前

講述單一蛋白質的進化史,物理 AI 與百年國貨結合。生物技術不應止於實驗室,而應成為產業迭代新引擎。
钛媒体 · 185 天前

2025春招,AI崗位如AI Agent研發工程師、AI動畫師在招聘會排隊最長,杭州占比超20%。需求激增複合人才,將AI融入銷售、教育、HR。
虎嗅 · 185 天前

玻色量子完成10億元B輪融資。它是「十五五」規劃專用量子電腦賽道的唯一代表。
量子位 · 185 天前

「Token革命」照進現實,徹底改變雲廠商的生存策略。AI驅動的token經濟要求定價與基礎設施的新適應。
钛媒体 · 185 天前

469家中國獨角獸估值2.05萬億美元,64.6%獨立創業團隊、32%大廠/央企孵化、3.4%高校轉化。2020後轉向組織化創新,國企主導AI、晶片等硬科技。
虎嗅 · 185 天前

階躍星辰推出桌面龍蝦,加入本地Agent競爭。交卷時間不算早,但交出不錯答卷。
钛媒体 · 185 天前
Gyre 1.0.19 是一種簡單、無迴圈的程式語言,適用於嵌入式系統與應用程式腳本,具有易讀語法。它透過避免迴圈與遞迴確保程式確定性終止。
LessWrong AI · 185 天前
網易雲音樂全面接入 OpenClaw,將音樂推薦、音樂搜索等能力封裝成標準化 CLI 及自動化 Skill。3月30日發布 OpenClaw 專屬使用教程,向開發者介紹 AI Agent 對音樂互動場景的價值,並梳理 CLI 多種使用方式。
36氪 · 185 天前
Reddit 貼文尋求擴散模型研究科學家/工程師面試準備建議。涵蓋準備資源、技術問題包括證明與實作、常見主題,以及即興研究腦storm。
Reddit r/MachineLearning · 185 天前

微軟正大幅現代化 Windows 11 中的舊版彈窗、對話框及系統 UI,同時保留控制面板等傳統元件。負責 Windows 設計的 Marcus Ash 證實,團隊已內部建置新工具,以更高效遷移舊框架介面至現代技術棧。
cnBeta (Full RSS) · 185 天前

Meta一位華人實習生開發出超級智能體,能夠自己撰寫代碼實現自我進化。該智能體專注於迭代改進自身方法以提升效能。
量子位 · 185 天前
越疆2025年業績報告顯示營收4.92億元,同比增長31.7%。協作機器人出貨量躍居全球第一,累計突破10萬台。
36氪 · 185 天前
蘋果於2026年3月31日凌晨意外向部分中國iOS 26.4用戶推送Apple Intelligence三小時,整合百度文心、阿里通義千問及谷歌圖像技術。隨即撤回,因未完成算法備案及安全評估等監管要求。
虎嗅 · 185 天前

Nvidia執行長黃仁勳站台的抱抱臉機器人迅速售罄。背後公司來自中國,利用數據驅動具身智能。
量子位 · 185 天前

在 AI 定義未來的時代,全球化競爭力源於技術硬實力、生態軟實力兼備,以及與全球客戶深度綁定。AI 雲從出海夥伴演進至全球智能基石。
钛媒体 · 185 天前

Google Research 的 TurboQuant 論文被宣傳為降低大模型推理成本的突破,將亮相 ICLR 2026,但 RaBitQ 作者指控其淡化先前方法、稱其理論次優,並有偏頗實驗。此爭議揭露大廠透過品牌與渠道,在同行審查前主導學術敘事。
雷峰网 · 185 天前

商湯科技跨越 AI 週期,定義 AI 公司盈利路徑。其 2025 年業績報告顯示清晰戰略訊號。
钛媒体 · 185 天前

每個主要 AI 記憶系統皆以語義組織資訊以實現泛化,但不可避免產生干擾、遺忘及錯誤回憶。本文為語義連續核閾值記憶形式化此權衡,並推導四項結果:有效秩、競爭者質量、衰減及誘餌。
ArXiv AI · 185 天前

研究人員引入一個包含 516 個證明狀態的基準,用於評估命題邏輯輔導中的 LLM 反饋。他們發現驗證可將錯誤傾向反饋提升 85%,但所有管道在複雜度 4-5 以上均失效。
ArXiv AI · 185 天前

神經符號方法使用邏輯張量網路(LTNs)將領域知識整合至詐欺偵測與醫療預測流程監控。兩階段最佳化採用加權公理損失預訓練,後接規則修剪,以平衡資料準確性與邏輯約束。
ArXiv AI · 185 天前

這篇 arXiv 論文調查不確定性知覺可解釋 AI (UAXAI),詳述不確定性如何透過 Bayesian、Monte Carlo 和 Conformal 方法整合進解釋流程。它概述策略如可信度評估、模型約束及不確定性溝通。
ArXiv AI · 185 天前

提出使用邏輯張量網路(LTNs)的神經符號方法,將領域特定流程約束注入預測流程監控,解決子符號方法合規性問題。四階段管道包括特徵提取、規則提取、知識庫建立及知識注入。
ArXiv AI · 185 天前

Multiverse 是一款語言條件生成器,能透過文字提示混合多款遊戲的關卡。它學習共享潛在空間,將文字指示與關卡結構對齊,並使用多正樣本對比監督來連結跨領域關卡。
ArXiv AI · 185 天前

MediHive 推出基於 LLM 的去中心化多代理框架,用於醫療問答,具備自主角色分配代理、基於證據的辯論,以及迭代融合以達成共識。它解決了集中式系統的擴展性瓶頸和單點故障等限制。
ArXiv AI · 185 天前

歐盟AI法案第50條II要求AI生成內容從2026年8月起標記人類可讀與機器可讀雙重標籤,但與生成式AI限制衝突。事實查核與合成資料生成分析顯示,事後標記因非確定性輸出與工作流程不足。
ArXiv AI · 185 天前

FormalProofBench 是一個新私人基準,用於評估 AI 模型在 Lean 4 中產生正式驗證的研究生級數學證明能力。問題來自資格考試和分析、代數、機率、邏輯等教科書。
ArXiv AI · 185 天前

daVinci-LLM 結合產業規模資源與完全開放,探索 LLM 預訓練科學。它釋出從頭訓練的 3B 模型,使用 8T 令牌、Data Darwinism 框架與兩階段自適應課程。
ArXiv AI · 185 天前

Anthropic 意外透過 npm 套件原始碼映射檔洩露 Claude Code 的 59.8 MB TypeScript 原始碼。512,000 行程式碼揭示解決 AI 代理上下文熵的創新記憶體架構。
VentureBeat · 185 天前
蘋果將手機晶片塞入MacBook,推出¥4599機型與Air並行。此轉變讓蘋果生態更親民。
虎嗅 · 185 天前

AlignOPT 將大型語言模型與圖神經求解器對齊,克服純語言方法在組合最佳化問題的限制。LLM 編碼 COP 的文字描述,GNN 建模圖結構以整合表示。
ArXiv AI · 185 天前