A New AI Math Startup Just Cracked 4 Previously Unsolved Problems(wired.com)5 points by battle-racket 144 days ago | 1 comment