Maybe I misunderstood the question. I'll give it a second go, maybe I'll fail again. Feel free to reformulate.

The term SOTA suggest that you approach this from a perspective other than a pure mathematician's, maybe ML or computational complexity? The openai results help me answer other open questions. It's a yes/no thing: is question answered or not? It's not a question of "okay, but will AI win back the SOTA from me again?"