Tech »  A New AI Math Startup Just Cracked 4 Previously Unsolved Problems