A directed AI workflow reports a proof of Sendov for every degree at least two; the original proof and formalization preceded Tao’s exposition.
Public manuscript or exposition; publication does not imply independent OpenMath review.
The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.
A directed AI workflow reports a proof of Sendov for every degree at least two; the original proof and formalization preceded Tao’s exposition.
Passage ID: sendov-conjecture:entry:mazur:v1
Source item: mazur
Source record: sendov-conjecture:source:mazur:v1
Explicit citations in versioned problem publications. A citation records a use; it does not confer proof or independent verification.
Problem publication v8
Formal declaration
Lean: Sendov for every degree
Research activity
Discovery, exposition and formalization
Mazur and GPT-5.6 Pro supplied the original result; Tao digested its mathematics and directed the second formalization, whose project credits Claude Opus 5.
Two formalizations of a descended argument do not automatically constitute two independent mathematical proofs.
Further reading
Read the mathematical argument; inspect its Claim for assessment and scope.
Linked manuscripts, code and data. External proof reports, statement correspondence and OpenMath execution are separate checks.
Complete formal proof reported externally
Source-reported complete. The separate Challenge file contains deliberate statement placeholders; the project reports no holes in the proof endpoint.
Statement match: Linked by OpenMath · independent review separate · checked Oct 13, 2026
Sendov.sendovCommit 1ddea92d89f951a0a7cbbffa6c267cf7e6640b1d
Recorded authorship
Lech Mazur
Lech Mazur directed GPT-5.6 Pro discovery and formal work; mathematical direction, model work and later exposition are distinct contributions.
OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.
Sendov conjecture: original proof
OpenMath supplies original paraphrases and links; no proof text is republished.
Source terms ↗