形式検証のニュースと分析

OpenAI、Astraで10本の証明を公開

OpenAIはAstraの初公開シグナルとして、数学と理論計算機科学の10件の成果、249ページの論文、Lean証明書、推論記録を公開した。