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