NS方程还没解决，AI数学先drama了｜OpenAI与千禧难题风波