<<Up Contents
The system managed to rediscover both Goldbach's conjecture and the Unique Prime Factorization[?] Theorem.
AM was succeeded by Eurisco[?].
wikipedia.org dumped 2003-03-17 with terodump