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