[turnersr]

Here's the code https://github.com/deepmind/mathematics_conjectures/blob/mai...