From Individual Genius to World-Mind: How AI Ends the "Heroic Age" of Math