Learning to Think and Argue: a path to automated theorem proving

So, not even referencing the decades of research in the field of ATP? :/

An underrated field these days