...La science est l'œuvre de l'esprit humain, qui est...
HyperTree Proof Search for Neural Theorem Proving -- "La science est l'œuvre de l'esprit humain, qui est plutôt destiné àétudier qu'à connaître, à chercher qu'à trouver la vérité." - eric-wieser/Evariste