原文：OpenAI claims it solved an 80-year-old math problem — for real this time
OpenAI 声称它解决了一个 80 年前的数学问题——这次是真的
