That gave me something to play with with these models and this came out as a claimed disproof of the Dixmier Conjecture: https://gist.githubusercontent.com/ped

That gave me something to play with with these models and this came out as a claimed disproof of the Dixmier Conjecture: https://gist.githubusercontent.com/pedrocr/51157b9b2eed8152e8866d62304f2720/raw/a2f51ecb5d3d028089d64fed920869433a0c4ab6/gistfile1.txt https://gist.githubusercontent.com/pedrocr/51157b9b2eed8152e... It seems mathematics has at least gotten a powerful new tool to automate the work to cascade results after breakthroughs are made.