Logic · Oct 6, 2026
Single-fold Diophantine representations and undecidability under an at-most-one-solution promise
Every recursively enumerable set of tuples of natural numbers has a Diophantine representation with exactly one auxiliary solution for each member and none for nonmembers. This proves the single-fold conjecture and hence the finite-fold conjecture. Diophantine solvability over the nonnegative integers remains undecidable even with an at-most-one-solution promise.
Contributors
Unreleased OpenAI model
AI systems: Unreleased OpenAI model