While AI is currently proving mathematical concepts, the future challenge is whether AI can propose interesting new hypotheses, which remains uncertain.