Comment by NooneAtAll3

> There's no Lean proof for this one so I'm digesting the paper. On the surface it looks like an approach I considered 24 years ago and abandoned.

at least now you are one of the most qualified people to check the result, transform it into understandable (by humans) state and grow stuff on top of it