The Math Legend Who Just Left Academia–For an AI Startup Run by a 24-Year-Old