> There is no question that OpenAI solved what the Clay institute is looking for. But that specific option C isn’t what the larger math community cares about, it’s a pretty niche case

I think you are agreeing with me? My point is that "the larger math community" failed to set the bounds of the problem correctly.