Mathematicians settle 30-year-old resonance controversy with interval arithmetic · HackerTrans