7 ms·A New AI Math Startup Just Cracked 4 Previously Unsolved Problems5 points by battle-racket 7mo agomelling 7mo agohttps://archive.is/519Ox https://archive.is/519Ox