<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Eric-</p>
<p>Great interview!<br>
</p>
<blockquote><i><b style="box-sizing: border-box; font-weight: bold;
color: rgb(0, 0, 0); font-family: Roboto, Arial, Helvetica,
sans-serif; font-size: 16px; font-variant-ligatures: normal;
font-variant-caps: normal; letter-spacing: normal; text-align:
start; text-indent: 0px; text-transform: none; white-space:
normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">Eric</b></i><i><span
style="color: rgb(0, 0, 0); font-family: Roboto, Arial,
Helvetica, sans-serif; font-size: 16px;
font-variant-ligatures: normal; font-variant-caps: normal;
font-weight: 400; letter-spacing: normal; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial; display: inline
!important; float: none;">: 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.<br>
</span></i></blockquote>
<p><i><span style="color: rgb(0, 0, 0); font-family: Roboto, Arial,
Helvetica, sans-serif; font-size: 16px;
font-variant-ligatures: normal; font-variant-caps: normal;
font-weight: 400; letter-spacing: normal; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial; display: inline
!important; float: none;"></span></i>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.</p>
<p>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.</p>
<p>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.</p>
<p>- Steve<br>
</p>
<i><span style="color: rgb(0, 0, 0); font-family: Roboto, Arial,
Helvetica, sans-serif; font-size: 16px; font-variant-ligatures:
normal; font-variant-caps: normal; font-weight: 400;
letter-spacing: normal; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; word-spacing: 0px;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); text-decoration-style: initial; text-decoration-color:
initial; display: inline !important; float: none;"></span></i>
</body>
</html>