> The tldr is that a lot of the heavy lifting was done by an algorithm used called Deductive Database + Algebraic Relations. Let me make sure I understood this

> The tldr is that a lot of the heavy lifting was done by an algorithm used called Deductive Database + Algebraic Relations. Let me make sure I understood this correctly. Author from reddit formed his opinion based on "examining the Nature article more carefully"?