A proof assistant is a verifier, and a tool so therefor a patch, so I really fai...

		mcfry 3 days ago \| parent \| context \| favorite \| on: 'Attention is all you need' coauthor says he's 'si... A proof assistant is a verifier, and a tool so therefor a patch, so I really fail to see how that could be understood as the LLM having deduction.