UltraWork 是一個託管式AI編程環境,每月固定費用399美元,無令牌計量,無需擔心意外賬單。它提供精選模型目錄、智能路由、提示模板庫,面向獨立開發者、機構和小團隊。由具有高性能基礎設施經驗的工程師運營,強調簡單性和可預測的定價。
AI 新聞即時情報
即時監測
即時更新
即時追蹤可信來源,保留出處、權限和站內閱讀模式,把噪音壓成可讀情報。
即時更新
2026-07-15
谷歌於2026年7月9日發佈了LiteRT.js,這是其設備端推理庫LiteRT的JavaScript綁定,允許.tflite模型直接在瀏覽器中運行,利用WebGPU加速。相比其他Web運行時,性能提升可達3倍,GPU/NPU路徑相比CPU路徑提速5-60倍,但需要手動管理張量內存。
Lean64 是一個用 Lean 4 實現的極簡 3D 第一人稱射擊遊戲,靈感來自 Doom 64。它並非 Doom 64 的移植版,而是獨立開發的原型,包含完整的遊戲循環、敵人 AI、武器系統、音效和地圖。所有代碼和素材均為原創,採用 MIT 許可證。
TormentNexus是一個本地優先的開源AI控制平面,為多代理工作流提供持久記憶、MCP工具編排和自主基礎設施管理。它支持38+ AI編碼代理,具有漸進式工具路由、雙層記憶架構和羣集協調等功能。
在10分鐘內構建語音AI助手,無需編程經驗。
澳大利亞總理安東尼·阿爾巴尼斯宣佈成立人工智能辦公室,並承諾為創意工作者提供最強保護,防止其作品被AI模型濫用。他還制定了數據中心發展新規,包括選址、能源和水資源使用限制,以避免推高電價和侵佔住房用地。
本文探討AI編程助手如何通過“提示-等待-評估”循環破壞心流狀態。作者指出,這種循環替代了編程中清晰的目標、即時反饋和技能匹配挑戰,導致頻繁的上下文切換和精神重建。文章引用心理學和中斷研究,分析AI工具如何成為新型中斷源,並建議開發者區分任務類型、批量使用AI以保護深度工作。
Tiptap AI工具包通過集成AI,實現直接、實時地編輯文檔,從而提升團隊協作和生產力。
儘管Anthropic聲稱其模型Claude內部出現意識跡象,但神經科學家阿尼爾·塞思認為,這不過是模擬,就像天氣預報系統不會產生真實颶風一樣。
人工智能幫助解答了統計學中多重假設檢驗的一個關鍵問題——如何控制錯誤發現率(FDR)。Benjamini和Hochberg在1995年提出了一種方法,而AI的最新應用進一步推動了該領域的發展。
Monid是一個平台,允許AI智能體無縫連接並使用超過1300種工具,涵蓋搜索、數據抓取、天氣、3D建模等領域。它提供統一的支付系統,按調用付費,無需訂閲,並支持三種集成方式:Skill、MCP和CLI。
26名匿名Meta員工起訴該公司,聲稱其在5月份的大規模裁員中使用了歧視性AI軟件系統,影響8000名員工,佔員工總數的10%。
喬治·盧卡斯認為抵制AI就像拒絕汽車選擇馬車,是一種過時的想法。他認為AI是電影製作的未來,無法阻擋,儘管有人擔心AI會取代人類創造力。
AI or Not 是一款識別AI生成內容的工具,幫助用户分辨文本、圖片等是否為人工智能生成。
Sogni Unlimited 提供基於訂閲的無限圖像、視頻、音樂和 LLM 生成,使用去中心化的 GPU 網絡。無需按渲染計費,支持開源模型及部分付費合作伙伴模型。訂閲收入的一部分用於支持獨立 GPU 運營商。
2026年6月,Anthropic的Claude Fable 5系統提示詞在GitHub上泄露,這是一份長達3826行的文檔,用於引導模型行為。本文詳細解析了其來源、結構、拒絕處理、關懷義務、記憶系統、代理機制以及版權保護等關鍵部分,揭示了前沿AI本質上是一套精心編寫的規則手冊。
AI 為您規劃整週日程,助您採取行動。
本文介紹了一種用於AI治療的系統設計,該系統通過確定性管道決定臨牀行動,不讓LLM自行決策。系統包括評分、狀態桶、准入表、動作選擇、微實踐和危機預篩查等步驟,僅在評分和生成階段使用LLM。文章還討論了該方法的成本與侷限性。
研究人員提出了一種基於物理信息的殘差動力學學習框架,在保持聯合多四旋翼系統微分平坦性的同時,捕獲複雜的空氣動力學相互作用。該框架實現了一種計算高效的反饋線性化控制器,與基準相比,平均跟蹤誤差降低了31%。其性能與最先進的非線性模型預測控制(NMPC)相當,但計算量少一個數量級。僅需不到30秒的訓練數據和5毫秒的循環週期即可實現穩定的緊密編隊飛行。
DiffRadar是一種實時雷達SLAM系統,將雷達觀測建模為可微的物理感知高斯場,而非離散掃描。在公共基準測試中大幅降低軌跡誤差,尤其在特徵貧乏的走廊環境下,同時地圖一致性提升一倍以上,並保持70 FPS的實時性能。
本文提出一種基於契約的行為樹合成架構,通過編碼智能體查詢機器人端的MCP服務器獲取技能庫和操作符,實現從自然語言到可執行行為樹的可靠合成。實驗表明該方法在模擬和實體機器人上均取得高成功率。
一項研究探討了在協作單詞聯想遊戲中,機器人的注視行為如何影響人類的視覺注意力,以及人類是否傾向於向機器人尋求確認性的注視。實驗使用NAO機器人作為大語言模型驅動的對話夥伴,發現機器人注視方向不影響人類首次注視提議單詞的時間,但參與者在對話中包含確認請求時會更頻繁地注視機器人。結果表明,在認知要求高的任務中,語言方面可能壓倒了機器人注視的影響。
本研究探索利用航天器機械臂的運動實現無推進劑姿態控制,通過軌跡優化問題公式化並引入關節和碰撞避免約束,演示了複雜機動,並證明了機械臂可作為冗餘或主姿態控制系統。
本文對索尼ERS-111 AIBO機器人的R-CODE樣本集進行了語料庫級別的行為圖分析,識別出以初始化、感知、迭代動作、同步和恢復為核心的緊湊控制詞彙,並論證了這種狀態抽象在資源受限的機器人系統中作為中間表示的價值。
GaitSpan是一種新穎的人形機器人步態擴展框架,它利用預訓練的行走策略作為種子技能,通過節奏生成、步幅塑造和殘差適應三個模塊,將基本行走能力平滑擴展到奔跑,實現了連續速度範圍、跨形態遷移和零樣本部署。
該論文提出兩種互補的物理先驗,以提高機器人手內滾動操作的魯棒性:全局抓取質量先驗基於經典抓取分析,局部接觸幾何先驗基於指尖曲率。實驗表明,這些先驗顯著提升了旋轉效率、抓取穩定性和抗干擾能力,並改善了仿真到現實的遷移。
提出一種無監督圖像翻譯框架,將白天植物行RGB圖像轉換為近紅外(NIR)夜間圖像,無需逐像素監督,從而重用白天語義標籤訓練夜間感知模型。利用預訓練CLIP模型保持語義一致性,並引入可見性掩碼處理NIR照明有效範圍有限的問題。在AgriNight數據集上評估,該數據集包含428張白天和549張夜間圖像,是首個夜間農業視覺導航基準。實際機器人夜間導航實驗驗證了有效性。
多機器人在受限環境中需要變形和重構兩種行為。現有方法獨立建模或依賴規則,易導致死鎖。EFLUX提出幾何基礎的LLM智能體框架,聯合推理變形和重構動作,通過閉環生成與驗證實現安全導航。實驗表明能減少死鎖和導航失敗。
一項新研究探討了無需訓練的人工合成圖像溯源方法中表示空間與參考選擇之間的相互作用。通過分析CLIP和DINOv2不同層的表示,以及三種參考選擇方法,發現中間層的表示在溯源準確率上表現最佳,且語義約束的參考能有效減少查詢與參考之間的不匹配,提升溯源性能。
本文系統評估了持續學習方法在異構醫學視覺問答任務中的表現,涵蓋分類、多標籤分類、檢測、細胞計數和報告生成等多樣化臨牀目標。研究發現現有持續學習方法難以在不同目標與監督格式交織的任務中保持穩定性-可塑性平衡。