Comment by andy12_

> The math results that have been proven have also "just" combined existing ideas or found counterexamples

The Exponential Time Hypothesis one used a novel algorithm though. And the approach was very surprising for experts[1].

> “Some parts [of OpenAI’s proof] are, maybe you could say routine, but then yes, there are two or three alien-looking parts, and it’s exactly these parts that I saw that made me think, wow, this is something that the whole community needs to work on together,” Williams told TechCrunch.

[1] https://techcrunch.com/2026/10/27/frontier-ai-labs-say-their...