I don’t think that conjecture is too famous, so it shouldn’t be surprising given the past results from AI. I see it as (effort prompt → very difficult discovery) → (non effort prompt → somewhat difficult discovery)
GPT 5.6: “Recent papers explicitly call it a “famous conjecture,” but that fame is local to combinatorial optimization and approximation algorithms.”
I don’t think that conjecture is too famous, so it shouldn’t be surprising given the past results from AI. I see it as (effort prompt → very difficult discovery) → (non effort prompt → somewhat difficult discovery)
GPT 5.6: “Recent papers explicitly call it a “famous conjecture,” but that fame is local to combinatorial optimization and approximation algorithms.”