“Karina Hong believes it will take a long time for AI to match the intellectual capabilities of the top 0.0001% of human mathematicians like Terence Tao.”