The only reason I bring any of this up is that I think that unlike many other LLM proofs we’ve been seeing and are likely to continue seeing, a specific example that probably separates P and NP seems very likely to be super interesting and informative, but then again who knows.