54 ms·OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems2 points by joozio 3mo ago