Comment by nomel

How is that a logic interpretation? They're problems humans couldn't solve. That makes them hard, by definition.