1A formal proof that AI-by-Learning is intractable (opens in new tab)(link.springer.com)14birttAdenors8mo ago8