Why Nostr? What is Njump?
2024-08-10 00:05:48

MercurialBlack on Nostr: I have changed my Lean DFS brute force proof search to a BFS brute force proof search ...

I have changed my Lean DFS brute force proof search to a BFS brute force proof search I'll prove P != NP any second now
Author Public Key
npub1ap6vp30cfxmlrjzuyx78rvq5djuwesvg948dapg88g00kct6hdsqlhcnls