千禧年难题证明被OpenAI抢发？AI有没有夺取这几位数学家的功劳？