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

Abstract: In situations where there is a lack of readily available annotated data, active learning is a useful tactic. To increase the model’s generalization, it entails training a model on a ...