P vs. NP and the Difficulty of Computation: A ruliological approach
by tzury on 1/30/2026, 9:17:21 PM
Comments
by: jojomodding
Someone should tell Stephen Wolfram about the bbchallenge wiki (bb for busy beaver): <a href="https://wiki.bbchallenge.org/wiki/Main_Page" rel="nofollow">https://wiki.bbchallenge.org/wiki/Main_Page</a>
1/30/2026, 11:22:37 PM
by: MohskiBroskiAI
Nice job<p><a href="https://www.academia.edu/145628758/P_NP_Spectral_Geometric_Proof_via_Homological_Obstructions_Formally_Verified_in_Lean_4_" rel="nofollow">https://www.academia.edu/145628758/P_NP_Spectral_Geometric_P...</a><p><a href="https://github.com/merchantmoh-debug/-P-NP-Formal-verfication-in-Lean-4" rel="nofollow">https://github.com/merchantmoh-debug/-P-NP-Formal-verficatio...</a><p>Do I win?
1/30/2026, 9:23:46 PM