OpenAIやAnthropicなどのAIラボが、数学の難問を次々と解決しています。ミレニアム懸賞問題の一角を崩すなど成果を上げる一方、シリコンバレー流の「スピード重視」の開発姿勢が、慎重を期すべき数学界に波紋を呼んでいます。