OpenAI Astra internal model resolves ten long-standing math problems

By /