OpenAI's internal AI model just solved an 80-year-old math problem — and mathematicians verified it - Live Science — AI News