Grigori Perelman - The Future of AI in Mathematics (via searchlore.ai)