OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems

3 points | by paulpauper 10 hours ago