Yet Another (Fake) Proof of P=NP.

Carlos Ansótegui Jordi Levy

Published in: CCIA (2022)

Keyphrases

theorem proving
linear logic
machine learning
theorem prover
cooperative
mathematical proofs
e learning
face recognition
expert systems
artificial neural networks
natural deduction
formal proof