Check out this great @nytimes article https://
nytimes.com/2024/07/25/sci
ence/ai-math-alphaproof-deepmind.html
… by @sioroberts
. I think I disagreed with the title though, it should have been "Come over Mathematicians, we love you all!" 🙂

→ View original post on X — @lmthang