美國國防部針對人工智慧採購發布新指引，旨在呼應白宮關於「追求真相」及「意識形態中立」的指令要求。
目前大小是最小值，向右滑動可放大。
美國國防部發布指導文件以呼應白宮相關指令。這些指令強調AI系統應致力於「追求真相」並保持「意識形態中立」。
來源僅提供標題與連結，未包含指引全文、具體評估標準、生效日期或違規後果等細節。「追求真相」與「意識形態中立」在技術層面的具體定義與測量方法未在來源中說明。
由於原始來源僅提供新聞標題，未詳列具體技術指標或執行細節，因此無法確定未來AI合約的評選標準是否包含價值觀符合度，亦無證據顯示供應商需證明其模型不傾向特定政治觀點。
對於國防部採購流程是否將增加對AI系統內容生成或決策邏輯的審查環節，目前缺乏原文支持，相關影響與具體規範細節仍有待進一步資訊確認。
截至本次發布，正式發布包未登錄更正。
AI 協助擷取、寫作與核對；最終內容依來源與驗證規則發布。
Anthropic與新創公司Theorem合作，利用Claude模型在RISC-V組語層級對123個真實世界開源軟體函式庫進行了大規模的形式化驗證。這是首次嘗試將AI應用於生產環境軟體的組語層級形式化驗證，旨在透過數學證明取代傳統測試，以確保程式碼在特定條件下不會崩潰或違反記憶體安全規則。
Moonshot AI 發布 Kimi K3.1 Pro，這是其首款具備 100 萬 token 上下文的 3T 級別開放權重模型。該模型在程式碼生成、3D 建模及金融研究等領域表現顯著提升，並提供高速版本以增強互動反應速度。
電腦科學家 Edsger Dijkstra 於 1978 年撰寫的論文《論「自然語言程式設計」的愚蠢》近期在技術社群重新引發討論。該文主張使用人類母語作為機器介面不僅無法簡化工作，反而可能因缺乏形式符號的嚴謹性而導致更多錯誤與溝通負擔。
我們使用 Google Analytics 了解閱讀情況與改善新聞網站。你可以接受或拒絕分析 Cookie，不影響閱讀。了解 Cookie 政策
