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