It appears OpenAI Astra's mathematical feat was more of surface level stitching of components.
"The LLM-generated proof hinges on a particular mathematical argument that it presented as its own but that actually first appeared in a 2016 paper by Miller and a collaborator."