OpenAI模型发现Erdős猜想反例 · AI HOT