美國法官駁回 xAI 暫阻明尼蘇達州「nudify」App 禁令聲請，法律 8 月 1 日生效xAI 在法律簽署近三個月後才聲請，距生效僅三天；法院認定損害並非迫切，訴訟仍將繼續。TechCrunch AI·綜合 2 家多家報導
Lean 修補核心 soundness 漏洞 #14576：AI 輔助產生的 Collatz 猜想錯誤反證曾獲接受漏洞僅能透過 metaprogramming 觸發；修補在通報後一小時推出，新版修補程式也已發布。Hacker News單一來源