p-vs-np

Notable P vs. NP proof attempts.

The Emergence Dynamics: The Paradigm of Continuous Measurement and Non-deterministic State Flows – Toward P versus NP and the Boundary of Computation

This repository was setup to help people who believe that they solved the P vs NP problem and to help the people who review proposed solutions.

python implementations of algorthims for the boolean satisfiability problem, including one to solve 3SAT in polynomial time

Formal verification of the logical incompatibility between the P=NP hypothesis and the Witten-Helffer-Sjöstrand tunneling theorems in spectral geometry. Implemented in Lean 4.

OPEN PROBLEMS WANT TO STAY OPEN

A comprehensive Python framework for parsing, transforming, and benchmarking CNF files for SAT solving research.

Machine-verified proof (0 sorries, 2 axioms) that P ≠ NP via exponential circuit lower bounds for Hamiltonian Cycle. Lean 4 formalization with Mathlib. Proves SIZE(HAM_n) ≥ 2^{Ω(n)} using frontier analysis, switch blocks, cross-pattern mixing, recursive funnel magnification, continuation packets, rooted descent, and signature rigidity.

Unity Equilibrium Theory (UET)

An interactive graph coloring game with progressive levels and customizable random graphs.

P != NP

LEAN is ZFC corrupted & TONE is the Cure

Reproducible proofs for P vs NP, Yang-Mills Mass Gap, and Riemann Hypothesis using parameter-free Jabri Identity Zₜ=1. Zero fitted parameters. Python code, data, and Zenodo DOI included. Author: Abdulla Al-Jabri.

IF SAT ∉ P THEN P ≠ NP — Certified. 223 bricks. 3 barriers. 1 hypothesis. DOI: 10.5281/zenodo.21303093

Labs for the Advanced Algorithms course

An experimental greedy heuristic for graph 3-coloring using a custom Matrix Sorting Machine priority structure, with benchmarking and graph visualization.

εὐθέως (G2112) — immediately, straightway. Witness 1419 as low16 pattern, prime 211 density, p5 phase reversal 14>13. The boat immediately reached the shore — Andreev lift from N to N²/log⁴ without rowing the intermediate distance, via Dirichlet α0. It

Novel mathematical framework connecting P vs NP to the golden ratio phi via witness space geometry. Part of the unified E8/H4/phi theory.

Investigacion experimental abierta sobre P vs NP: transicion de fase SAT, geometria del espacio de soluciones y complejidad computacional. Con IA. @Investigador_Amateur

Structural analyses of 11 Millennium-Class challenges (01/30/2026). Using the XYAKANYAA System, the repository documents how expanded observational context yields harmonic stabilization. Experimental, reproducible, and open to refutation.