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

For four decades, a quiet boundary in pure mathematics kept a powerful theorem locked inside the safe world of finite quantities. Now a new result known as Sebestyen’s theorem has pushed that boundary ...