リーマン予想はAIによって2035〜2045年頃に解決される可能性が高い。