I think the following paper from 2016 contains the same idea already: https://ar...

		amai 10 months ago \| parent \| context \| favorite \| on: Mathematician solves algebra's oldest problem usin... I think the following paper from 2016 contains the same idea already: https://arxiv.org/abs/1607.04144