A digestion of the proof of Sendov’s conjecture ↗
Sendov and the sharper form proved in the exposition · observed Oct 13, 2026
Source status date unavailable · observed Oct 13, 2026
All degrees n ≥ 2 with the stated disk assumption.
Publication v2
Record details
Sendov’s conjecture →Coverage & review
Coverage of this curation
The canonical statement, selected results and public proof evidence, with historical and contribution context.
Formal proofs: The full Sendov and Phelps–Rodriguez statements have pinned public Lean sources. Completion is reported by the project; OpenMath has not executed their builds.
AI-assisted work: Original direction and discovery: Lech Mazur with GPT-5.6 Pro. Mathematical digestion: Terence Tao with AI assistance. Second Lean development: Tao directing Claude Opus 5.
Search scope & review
Selected primary manuscripts, theorem declarations and project provenance reviewed on 13 October 2026; this is not an exhaustive literature survey.
Checked Oct 13, 2026 · independent review pending.
- Independent mathematical review and local execution of the cited formal proofs are pending.
General status observations
Source identities & rights
Sendov conjecture: original proof ↗
Lech Mazur · metadata-link · Original document rights remain with its authors.
OpenMath supplies original paraphrases and links; no proof text is republished. Rights / source terms
1 cited entry · exact source identity
- Version
- sendov-conjecture:source:mazur:v1
- Revision
- 2026-08-05
- Content SHA-256
- No upstream byte snapshot retained; linked metadata only
- Source update
- 2026-08-05
- Observed
- 2026-10-13
- Check cadence
- 90 days
- Original proof dated 5 August 2026 ↗
sendov-conjecture:entry:mazur:v1
A digestion of the proof of Sendov’s conjecture ↗
Terence Tao · metadata-link · Original document rights remain with its authors.
OpenMath supplies original paraphrases and links; no proof text is republished. Rights / source terms
1 cited entry · exact source identity
- Version
- sendov-conjecture:source:digestion:v1
- Revision
- 2026-08-12
- Content SHA-256
- No upstream byte snapshot retained; linked metadata only
- Source update
- 2026-08-12
- Observed
- 2026-10-13
- Check cadence
- 90 days
- Conjectures 1–3 and proof, with provenance remarks ↗
sendov-conjecture:entry:digestion:v1
Sendov and Phelps–Rodriguez in Lean ↗
Terence Tao, teorth/sendov project · metadata-link · Original document rights remain with its authors.
OpenMath supplies original paraphrases and links; no proof text is republished. Rights / source terms
1 cited entry · exact source identity
- Version
- sendov-conjecture:source:lean:v1
- Revision
- 1ddea92d89f951a0a7cbbffa6c267cf7e6640b1d
- Content SHA-256
- f24582c2d2fe024e762656a7d175e1743e65fb034acce2fb2a43ab2b5cfe3229
- Source update
- 2026-08-19
- Observed
- 2026-10-13
- Check cadence
- 90 days
- README provenance and trust; Sendov/Conjecture.lean ↗
sendov-conjecture:entry:lean:v1
Publication history
- Problem ID
- problem-sendov-conjecture
- Publication checksum
- 6f73bfc1c78427f43f6b7b8cde6a3eb8c9c3493cf7e54105e26e715098f287ff
- Published
- 2026-10-13T11:55:42.006556+00:00
- Publication reason
- Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
- Version 1 · Oct 13, 2026
Initial checked pilot publication; source attribution, rights, wording and coverage reviewed by OpenMath staff.
- Version 2 · Oct 13, 2026
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
- Version 3 · Oct 13, 2026
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
- Version 4 · Oct 13, 2026
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
- Version 5 · Oct 14, 2026
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
- Version 6 · Oct 20, 2026
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
- Version 7 · Oct 21, 2026
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
- Version 8 · Oct 21, 2026
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.