AITerm是一款原生macOS終端應用，整合了AI功能，支援自然語言命令、錯誤診斷、本地或雲端AI模型，並具有安全風險分級和自動回滾建議。免費版提供核心功能，Pro版增加自動化、執行手冊等，注重隱私和安全性。

一位開發者透過Fable工具在AsciiDoc、Markdown和HTML之間轉換了674份文件，並比較了這些格式在AI規範中的適用性。

非英語母語寫作者的新工作流：先用母語起草，然後用AI翻譯和潤色成英語。研究表明，用第二語言寫作會多花30-50%的時間，原因是認知負荷。透過將想法生成與語言轉換分離，並藉助Echoo等AI工具，寫作者可以恢復速度和表達質量。

在AI輔助程式碼審查中，確定性的靜態分析可以顯著降低token消耗。透過在呼叫LLM之前先用確定性檢查過濾已知問題，團隊能減少不必要的推理開銷，將模型能力集中在真正需要判斷的模糊問題上。

AIDE2 系統透過八天的自主研究，發現了一個比人類兩年構建的更好的自動研究框架，實現了遞迴自我改進（RSI）的首個實驗證據。該系統採用雙層最佳化迴圈，內層迴圈最佳化程式碼，外層迴圈最佳化內層智慧體的程式碼框架，最終產生了七個改進版本，並在未見過的任務上表現出泛化能力。同時，系統還進化出了防止獎勵駭客行為的機制。

諾基亞於7月15日釋出了其AI-RAN平臺，聲稱是業界首個GPU加速的AI無線電平臺。該平臺基於anyRAN軟體和輝達的Aerial系統，旨在顯著提升頻譜效率，目前已實現超過20%的提升，目標是到2028年實現翻倍。然而，該平臺尚未商用，且面臨愛立信等競爭對手的挑戰。

ASML 2026年第二季度業績超出預期，淨銷售額達93億歐元，淨利潤29億歐元。公司上調全年預測至430-450億歐元，中國銷售額佔比穩定在20%左右，儘管面臨MATCH法案對DUV出口的限制。

UltraWork 是一個託管式AI程式設計環境，每月固定費用399美元，無令牌計量，無需擔心意外賬單。它提供精選模型目錄、智慧路由、提示模板庫，面向獨立開發者、機構和小團隊。由具有高效能基礎設施經驗的工程師運營，強調簡單性和可預測的定價。

谷歌於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機器人作為大語言模型驅動的對話夥伴，發現機器人注視方向不影響人類首次注視提議單詞的時間，但參與者在對話中包含確認請求時會更頻繁地注視機器人。結果表明，在認知要求高的任務中，語言方面可能壓倒了機器人注視的影響。

本研究探索利用航天器機械臂的運動實現無推進劑姿態控制，透過軌跡最佳化問題公式化並引入關節和碰撞避免約束，演示了複雜機動，並證明了機械臂可作為冗餘或主姿態控制系統。