OpenAI's internal AI model just solved an 80-year-old math problem ‪—‬ and mathematicians verified it - TrendCloud