Claims

../

2026_09_06_gessel: Gessel's partial proof claim of 6 September 2026, produced with GPT-6 Astra (Codex): a set of natural density above 7/8 has two equal products of distinct members with different numbers of factors; nothing accepted here.

2026_09_28_li: Li's full proof claim of 28 September 2026, produced with GPT-6 Astra, GPT-5.6 Sol and Claude: under the distinct-factor reading both questions have the answer no; a Lean development is linked, nothing accepted here.

---