40 days ago. Jakub Pachocki also said 'we believe we could make the models better at specifically mathematics research with additional focus, but we do not prioritize this direction because of the urgency we feel about RSI.' This was all a budgetary issue. https://x.com/AndrewCurran_/status/20981…

polynoamial@polynoamialAug 1

And yes we did try other major problems without success. Sadly no Millennium Prize problems (yet). But also, we didn’t spend a lot on each problem. It’s possible to push test-time compute much further.