The main thing to take away from this whole story is that frontier labs have hired teams of mathematicians with the sole purpose of solving open problems.

If this doesn't show you that the fantastical claims of their LLM's ability to solve problems on their own are bullshit, I don't know what will.

It's pretty clear all of this is a marketing effort only, and they pass human results as LLM findings.

We already know that the supposedly industry-changing Mythos and Fable results were actually complete BS and they're just your run of the mill model. There's nothing at all to suggest this is any different, and once we get this "unreleased model" (aka bob from the math department), we'll see it was all lies again.