We are entering a new era of discovery now:

openai.com/index/sharing-ai-progress-in-mathematics