OpenAI解决了4000道数学题，似乎破解了其中722道，平均每题耗时3小时。 这在几年前可能是不可想象的，尤其是对数学家来说。