Resolve P versus NP
Determine whether there exists a polynomial-time algorithm that solves all problems in NP; equivalently, prove or refute that any NP-complete problem admits a polynomial-time algorithm (i.e., resolve whether P equals NP).
References
The computer science community largely believes that no polynomial time algorithm exists for all problems in NP (as an efficient algorithm for any of these complete problems, would imply), but this has yet to be proven.
— Entropy Computing, A Paradigm for Optimization in Open Photonic Systems
(2407.04512 - Nguyen et al., 2024) in Introduction (Section 1)
Complexity-theoretic: A deterministic O($n2$) exact solver for 3-SAT (would imply P=NP, which is open).
— Refusing the Impossible: A Taxonomy and Benchmark for Code Hallucination in Large Language Models
(2609.03267 - Dasu et al., 3 Sep 2026) in Appendix, Section “Taxonomy: Full Definitions and Examples,” subsection “Dimension 1: Groundedness,” paragraph “Relative hallucinations (contingent and ecosystem-specific truths)”