3 ms·OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems3 points by paulpauper 2mo ago