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