私は、現在最もスマートな AI モデルである GPT-5 Pro と Grok4 Heavy は、適切な種類の賢いプロンプトがあれば、重要な理論的および実践的な発見を考案し、開発するのに十分なほど賢く、数学と AI について十分な知識を持っていると確信しています。