Comments moved to https://news.ycombinator.com/item?id=49639408, which has the original source. I'll try to assemble the other links there too.

Here's the original Mastodon post:

https://mathstodon.xyz/@andreasthom/117240535270608201

Nah the models are just that good at short scale math now. If your research program is close to it's goal the model can get it.

[dupe] https://news.ycombinator.com/item?id=49638353