Heil–Ramanathan–Topiwala conjecture

Heil-Ramanathan-Topiwala conjecture disproved

Model / AI: GPT-5.6 Pro

Faulhuber, Petersen, van Velthoven and Voigtlaender exhibited an explicit 12-shift counterexample; GPT-5.6 Pro produced the counterexample and the proof strategy, the authors closed the gaps by hand, and the critical bound is certified by rigorous interval arithmetic.

Source review pending. Imported from the original notes; linked claims and artifacts have not been re-audited in this restructuring.

• Paper — Heil-Ramanathan-Topiwala conjecture disproved