AI Helps Disprove 30-Year-Old HRT Conjecture in Mathematics
PsychologicalSoup251 · reddit · 2026-08-09
A Reddit user reported that AI has successfully disproven the HRT Conjecture, a central open problem in time-frequency/harmonic analysis for 30 years.
The author noted that the AI was actively steered by mathematicians rather than solving the problem independently. However, the final counterexample itself was ultimately constructed by the AI.
More from Research
- MLCommons launches MLPerf Endpoints, a benchmark that measures inference endpoints the way buyers actually purchase them — TheKanter · 2026-10-16
- DIY LEGO bench tests AI brick-building, GPT-6 Astra beats Opus — TheLegoless · 2026-10-16
- tszzl's theory: Tornado → Apache license → apaches → Southwest → Colorado — tszzl · 2026-10-16
- DIRECT: retrieval-based next-question suggestions for conversational agents — burkov · 2026-10-16
- A Qwen3 neuron tracks both Colorado and Tornado HTTP code; tszzl offers a theory — tszzl · 2026-10-16
- AI-Driven Timing-Aware Power Optimization Uses Learned Ranking With Baseline-Preserving Repair — Amit Sharma · 2026-10-16