跟帖一万个Agent，88小时，Open AI破解数学「千禧难题」