Unreleased OpenAI model solves 10 major mathematical problems | Dark Hacker News