A 30-Year-Old Math Conjecture Just Collapsed—And ChatGPT Helped Pull the Trigger

For thirty years, the Heil-Ramanathan-Topiwala (HRT) conjecture stood as an unyielding fixture in time-frequency analysis. Posed in 1996, the conjecture asserted that any finite linear combination of time-frequency shifts of a non-zero L^2 function must be linearly independent. It was a statement so elegant that generations of harmonic analysts assumed it had to be true, chipping away at special cases and building entire research trajectories around its eventual proof.

That thirty-year edifice came crashing down this week. A team of researchers published a preprint demonstrating that the HRT conjecture is categorically false. Remarkably, the conjecture fails even when restricted to smooth, rapidly decreasing Schwartz class functions—a domain where intuition suggested it was safest.

Read nextThe Square Root Mystery: How a Simple Equation Twists Into a Möbius Strip

What has set the mathematical world ablaze, however, is not just the collapse of the conjecture, but how the counterexample was found. The authors explicitly credited ChatGPT as an analytical partner in constructing the proof, using the AI to scan and synthesize techniques across disparate subfields that a human mind might never connect.

The reaction across online mathematical communities was immediate and divided. Proponents hailed the discovery as a landmark moment for collaborative intelligence. One commenter noted that counterexamples are the ultimate engine of mathematical progress because they show researchers exactly where human intuition fails, saving thousands of hours on dead-end proofs.

Others took issue with how the discovery was framed, warning against taking credit away from human intellect. One reader argued that attributing the disproof to AI is a misattribution that incentivizes scholars to hide their tool usage. The AI did not write the paper; human researchers directed the conceptual strategy, verified every step, and formalized the mathematics.

Your brand, right here.Reach story-obsessed listeners in 45+ languages → advertise on Avonetics

The debate highlights a broader tension in modern mathematics between formal logic and intuitive traps. In calculus and analysis, pathological counterexamples—such as functions that oscillate infinitely fast in infinitesimal intervals—frequently destroy naive human logic. Whether in high-stakes research or textbook calculus proofs, catching where intuition breaks is the central challenge of the discipline.

As tools like large language models and formal proof checkers enter the mathematician's toolkit, the line between human insight and computational search continues to blur. While some fear an erosion of foundational discipline, others see a new era where human creativity is untethered from manual search.

On the latest episode of Proof Positive, the hosts break down the HRT disproof, debate who truly deserves credit, and examine how to build intuition against math's trickiest pathological monsters.