Claims

../

2026_01_27_leeham: A note of 27 January 2026, produced with ChatGPT-5.2 Pro, gives more than four reals below 10 with unit-separated power products and extends them greedily, so the inequality fails at x = 10; the site's curator credits it.

2026_01_28_sothanaphan: Notes of 28 January and 1 February 2026, written with ChatGPT, give three rational generators below 5 and then n generators below the n-th prime for 3 <= n <= 7, so the inequality fails just below 5, 7, 11, 13 and 17.

---