Carina Hong, 24, raised $64 million to build an AI mathematician that discovers new theorems and solves century-old problems.

To cope with these demands, a new generation of focus apps has burst onto the productivity scene. These apps use gamification ...