Eric-
Great interview!
/*Eric*//: You know what I like on this though, I think back to the,
I guess it was AlphaGo competition with Lee Sedol in the computer
human contest for Go playing. I really loved Lee’s comment at the
end of it, where he was saying that of course those had been the
most difficult games he had had to play, but that he had never
enjoyed playing Go more than in those games because before, he was
the best in the world in a style of play that was essentially
established and playing the machine, it was opening [inaudible
00:06:46] of play that no human would have opened against him. It
was giving him an insight into the game that had not been available
to him from anyone before. Apart from the superb character that that
demonstrates in the man, I think that’s a good way to look at
human-computer interactions that we have all of these big branching
structures. The question is when will computational solutions open
[inaudible 00:07:11] of play that human conventions were not exploring.
/
//I really appreciated this point/perspective. I distinctly remember
two moments related to this. The first was when the 4 color theorem was
proven by machine and there was a LOT of discussion about the
implications of that. The smallest of the conversation seemed to be the
kinds of *insights* that such a method of proof could elicit. I'm not
clear that any such thing came of this or any other automated proof, but
it seems possible? Surely you or someone else here has a better handle
on that.
At the 1983 Cellular Automata conference at LANL, there was fairly
widespread discussion of the problems of automated Go play with
speculations/assertions about just how hard the problem was and whether
it could ever be approached at the "atomic" level. It warms my heart
to hear Lee Sedol's anecdote about feeling like he was obtaining a new
insight into a game he had obviously already dedicated a lifetime to
understanding.
My own dabbling in the area of human-in-the-loop ensemble steering is
based on the assumption/hope that the coupling of automated
generation/analysis and human insight is in some way transcendent of
either approach alone.
- Steve
//
============================================================
FRIAM Applied Complexity Group listserv
Meets Fridays 9a-11:30 at cafe at St. John's College
to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com
archives back to 2003: http://friam.471366.n2.nabble.com/
FRIAM-COMIC http://friam-comic.blogspot.com/ by Dr. Strangelove
