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
- Netflix details its production LLM judge: hundreds of thousands of recommendations scored weekly — omarsar0 · 2026-08-24
- Nature Comment: Provenance, not interpretability, grounds trust in autonomous science — gabepgomes · 2026-08-24
- New Architecture RHEA: Train 1B Model on 8GB VRAM — zemondza · 2026-08-24
- Trained two 16M-param models to do generative CAD with real physics — debreuil · 2026-08-24
- Claude model helps discover complex structure on S^6, solving 60-year-old math problem — Singularitarian · 2026-08-24
- Study: Agents read instructions/notes 60.5% of the time, rarely touch API docs — dair_ai · 2026-08-24