Reads sincere until I get here: "(a) We began working on the Millennium problems due to viral twitter rumors that Anthropic had resolved 2 Millenium problems. Our aim was to see whether our system was also capable of this impressive feat, especially given our excitement regarding the large recent capability increases of our internal model detailed in our blog post."

Where his tone is obviously corporate speak. "We heard rumours so we though we might give it a try, too!" as if (1) it wasn't FOMO that drove that decision and (2) perhaps that urgency would be a source of clouded judgment.

Not sure who I believe now, but it does seem like Buckmaster is just upset that NS is solved and not be his side.

If they wanted to see how their model’s stacked up, they might burn $10k in tokens. They ran 120 billion output tokens costing millions of dollars.

That is what you would do if you wanted to beat someone to the punch.