Yes. I wrote about it here in the other post: https://news.ycombinator.com/item?id=50000421#50000660

I’m frankly a bit disappointed that Tao published the blog post I linked to above.

Telling OpenAI they shouldn’t test frontier math on their internal models is just plain nuts and illogical. It’s surprising that the advanced math community can lack so much logic.