Yanis Batura wrote:
Zen has almost got to 2d level on KGS,
http://www.gokgs.com/graphPage.jsp?user=zen19. Unfortunately, it doesn't
play since May, 8.
1. Is there any hope that Zen19 will play again on KGS? I'm looking forward
to it getting to higher dan levels.
When I find a new improvement,
2009/5/22 Yamato yamato...@yahoo.co.jp
When I find a new improvement, Zen will be back to test it.
Zen19 might have got 2d then.
Intuition tells me that your Zen might become to Go what Rybka is to chess.
Wish you luck in your research, and may the Force be with you! ;)
Yanis Batura
On Fri, May 22, 2009 at 2:53 AM, Robert Jasiek jas...@snafu.de wrote:
Don Dailey wrote:
7x7 isn't solved by computer, but the best ones play it extrememly well.
When looking through sample game trees of small board computer play, my
impression was that by far too many trivial moves were
Don Dailey wrote:
Is the 5x5 claim the one you are skeptical about?
IIRC, I am sceptical about both 5x5 (esp. first move not at tengen) and
6x6. But I do not recall more details. Maybe I have not read all 5x5
papers about claimed solutions. If there is something with mathematical
proofs
2009/5/22 Robert Jasiek jas...@snafu.de:
Don Dailey wrote:
Is the 5x5 claim the one you are skeptical about?
IIRC, I am sceptical about both 5x5 (esp. first move not at tengen) and 6x6.
AFAIK the claimed solution is tengen the first move. Maybe you are
remebering some interesting lines that
Robert,
A proper search tree is a proof, but there is the issue of determining if
there are any flaws in the search and that would require some kind of peer
review including a code review. For instance the hash table
implementation may not be admissible unless the positions themselves are
Today an exhibition match of four games was played
between program MoGo and European Champion
Catalin Taranu (5p).
On 9x9 board, with 30 min for each player.
Games (with tons of comments from spectators)
can be found in KGS archive, under
http://www.gokgs.com/gameArchives.jsp?user=mogoRennes
Don Dailey wrote:
in my view it's probably correct although it cannot be trusted as an
absolute proof.
A practical computational problem is solved iff
a) the underlying theory is published,
b) the underlying theory is proven mathematically,
c) the algorithm is published,
d) the algorithm is
Robert,
Can you dig out the textbook where you got this list from and be more
precise about what they are trying to define?It's obvious that they are
providing some kind of formal framework for establishing the CREDIBILITY of
a claim of proof, not what a proof or solution really is.
For
http://www.gokgs.com/gameArchives.jsp?user=mogoRennes
Taranu won the first three games and lost the final one.
So, the score was 3-1 for him.
Thanks for the report. As far as I know (not completly sure) it's the first
win (in 9x9 game komi 7.5) of a computer against a human as black. I
I think this is still a result to be proud of.
In the stupid fast moves, it's correct to play slow in the opening and fast
later in the game. It's just a question of how to set the balance.
Did you verify that Mogo would have played those stupid fast moves
correctly without having to add too
Did you verify that Mogo would have played those stupid fast moves
correctly without having to add too much time?
No, I've not checked. But the moves were really fast and
the comments of humans were in that direction.
I agree that we must have more (much more) time for early move. But for
Some lines of play involving large captures will effectively never
terminate, even with superko rules in effect.
I doubt it is possible to eliminate all these non-terminating
lines of play in any way that is provably correct.
.. So while claims of solution by exhaustive search might be very
On Fri, May 22, 2009 at 5:47 PM, Dave Dyer dd...@real-me.net wrote:
Some lines of play involving large captures will effectively never
terminate, even with superko rules in effect.
I doubt it is possible to eliminate all these non-terminating
lines of play in any way that is provably
On Fri, May 22, 2009 at 5:47 PM, Dave Dyer dd...@real-me.net wrote:
Some lines of play involving large captures will effectively never
terminate, even with superko rules in effect.
But both sides need not play into this to build a proof tree. By the way,
an alpha/beta search IS IN FACT a
You can just prove that you can make a large-enough chain that is
unconditionally alive. I believe that's what Erik did. In practice,
you cannot do an exhaustive search using superko rules because then
hash table scores cannot be used.
I don't think you can always do that. For example, if
there are no chains of size 30 on a 5x5 board, and if after a
large capture the remaining stones are unconditionally alive
the void at the location of the capture cannot be very large.
Do remember that we are talking about 5x5 with the first
move in the center as the winning move.
Cheers,
David
At 06:31 PM 5/22/2009, David Doshay wrote:
there are no chains of size 30 on a 5x5 board,
I'll concede for a 5x5 board, but I think my point
is valid for sufficiently large boards, probably 7x7.
Almost any strategy other than playing out all legal moves
involves a lot of hand waving that is
On Fri, May 22, 2009 at 10:19 PM, Dave Dyer dd...@real-me.net wrote:
At 06:31 PM 5/22/2009, David Doshay wrote:
there are no chains of size 30 on a 5x5 board,
I'll concede for a 5x5 board, but I think my point
is valid for sufficiently large boards, probably 7x7.
Almost any strategy other
Olivier Teytaud wrote:
http://www.gokgs.com/gameArchives.jsp?user=mogoRennes
... in games 2 and 3 mogo lost quite late with
some stupid very fast moves - this suggests that perhaps
we should save up time in the beginning. Well, it's a
conclusion based on a sample of 2 games :-)
I think
20 matches
Mail list logo
