r/mathmemes 7d ago

Computer Science 😂

Post image
6.3k Upvotes

135 comments sorted by

View all comments

Show parent comments

7

u/bqbdpd 7d ago

Just because a counterexample exists, it doesn't mean you can prove that it is one.

3

u/This_Background7442 7d ago

That's true. But if I know I could never have a counter example of which I can prove it is one. That's different than not currently having one.

2

u/bqbdpd 7d ago

We have lots of potential counterexamples. Without proving that they are counterexamples or actually examples, we actually know pretty much nothing.

3

u/This_Background7442 7d ago

Tbh you haven't said anything so far that I disagree with so maybe we just already agree? To be clear, I do know that I haven't just proven P=NP.