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

2 points | by joozio 5 hours ago