[Computer-go] 7x7 Go is weakly solved

[Petr Baudis]

On Mon, Nov 30, 2015 at 11:52:47AM +0000, Aja Huang wrote:
> Hi Erik,
> 
> On Mon, Nov 30, 2015 at 10:37 AM, Erik van der Werf <
> erikvanderwerf at gmail.com> wrote:
> 
> > Hi Aja,
> >
> > This result seems consistent with earlier claimed human solutions for 7x7
> > dating back to 1989. So what exactly is new? Did he write a program that
> > actually calculates the value?
> >
> 
> Did you mean 7x7 Go was weakly solved before?

I think the question is whether it was exhaustively searched (can be
mathematically proven / reproduced) or just (thoroughly) investigated
by a human.

				Petr Baudis