リーマン予想とかAIのほうが先に証明しそう