A research team of mathematicians and computer scientists has used machine learning to reveal new mathematical structure ...

We show that R.J. Thompson's groups F and T are bi-interpretable with the ring of the integers. From a result by A. Khélif, these groups are quasi-finitely axiomatizable and prime. So, the group T ...