Claims

../

2019_07_22_balister_bollobas_morris_sahasrabudhe_tiba: Balister, Bollobás, Morris, Sahasrabudhe and Tiba prove that every degree at least 2 admits a plus-minus-one polynomial with modulus within fixed multiples of the root of the degree on the whole circle; Annals, 2020.

2026_10_05_openai: The OpenAI release claims plus-minus-one polynomials of every large length with modulus within a factor 1 plus or minus epsilon of the root of the length on the whole circle; the released Lean states the upper bound only.

---