跟帖OpenAI宣布三项科学新成果 数学与计算机成果通过Lean验证