AM
Програма Лената починала з базових понять теорії множин і, керуючись евристиками цікавості, сама виводила поняття на кшталт простих чисел.
Чому це важливо
Спроба автоматизувати не розв'язання задачі, а її постановку — рідкісний випадок, коли метою було відкриття, а не відповідь.
AM мала близько 250 евристик виду «якщо функція часто дає той самий результат, розглянь її окремо». Програма перевідкрила прості числа і гіпотезу Гольдбаха, а потім видихалася: нові поняття ставали дедалі беззмістовнішими. Лената згодом критикували за те, що результати залежали від закладеного словника. Саме ця межа привела його до Cyc.