Differential Geometry Algebraic Geometry Topology 3D Modeling Spatial Analysis 3D Geometry Symplectic Geometry Problem Solving Manifolds Curvature
OpenAI published Lean certificates that let anyone run automated proof checks yet kept the Astra model private, prompting questions about reproducibility, authorship and safety.