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 ???