形式化驗證 資訊與深度分析

OpenAI讓Astra寫出十個證明

OpenAI以Astra的內部版本公開十項數學與理論計算機科學成果，並同步發布249頁論文、Lean證書與推理記錄。