aiが数学の重要な定理を発見する日も近い