2 ms·
Mathematicians Finally Prove Rational Tetrahedron Solutions
- karmakaze 6y agoNot a TL;DR but was hard to find scanning the text. > The new algorithms searched every possible combination of solutions within the narrower interval. Based on this exhaustive final search, the authors finally proved that there are only 59 isolated examples of tetrahedra with rational dihedral angles, and two infinite families of tetrahedra — exactly the ones that Poonen and Rubinstein had happened upon decades earlier.