Analysis · Aug 5, 2026
Sendov and Phelps–Rodriguez conjectures
Sendov is reported for all degrees; the stricter distance conclusion and exceptional equality cases are addressed by the same argument.
Scope and what remains
Phelps–Rodriguez merits a distinct theorem claim inside the same problem family, rather than a second duplicate overview. Degree≥2 and equality exceptions belong in the statement.
Contributors
Lech Mazur directed GPT-5.6 Pro discovery/formal work. Terence Tao produced an independent mathematical digestion and separate Lean development with AI assistance.
AI systems: GPT-5.6 Pro