james oofou comments on OpenAI’s Unreleased Model Astra Solves Ten Major Open Mathematics Problems