When a human-designed software program, carrying out an objective assigned by its programmers—correcting bugs in software or refining the mechanisms of self-driving vehicles—learns and applies a model that no human recognizes or could understand, are we advancing toward knowledge? Or is knowledge receding from us?