OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems(thezvi.substack.com)
2 pointsby paulpauper2 hours ago1 comment