Reproduce “The Kleene-Rosser Paradox, The Liar's Paradox & A Fuzzy Logic Programming Paradox Imply SAT is (NOT) NP-complete” on OpenResearch

Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.