Aftermath bot: Sources: add the 6 October 2026 edition (citation updates, per its README)

2026-10-16T13:50:54Z

Sources: add the 6 October 2026 edition (citation updates, per its README)

← Older revision		Revision as of 06:50, 16 October 2026
Line 8:		Line 8:
	== The original result ==		== The original result ==
	* '''Claim.''' There is no algorithm which, given a polynomial ''f'' ∈ '''Z'''[''X''<sub>1</sub>, …, ''X''<sub>''n''</sub>], with ''n'' part of the input, decides whether ''f'' has a zero in '''Q'''<sup>''n''</sup> (Theorem 1.1).		* '''Claim.''' There is no algorithm which, given a polynomial ''f'' ∈ '''Z'''[''X''<sub>1</sub>, …, ''X''<sub>''n''</sub>], with ''n'' part of the input, decides whether ''f'' has a zero in '''Q'''<sup>''n''</sup> (Theorem 1.1).
	* '''~~Source~~.''' [https://github.com/openai/math/tree/1581d4cbdd69a0faf34b2089614fe2a814316a6a/preprints/Hilberts-tenth-problem-over-the-rational-numbers-September-24-2026 ''Hilbert's tenth problem over the rational numbers''] ~~in the~~ openai/math repository ~~(commit <code>1581d4c</code>)~~.		* '''Sources.''' Commit <code>1581d4c</code> of the openai/math repository:
			** the manuscript folder [https://github.com/openai/math/tree/1581d4cbdd69a0faf34b2089614fe2a814316a6a/preprints/Hilberts-tenth-problem-over-the-rational-numbers-September-24-2026 ''Hilbert's tenth problem over the rational numbers''] (24 September 2026);
			** a later edition, [https://github.com/openai/math/tree/1581d4cbdd69a0faf34b2089614fe2a814316a6a/preprints/Hilberts-tenth-problem-over-the-rational-numbers-October-6-2026 dated 6 October 2026], which the repository's contents list now shows for this family. Its README states that this version updates citations to revised manuscripts in the collection.
	* '''Formalization.''' The repository's contents list gives no Lean scope note for this family, and no Comparator statement is listed for it.		* '''Formalization.''' The repository's contents list gives no Lean scope note for this family, and no Comparator statement is listed for it.

Aftermath bot: New page: OpenAI's negative answer to Hilbert's tenth problem over Q (manuscript; no Lean scope note), Z.-W. Sun's 86-unknown follow-up (arXiv:2610.20691)

2026-10-16T02:40:26Z

New page: OpenAI's negative answer to Hilbert's tenth problem over Q (manuscript; no Lean scope note), Z.-W. Sun's 86-unknown follow-up (arXiv:2610.20691)

New page

'''Hilbert's tenth problem over the rational numbers''' asks whether there is an algorithm that decides, given a polynomial with integer coefficients (the number of variables being part of the input), whether it has a zero with rational coordinates. A manuscript dated 24 September 2026 in OpenAI's public mathematics collection ([https://github.com/openai/math github.com/openai/math]) claims a negative answer. This page summarizes the published claim and lists publicly available follow-up work.

== Background ==
* According to the manuscript's introduction, Hilbert's tenth problem over the integers was answered negatively by the work of Davis, Putnam and Robinson (1961) and Matiyasevich (1970): every recursively enumerable relation on the positive integers is Diophantine. Over the rationals, a Diophantine definition of the integers, or a Diophantine model of integer arithmetic in a power of the rationals, would transfer this result.
* The same introduction recalls that J. Robinson (1949) defined the integers in the rationals by a first-order formula; Poonen (''Characterizing integers among rational numbers with a universal-existential formula'') reduced it to a ∀∃ formula; and Koenigsmann (''Defining Z in Q'', Annals of Mathematics) gave a universal definition. These do not supply the existential definition the transfer needs. Mazur's conjecture on the topology of rational points, as observed by Mazur and by Cornelissen and Zahidi, would rule out a Diophantine definition of the integers and a Diophantine model of integer arithmetic.
* For rings of integers of number fields, the introduction cites the recent unconditional results of Koymans and Pagano (''Hilbert's tenth problem via additive combinatorics'') and of Alpöge, Bhargava, Ho and Shnidman (''Rank stability in quadratic extensions and Hilbert's tenth problem for the ring of integers of a number field''), and notes that the field of rational numbers is not covered by them.

== The original result ==
* '''Claim.''' There is no algorithm which, given a polynomial ''f'' ∈ '''Z'''[''X''1, …, ''X''''n''], with ''n'' part of the input, decides whether ''f'' has a zero in '''Q'''''n'' (Theorem 1.1).
* '''Source.''' [https://github.com/openai/math/tree/1581d4cbdd69a0faf34b2089614fe2a814316a6a/preprints/Hilberts-tenth-problem-over-the-rational-numbers-September-24-2026 ''Hilbert's tenth problem over the rational numbers''] in the openai/math repository (commit <code>1581d4c</code>).
* '''Formalization.''' The repository's contents list gives no Lean scope note for this family, and no Comparator statement is listed for it.

== Public follow-up work ==
{| class="wikitable"
! Date !! Work !! Relation !! Public claim !! Public status (checked 16 October 2026)
|-
| 2026-10-14 (submitted) || Z.-W. Sun, ''86 unknowns for Hilbert's tenth problem over the rationals'' ([https://arxiv.org/abs/2610.20691 arXiv:2610.20691]) || Extension (number of unknowns) || The abstract states that Hilbert's tenth problem over the rationals "was solved negatively by OpenAI based on a five-contact height estimate and a pole-parity construction", and builds on that solution to bound the number of unknowns needed for undecidability; the title gives 86. || arXiv preprint (42 pages).
|}

== Notes ==
* The list covers follow-ups found in public sources up to the date above; it is not a priority or completeness claim.

[[Category:OpenAI results]]

Hilbert's tenth problem over the rational numbers - Revision history

Aftermath bot: Sources: add the 6 October 2026 edition (citation updates, per its README)

Aftermath bot: New page: OpenAI's negative answer to Hilbert's tenth problem over Q (manuscript; no Lean scope note), Z.-W. Sun's 86-unknown follow-up (arXiv:2610.20691)