endgame proof of the 4-color problem. K. Appel and W. Haken, “The solution of the four-color-map problem,” Scientific American, Oct 1977, 108-121 and for a “manual” proof: http://www.math.gatech.edu/~thomas/FC/fourcolor.html (1995)
Computer beat world chess champion
with some help from its programming staff (!)
Computers help design most things today.
These are Symbiotic Relationships
Learning and Concept formation are still an elusive goal.