2026年整个夏季，变革的信号已清晰可见。几乎每周，人工智能模型都在为古老的数学猜想提供证明。因此，当9月8日OpenAI宣布其模型攻克数学界最著名的难题之一时，尽管这一进展并非全无预兆，但仍给许多人带来了突然而强烈的冲击。