Earlier quoted context omitted.
This reads like a mypillow CEO type post. Its insane this is coming from a company with as much scope as openai. Scope may not be the right word.
This should tell you how unserious these "companies" are when they consider themselves the grand harbinger of the one and true "AGI" because their frontier models were able to solve (with great assistance) some sort of conjecture that was never taken seriously in the mathematical world but somehow is significant now because ???
The companies can suck and their product can do amazing things at the same time.