Claims

../

2021_10_03_dubickas_novikas: Dubickas and Novikas (Math. Nachr. 2021) prove that no cubic polynomial with integer coefficients has all sums of two values at distinct arguments distinct; refereed.

2026_09_16_ren: Collin Yuanjie Ren's Lean development, prepared with Claude Code, proves that no polynomial of degree at most two, and not x^4, has all sums of two values at distinct arguments distinct; pending.

---