OpenAI 暴力攻克重大数学难题！数学家陶哲轩深夜发文：AI 正在挥霍“数学资源”