And a computer was defeated by an insoluble problem