继 OpenAI 宣布他们用 AI 解决了一道Erdos 数学难题后，Googl