AIは新しい数学を発明できるのか? DeepMind と著名な数学者テレンス・タオによる新しい論文は、その方法を示しています。 チームは AlphaEvolve を使用して、LLM が生成したアイデアを自動評価と融合させ、数学的アルゴリズムを提案、テスト、改良します。 解析、幾何学、数論にわたる 67 の問題のテストで、AlphaEvolve は既知の結果を再発見しただけでなく、有限の場合を普遍的な公式に一般化することさえあり、しばしばそれらを改善しました。 DeepThink や AlphaProof と組み合わせることで、AI が数学者を支援するだけでなく、発見において数学者と協力する未来が示唆されています。