A New AI Math Startup Just Cracked 4 Previously Unsolved Problemswired.com5 points·battle-racket··1 commentOpen articleSaveView on HN