“OpenAI recently proved that 𝜔≤2.25.”

OpenAI recently proved that 𝜔≤2.25. Their proof is outlandish, using Strassen’s theory of asymptotic spectra. Sergey Gusev recently gave a constructive proof of the same bound, which obviates the use of asymptotic spectra. However, their work is also quite opaque.