When all is said and done, and the dust settles, I think Erdős 1196 will be recognised as the moment the average mathematician changes their view on the capability of AI models at doing interesting mathematics

→ View original post on X — @dotcsv,