Hacker News Reader

openAI's claimed solution uses a model trained in the last 2 weeks. The prior work would definitely be included in the training set.

And the labs are all building panel of domin expert models, while simultaneously chasing open math problems.

I would be shocked if they weren't tuning those models with the most relevant math texts and user material