T twitter.com Unreleased OpenAI model solves 10 major mathematical problems 5 points crhulls 3 months ago 0 comments
