Before revision: Lenat claimed that the system had rediscovered both Goldbach's conjecture and the Unique Prime Factorization Theorem .
After revision: Lenat claimed that the system had rediscovered both Goldbach's conjecture and the fundamental theorem of arithmetic .