AFSAT：高效能 GPU 加速偽布林 SAT 求解器
AFSAT 是一款功能完備的 GPU 加速偽布林可滿足性求解器，利用 JAX 編譯器進行大規模平行連續局部搜尋。它改進了先前的概念驗證模型，解決了浮點數限制與記憶體延遲問題，並在多個加速器上實現了近乎線性的擴展。
Search
直接匹配不多，已補上最新動態。
Tag: #jax3 results
🔬
用於無線電傳播建模的可微分光線追蹤研究
一份新的博士論文介紹了可微分光線追蹤框架，利用 JAX 在複雜物理環境中實現精確的梯度計算。該研究為將自動微分整合至無線設計模擬流程提供了全面指南。
🔬
使用自我對弈強化學習打造的超人類 Generals.io 代理程式
開發者利用自我對弈強化學習，成功打造出達到超人類水準的 Generals.io 遊戲代理程式。該專案採用 JAX 進行高效能模擬，並以 Vision Transformer 取代傳統 CNN 以實現更好的擴展性。
768 組外洩 AWS 金鑰仍可提供危險權限
Truffle Security 發現 768 組外洩的 AWS 金鑰，可對企業帳戶提供廣泛控制權，其中包括 526 組根金鑰。在受測憑證中，仍有 88% 處於啟用狀態；而 AWS 的隔離政策仍允許許多具破壞性的操作。
AI 需求先暴增，利潤仍在路上
GDS Holdings 顯示，AI 相關資料中心訂單的增長速度快於已確認收入。這項趨勢反映需求強勁，但基礎設施擴建週期也使獲利延後。
TikTok 以 4 億美元和解美國兒童隱私案件
TikTok 與 ByteDance 同意支付 4 億美元，和解美國司法部提起的案件；該案指控數百萬名未滿 13 歲兒童使用平台，且其資料在未獲家長同意下遭到蒐集。愛爾蘭監管機構也曾在 2023 年因兒童帳戶問題對 TikTok 罰款 3.45 億歐元。
Windows 為何成為 AI PC 的絆腳石
隨著 AI 工作負載提高對系統資源的需求，Microsoft 正重新最佳化 8GB 以上裝置的 Windows 記憶體使用。文章認為，舊版相容性、整合服務、WebView2 與分散的資源管理，正壓縮本地模型和 AI Agent 可用的記憶體空間。
具身智能開啟 PMF 長跑
文章探討具身智能如何進入一場長期尋找產品市場契合度（PMF）的過程。文章認為，商業成功不會立即到來，因為技術路線仍未定型，而場景與規模之爭才剛開始。
生成式AI正擊穿大學線上考試
一份最新報告警告，生成式AI正助長大學無人監考線上考試中的大規模作弊。相關機構敦促高校重新檢視這類評量，因為考試很容易被繞過，可能已無法可靠衡量學生的知識。
星海圖探索具身智能產業化
量子位報導星海圖與產業夥伴共同討論具身智能從模型走向生產力的路徑。文章強調透過產業協作，推動具身智能真正落地到多個行業。