Grigori Perelman - The Challenge of AI Proving Theorems (via searchlore.ai)