How close can we come to proving that white draws?

[Dann Corbit]

how close are we to prove the earth is not flat ?

this thread almost looks like a joke to me;
happy Friday 13th anyway

In the game chess (besides GM's from Steinitz to Carlsen)
there have been now six serious attempts to find
the best advantage for White in chess,
1)
Chessbase
besides statistics (1.Nf3!) they have a 'live book' now for many years
https://en.chessbase.com/post/livebook- ... ing-oracle
(uhm forgot to mention this above coz they never bothered
to 'backsolve' the stuff, knowing ofcourse that such is very
dependent on the engine eval and nowadays they show
engine evals for different engines (apparently it never got
in F Friedels mind or so to combine an average engine eval
with statistics (incl corresp and engine games) and then
backsolve the whole lot, but guess what the result is draw
(tip from me: include 'sharpness' to make a repertoire ;
see the PS3 below

2) Arshah
now defunct, but here's still an old glimp
https://chessacademy.am/static/article/32?lang=en
https://about.me/arshah
and it was on FB
https://www.facebook.com/ArShah-Chess-A ... 037964114/
they found chess is a draw, whether you play d4 or e4

3) zipproth (no clarification needed for the geeks)
brainfisch etc. , the Cerebellum book

4) chessdb.cn
only displaying xiangchi chess now again
(they found chess is a draw)

5) Larry Kaufman (Komodo, chess advantage new repertoire etc );
with all respect, but with Dragon LK but you now may have to update
your repertoire again, (and then again ad infinitum ?) Lol
Anyway LK with all respect is senior GM and confirms White
cannot win, considering the drawing margins etc
hey ask him, he's still on this forum , you know
As is still old dr Bob and as far as i know he's one of
the rare chess geeks (besides late ex corresp world chamo
Hans Berliner) who thinks (or thought) that White might win

6) yours truly
www.superchess.blogspot.com
the BB download doesnt work anymore, i may
update this soon but it's only a small book, my personal
book was quite big (20 million positions or so) and
clearly indicated White cannot win.
Ergo (as the topic of this thread, ofcourse White
avoid a loss, ergo White can draw, obviously

As physicist, i prefer the Copernican model above
the Ptolemaeus model, and we're not the center
of the universe. And White cannot win in chess.
If you need a more stringent math proof for that,
is a philosophical question (there's no need for
brute force calcs as 32 tb or so for that imho)

Conclusion, from 1-6 proof ? as the English
say, the proof is in the pudding.



PS with transpositions the nr of moves in chess becomes less
than (some) people think; and when we discount positions with
score < 4 or so (tactical mistakes) then such a tree becomes even smaller
and strongly hints to the conjecture that white cannot win ergo chess = draw
PS2 ever heard of 'game theory' Repeating myself, but here is Zermelo
https://en.wikipedia.org/wiki/Zermelo%2 ... me_theory)
If there is no winning strategy for White, than the game is a draw.
(some math freaks or slightly brain damaged Trump supporters
may for trillions more generations may dispute this, but then i'm sure
some Nash type of guy will stand up (eg using network theory) and
may write a paper to show that there's no strategic advantage
in chess (or some similar) games to get a White advantage ergo *draw*
(hey, maybe i will write such a paper, while i'm still alive;
not that some chess nuts will then ever cite that if they think
White can win with 1.b3 best by (their) test(s) or whatever
PS3 chess indeed is a (to a large extent) a tactical game, depending on
your opponent you may like to go for sharp or positional lines;
maybe the multi-pv option with Kom-mcts (or simply) Stockfish can
indicate (with the eval differences between 1,2,3rd lines can
indicate 'sharpness' of a position. What i would like to see as
human player, is a database not only with eval (and backsolving)
but also the option of sharpness to 'backsolve' a repertoire
from that. Some nice work for the programmers

An opinion, even a good one, is not a proof.
"If there is no winning strategy for White, than the game is a draw." is indeed a tautology.
You have yet to supply the "if" part.

I used to grade papers for 1,200 calculus students when I was a TA at the University of Washington.
When someone wrote a proof and the conclusion did not follow from the results, I would put D.N.F. under their conclusion.
(Does Not Follow)

Here is what this thread and your narrative have demonstrated:
Lots of people think chess is probably a draw (including me).
That has nothing to do with the meaning of the word "proof".

[jefk]

DC,
why cite my whole message, while you only comment
on a part of it; but ok, good point, your suggestion about the 'if'
part (if White does not have a winning strategy etc)

So i'll think about it, meanwhile, reverse reasoning,
if White would have a winning strategy, we would see it
already from the opening stage (which nowadays extends
to middle game and sometimes endgame).
As i said, the proof is in the pudding; which is an English
saying i thought, maybe not well known in yankeetown.
In physics we deal with certainties, (in)accuracies, statistics, etc
not proofs (as i said i don't have to prove the earth is not flat).
Ever heard of Popper (falsification, etc).
If you want to falsify the known experimental fact that chess
is a draw, than you have to show it's a win; for White; good luck.
(Some here try to show that 1.g4 is a loss, ok an interesting effort)
But any attempt to show White can win, can be falsified.
(Eureka) QED
When i was student assistant in experimental physics
and a student clearly didn't understand the concept
of measurement ranges/inaccuracies (eg. 2.0 +/- 0.4) i
suggested he should study a bit more.
PS Later i got a comment from a supervisor in that
experimental (1st year) physics class that my educational
skills could be (ergo have been) better. Ah well, i never
became
a professor anyway. As for (computer) chess, well we are
not really known to be such nice guys anyway, aren't we.
So let's call it a day (or a draw). tic tac toe is a draw,
you know, so is chess; you have to live with that i guess;
as for a 'proof' of the conjecture, well I'll be back

hint(s) 1) if white cannot lose it's at least a draw.
a thought experiment (of a complex game):
If in a soccer game the goal of your team is sealed/shutoff
you cannot lose, simple as that.
2) it the goal of the other team is sealed/shutoff as well,
you cannot win; simple as that.
3) but then it's a draw
huh
This was a thought experiment; something done sometimes in
physics (ever heard of old uncle Albert, he used to do that theyseigh).
you know what, i leave the real proof for the math professors
in a next generation, coz some blokes may always find a conceptual
hole in my 'proof'. Which doesn't mean that chess is not a draw.
If you cannot prove the earth is not flat it doesn't mean it's flat, sigh
PS2 for the rest (only main math thing if you wish) i suggest is that for
a proof in chess we don't need a brute force calc as 32 tb; there
may be other methods from game theory.
PS3 but ok, if you want to be right than Dan you're right
no big deal (so you're happy now i guess) you know there
are some (in fact many) conjectures in math which are well
accepted and assumed as (utterly) true (ergo evident) in
the community of math pro's (or geeks or whatever) btw;
now go out and mail/ tell them that they should not accept
that until all these conjectures are 'proven' ! i'm sure
they would be glad to here from them (also cite all
there statements where they suggest that a conjecture is
true because by definition it cannot be true because it's
only a conjecture (*); yes that is a tautology isn't it.
good luck
(*) sometimes there's a thin line between a conjecture and
a proof. At first they found holes in Andrew Wiles proof of the
last theorem of Fermat btw; but apparently then later he fixed it.
Maybe you still can find a hole; good luck again.
oh and don't suggest you can solve that theorem by brute force;
it may take a while cq some computer time (and lot's of watts;
not a good idea in our times of climate change etc. (if there's
no proof that Co2 is causing global warming than this doesn't
mean it doesn't. Bottomline, i do know about the philosophy of science,
but i'm not into a dispute in philosophy of math and what should and
should not be the meaning of 'proof'. Chess is a physical
happening when played on a board with wooden pieces. Ergo
for me it's physics. And i use the concept of physics; and in such
a discourse, i'm well allowed to suggest it's a draw.
Math is only a mental exercise, it has not meaning in real life.
Not even existence, as far as i'm (when thinking in Aristotelian way)
concerned; if your Platonian, well that's your opinion.
see what i'm saying; or should i continue (yes i like writing) so
ok until next time; oh and please cite my whole messie again
next time, i sure would like to see it again (and again, and again
lol just dreaming now it's late.

[jefk]

and we could go beyond Popper, then it's just
a matter of a paradigm (Thomas Kuhn).
The six experiments i mentioned shown that
chess is a draw. Now it's only a matter of acceptance
of such a paradigm. Or non-acceptance, then you
have to show that White can win.
Good luck again.
Ergo unless someone can show White can win,
then chess is a draw.
And this is not simply my opinion btw.
(for me, considering the expanding degrees of freedom
in chess, ie the nr of options Black always has after
a White move (unless in the game of 4inarow where
the nr of options are decreasing), and the rules
of chess (3 position repetition, stalemate) and the
large drawing margins (eg when opposite bishops)
it's almost evident that White cannot win.
For those who disagree i suggest a few more (real)
chess lessons instead of staring at a computer screen
with many fishes and so on (ever heard of Aquarium)
lol
good night
may the force be with you,
and the united states of america
and other countries in this world

[Dann Corbit]

OK, I quote nothing.
Here is a much simpler example, trillions of time simpler than the game of chess.
Simply prove that this position is a draw, which I am entirely convinced is a draw:
[d]r1bqkb1r/pp2pppp/2n2n2/2pp4/3P1B2/2P1P3/PP1N1PPP/R2QKBNR b KQkq -

I have a search running on this position:

Code: Select all

Searching: r1bqkb1r/pp2pppp/2n2n2/2pp4/3P1B2/2P1P3/PP1N1PPP/R2QKBNR b KQkq - 0 1
infinite: 0 time: 0 increment: 0 moves to go: 0

 1   +0.09   00:00   72842  Qb6 
 2   -0.09   00:00  132177  Bf5 Qb3 
 3   -0.14   00:00  160288  Bf5 Qb3 Qc8 
 4   +0.06   00:00  186906  e6 Ngf3 Bd6 
 5   -0.02   00:00  213943  e6 Bb5 Bd6 Ngf3 
 6   -0.13   00:00  241850  e6 Ngf3 Be7 dxc5 Bxc5 Bb5 O-O O-O Bd6 
 7   -0.06   00:00  300225  Bf5 Ngf3 Qb6 Nh4 Bg4 Qb3 e6 
 8   -0.17   00:00  382588  e6 Ngf3 Be7 Be2 O-O O-O Nh5 Bg5 Bxg5 
 9   -0.09   00:00  473924  e6 Ngf3 Be7 Bb5 O-O O-O Nh5 Bxc6 
10   -0.06   00:00  582272  e6 Ngf3 Be7 dxc5 Bxc5 Be2 Be7 O-O O-O c4 h6 cxd5 Nxd5 
11   -0.29   00:00  815855  e6 Ngf3 Be7 h3 O-O Be2 h6 O-O c4 b3 cxb3 
12   -0.13   00:00   1047K  e6 Ngf3 Bd6 Bxd6 Qxd6 Bb5 cxd4 exd4 O-O O-O Bd7 Re1 Qf4 a4 Rac8 
13   -0.05   00:00   1260K  e6 Ngf3 Bd6 Bxd6 Qxd6 Bb5 O-O O-O h6 dxc5 Qxc5 Bxc6 bxc6 
14   +0.13   00:00   2869K  Bf5 Ngf3 Qb6 Nh4 Bd7 b3 Rc8 Nhf3 e6 a4 h6 Ne5 cxd4 Nxd7 
15   -0.13   00:00   4282K  Bf5 Ngf3 Qb6 Nh4 Bd7 Qb3 Qxb3 axb3 Nh5 Bg3 cxd4 exd4 f6 Nhf3 Nxg3 hxg3 
16   -0.14   00:00   6340K  Bf5 Ngf3 Qb6 Nh4 Bd7 Qb3 Qxb3 axb3 Nh5 dxc5 e5 Bg3 Bxc5 b4 Nxg3 hxg3 Bd6 e4 
17   -0.13   00:00   7398K  Bf5 Ngf3 e6 Bb5 Qb6 Qa4 Nd7 Ne5 Ndxe5 Bxe5 f6 Bg3 cxd4 cxd4 Be7 Rc1 Rc8 O-O O-O Nb3 a6 
18   -0.02   00:00   9460K  Bf5 Ngf3 e6 Be2 Bd6 dxc5 Bxc5 O-O O-O c4 Rc8 cxd5 exd5 Rc1 Bd6 Bxd6 Qxd6 Qa4 
19   -0.00   00:00  13032K  Bf5 Ngf3 Qb6 b4 cxb4 c4 dxc4 Nxc4 Qd8 Nce5 Qa5 Nxc6 bxc6 Qc1 Qb6 Ne5 e6 Nc4 Qb7 Na5 Qb6 
20   -0.13   00:00  25915K  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Ne4 Qc1 Qxd2+ Qxd2 Nxd2 Kxd2 Bd7 Rb1 e5 Nxc6 exf4 Ne5 Bxc5 Rxb7 fxe3+ fxe3 O-O-O Rb1 Bb6 Ba6+ Kc7 Nxd7 
21   +0.05   00:00  27998K  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 e5 Nxf5 exf4 Rb1 Qxc3 Rxb7 Bxc5 Rc7 fxe3 fxe3 Bxe3 Be2 Bxd2+ Qxd2 Qxd2+ Kxd2 Ne4+ Ke3 
22   +0.06   00:00  32940K  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Bg4 Rb1 Qxc3 Nb5 Qa5 Bc7 Bxd1 Bxa5 Rc8 Nxa7 Nxa7 Kxd1 Nc6 Bc3 e6 Rb5 Be7 h4 O-O Bd3 
23   +0.00   00:00  40125K  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Bg4 f3 e5 Nb5 Rc8 Rb1 Qxa2 fxg4 exf4 Ra1 Qb2 Rb1 
24   -0.00   00:00  43839K  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Bg4 f3 e5 Nb5 Rc8 Rb1 Qxa2 fxg4 exf4 Ra1 Qb2 Rb1 
25   -0.00   00:00  51070K  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Bg4 f3 e5 Nb5 Rc8 fxg4 exf4 Rb1 Qxa2 Ra1 Qb2 Rb1 
26   -0.00   00:01  54482K  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Bg4 f3 e5 Nb5 Rc8 Bg3 Be6 Rb1 Qxa2 Ra1 Qb2 Rb1 
27   -0.00   00:01  65033K  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Ne4 Qc1 Qxc1+ Rxc1 Bd7 Nxe4 dxe4 Rb1 e5 Nxc6 exf4 Ne5 fxe3 fxe3 Bxc5 Rxb7 Ba4 Bc4 f6 Nf7 O-O Nh6+ Kh8 Nf7+ 
28   -0.00   00:01  65594K  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Bg4 f3 e5 Nb5 Rc8 Rc1 Qxa2 Bg5 Be6 Ra1 Qb2 Rc1 
29   -0.00   00:01  68347K  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Bg4 f3 e5 Nb5 Rc8 Rb1 Qxa2 Ra1 Qb2 Rc1 Qa2 
30   -0.00   00:01  71886K  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Bg4 f3 e5 Nb5 Rc8 Bg5 Be6 Rb1 Qxa2 Ra1 Qb2 Rc1 Qa2 
31   -0.00   00:01  81886K  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Bg4 f3 e5 Nb5 Rc8 Rb1 Qxa2 Ra1 Qb2 Rb1 
32   -0.00   00:01  93036K  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Bg4 f3 e5 Nb5 Rc8 Bg3 Bd7 Rb1 Qxa2 e4 a6 Ra1 Qb2 Rb1 
33   -0.00   00:01 102724K  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Bg4 f3 e5 Nb5 Rc8 Bg3 Bf5 e4 Be6 Rb1 Qxa2 Ra1 Qb2 exd5 Bxd5 Rc1 Qa2 c4 Be6 Ra1 Qb2 Rb1 Qa2 Ra1 
34   -0.00   00:01 114538K  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Bg4 f3 e5 Nb5 Rc8 Rb1 Qxa2 Ra1 Qb2 Rc1 Qa2 Bg5 Be6 Ra1 Qb2 Rc1 
35   -0.00   00:04 250817K  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Bg4 f3 e5 Nb5 Rc8 Bg5 Be6 a4 a6 Rb1 Qa2 Ra1 Qb2 
36   -0.00   00:04 257621K  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Bg4 f3 e5 Nb5 Rc8 Bg5 a6 Rb1 Qxa2 Ra1 Qb2 Rb1 
37   -0.00   00:06 375279K  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Ne4 Qc1 Qxc1+ Rxc1 Nxd2 Kxd2 Bd7 c4 dxc4 Bxc4 Rd8 Bc7 Rc8 Bg3 g6 Rb1 Bg7 Bb5 Rd8 Bc7 Rc8 Bg3 
38   +0.05   00:07 458181K  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Ne4 Qc1 Qxd2+ Qxd2 Nxd2 Kxd2 Bd7 Rb1 e5 Nxc6 exf4 Ne5 fxe3+ fxe3 b6 Nxd7 Kxd7 cxb6 axb6 Bb5+ Ke6 a4 Bc5 Ke2 Rhc8 Rhd1 Bd6 Rbc1 g6 Kf3 Rc5 c4 dxc4 Rxc4 Rxc4 Bxc4+ Ke7 Bb5 Rc8 g3 Rd8 Rd2 Be5 
39   -0.00   00:08 517516K  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Ne4 Qc1 Qxd2+ Qxd2 Nxd2 Kxd2 Bd7 Rb1 e5 Nxc6 exf4 Ne5 fxe3+ fxe3 b6 cxb6 axb6 Rxb6 f6 Nxd7 Rxa2+ Kd3 Kxd7 Rb8 Kc7 Re8 Kd7 
40   +0.00   00:10 633160K  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Bg4 f3 e5 Nb5 Rc8 Rb1 Qxa2 Ra1 Qb2 Bg5 a6 Rb1 Qa2 Ra1 
41   +0.00   00:11 730951K  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Ne4 Qc1 Qxd2+ Qxd2 Nxd2 Kxd2 Bd7 Rb1 e5 Nxc6 exf4 Ne5 fxe3+ fxe3 b6 cxb6 axb6 Rxb6 f6 Nxd7 Rxa2+ Kd3 Kxd7 Rb8 Kc7 Re8 Kd7 
42   +0.00   00:13 823167K  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Bg4 f3 e5 Nb5 Rc8 Rb1 Qxa2 Ra1 Qb2 Rb1 
43   -0.00   00:13 854248K  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Bg4 f3 e5 Nb5 Rc8 Rb1 Qxa2 Ra1 Qb2 Rb1 
44   -0.00   00:20   1254M  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Bg4 f3 e5 Nb5 Rc8 Rb1 Qxa2 Ra1 Qb2 Rb1 
45   +0.00   00:20   1284M  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Ne4 Qc1 Qxd2+ Qxd2 Nxd2 Kxd2 Bd7 Rb1 e5 Nxc6 exf4 Ne5 fxe3+ fxe3 b6 cxb6 axb6 Rxb6 f6 Nxd7 Rxa2+ Kd3 Kxd7 Rb8 Kc7 Re8 Kd7 
46   +0.00   00:24   1555M  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Ne4 Qc1 Qxd2+ Qxd2 Nxd2 Kxd2 Bd7 Rb1 e5 Nxc6 exf4 Ne5 fxe3+ fxe3 b6 cxb6 axb6 Rxb6 f6 Nxd7 Rxa2+ Kd3 Kxd7 Rb8 Kc7 Re8 Kd7 
47   -0.00   00:44   2775M  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 e5 Bxe5 Nxe5 Nxf5 Bxc5 Nxg7+ Kf8 Nh5 Nxh5 Rb1 Qxc3 Rb3 Qa5 Qxh5 Re8 Be2 b6 Qh6+ Kg8 Qg5+ Kf8 
48   +0.00   00:44   2809M  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Ne4 Qc1 Qxc1+ Rxc1 Nxd2 Kxd2 Bd7 Rb1 e5 Nxc6 exf4 Ne5 fxe3+ fxe3 b6 cxb6 axb6 Rxb6 f6 Nxd7 Rxa2+ Kd3 Kxd7 Rb8 Kc7 Re8 Kd7 
49   +0.00   00:56   3511M  Bf5 Ngf3 e6 Bb5 Qb6 Qa4 Rc8 Ne5 a6 Bxc6+ bxc6 O-O h6 Qb3 Qa7 Qa4 
50   +0.00   01:00   3781M  Bf5 Ngf3 e6 Bb5 Qb6 Qa4 Rc8 Ne5 a6 Bxc6+ bxc6 O-O h6 Qb3 Qa7 Qa4 Qb7 Qb3 
51   +0.00   01:26   5362M  Bf5 Ngf3 e6 Qa4 Qb6 Bb5 Rc8 Ne5 a6 Bxc6+ bxc6 O-O h6 Qb3 Qa7 Qa4 
52   +0.00   01:32   5669M  Bf5 Ngf3 e6 Qa4 Nd7 Qb3 Na5 Qa4 
53   -0.00   01:50   6757M  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Ne4 Qc1 Qxc1+ Rxc1 Nxd2 Kxd2 Bd7 Rb1 e5 Nxc6 exf4 Ne5 fxe3+ fxe3 b6 cxb6 axb6 Rxb6 f6 Nxd7 Rxa2+ Kd3 Kxd7 Rb8 Kc7 Re8 Kd7 
54   -0.00   02:04   7620M  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Ne4 Qc1 Qxc1+ Rxc1 Nxd2 Kxd2 Bd7 Rb1 e5 Nxc6 exf4 Ne5 fxe3+ fxe3 b6 cxb6 axb6 Rxb6 f6 Nxd7 Rxa2+ Kd3 Kxd7 Rb8 Kc7 Re8 Kd7 
55   -0.00   02:10   7987M  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Ne4 Qc1 Qxc1+ Rxc1 Nxd2 Kxd2 Bd7 Rb1 e5 Nxc6 exf4 Ne5 fxe3+ fxe3 b6 cxb6 axb6 Rxb6 f6 Nxd7 Rxa2+ Kd3 Kxd7 Rb8 Kc7 Re8 Kd7 
56   +0.00   02:23   8813M  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Ne4 Qc1 Qxd2+ Qxd2 Nxd2 Kxd2 Bd7 Rb1 e5 Nxc6 exf4 Ne5 fxe3+ fxe3 b6 cxb6 axb6 Rxb6 f6 Nxd7 Rxa2+ Kd3 Kxd7 Rb8 Kc7 Re8 Kd7 
57   +0.00   02:37   9708M  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Ne4 Qc1 Qxc1+ Rxc1 Nxd2 Kxd2 Bd7 Rb1 e5 Nxc6 exf4 Ne5 fxe3+ fxe3 b6 cxb6 axb6 Rxb6 f6 Nxd7 Rxa2+ Kd3 Kxd7 Rb8 Kc7 Re8 Kd7 
58   +0.00   03:17  12197M  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Ne4 Qc1 Qxd2+ Qxd2 Nxd2 Kxd2 Bd7 Rb1 e5 Nxc6 exf4 Ne5 fxe3+ fxe3 b6 cxb6 axb6 Rxb6 f6 Nxd7 Rxa2+ Kd3 Kxd7 Rb8 Kc7 Re8 Kd7 
59   +0.00   03:31  13131M  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Ne4 Qc1 Qxd2+ Qxd2 Nxd2 Kxd2 Bd7 Rb1 e5 Nxc6 exf4 Ne5 fxe3+ fxe3 b6 cxb6 axb6 Rxb6 f6 Nxd7 Rxa2+ Kd3 Kxd7 Rb8 Kc7 Re8 Kd7 
60   +0.00   04:11  15585M  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Ne4 Qc1 Qxd2+ Qxd2 Nxd2 Kxd2 Bd7 Rb1 e5 Nxc6 exf4 Ne5 fxe3+ fxe3 b6 cxb6 axb6 Rxb6 f6 Nxd7 Rxa2+ Kd3 Kxd7 Rb8 Kc7 Re8 Kd7 
61   +0.00   04:41  17448M  Bf5 Ngf3 Qb6 dxc5 Qxb2 Nd4 Ne4 Qc1 Qxd2+ Qxd2 Nxd2 Kxd2 Bd7 Rb1 e5 Nxc6 exf4 Ne5 fxe3+ fxe3 b6 cxb6 axb6 Rxb6 f6 Nxd7 Rxa2+ Kd3 Kxd7 Rb8 Kc7 Re8 Kd7 

I am using 62 threads, with full 6 man files and almost all of the important 7 man EGTB files.

It looks like it is drawn. I believe it is drawn.
Prove that this one position is drawn.

[jefk]

yes it's a draw. it's a bit like the London system
although c3 is a bit weak (why not c4)

But i was asking (you, and possibly other dissidents)
to 'prove' that White can win. From the starting position.

Otherwise if you can't, chess is a draw.
https://plato.stanford.edu/entries/thomas-kuhn/

Oh and angry math professors who've read my statements,
don't mail me, but go out and study some physics,
philosophy, oh and maybe chess
lol

[jefk]

there are ofcourse deep tactical positions
in positions which at first may look equal
(eg in the French , with Bishop sac on h7)

The starting position in chess is not such
a tactical position, and Black can always
avoid such positions. such is an epistemological fact.

As for Kuhn, later came eg. Lakatos (proofs and
refutations), he talks about research programs, and stuff
like that; well, i mentioned six computer chess research
programs, didn't i.

PS as for opinions, well i'm aware that my suggestion to
apply paradigms in a field of game theory is rather unconventional;
nevertheless, i don't see why the burden of proof (of 'solving')
cannot be reversed in a simple case as chess
(a wooden case, indeed). feel free to disagree, but don't
bother in trying to change my (rather firm) 'opinion';
of which i think it's becoming a paradigm (although i'm
going in circles now, i must confess; yes a tautology
but at least that's better than a paradox, isn' it; my 2 cnts)


PS2 about moderation, i noticed that when i'm too late
in editing an older message, it's not possible anymore.
From which i got following thought: instead of
deleting messages and so on, (or moving to another
box like eg CTF or so (:) if i were moderator, i would
consider suggesting to change words ie editing a message
to impolite posters, just to avoid a toxic atmosphere;
ok with free speech and so on, we imho shouldn't be too s
sensitive,but nevertheless maybe such a policy
might improve the forum (also applicable after complaints
about certain posts, or so, aside from content/opinions etc)

[Dann Corbit]

Proof is not necessary, only a counter example.
Arasan 22.0 BMI2 x64; 1-0

Arasan won from this position in a high level contest.
But that is not a proof that it is won.
Nor is it a proof that it is lost.
But it is evidence that it is not clear.
Additional results from this position:

Code: Select all

Engine	bm	result
Aarnos, Mikko	Bf5	0-1
Abdullayev, A	Qb6	0-1
Aeschbach, Philipp	Bf5	0-1
Afonasieva, Anna	g6	0-1
Aghasiyev, Kamal	Qb6	0-1
Ahn, Juyong	Bf5	0-1
Alekseev, Evgeny V	Bf5	0-1
Alexandrova, Olga	Bf5	0-1
Alle, Ambjorn	Bf5	0-1
Almeida Junior, Alvaro Alves de	Qb6	0-1
Alonso Rosell, Alvar	g6	0-1
Altea, Alessandro	e6	0-1
Andersen, Mads	Bg4	0-1
Annaberdiev, Meilis	e6	0-1
Arizmendi Martinez, Julen Luis	e6	0-1
Arnaudov, G Petar	e6	0-1
Ashton, Adam G	Bf5	0-1
Atabayev, Maksat	Bg4	0-1
Atalik, Suat	Bf5	0-1
Atalik, Suat	Bf5	0-1
Atalik, Suat	Bf5	0-1
Ayas Fernandez, Antonio	e6	0-1
Baldauf, Marco	e6	0-1
Ballester Llagaria, Luis Eduardo	e6	0-1
Banusz, Tamas	e6	0-1
Baraeva, Marina	Bf5	0-1
Bares, Jir�	e6	0-1
Bares, Jir�	e6	0-1
Bartsch, Reinhard Andrea	e6	0-1
Bartsch, Reinhard Andrea	e6	0-1
Becker, Marcel	Qb6	0-1
Belenkaya, Dina	Bf5	0-1
Bellaiche, Anthony	e6	0-1
Bellaiche, Antony	e6	0-1
Bergmann, Michael	Bf5	0-1
BeRoChess 1.00.2012.04.10.0112 x64	Qb6	0-1
Berzinsh, Roland	cxd4	0-1
Bivol, Alina	cxd4	0-1
Blagojevic, Dragisa	Bf5	0-1
Blitz 3	Bf5	0-1
Boehm, Juergen2	cxd4	0-1
Bokros, Albert	e6	0-1
Boruchovsky, Avital	Qb6	0-1
Boyer, Mahel	Bf5	0-1
Braun, A	e6	0-1
Brodda, Wolfgang	Bf5	0-1
Brodda, Wolfgang	Bf5	0-1
Brodda, Wolfgang	Bf5	0-1
Broemme, Steffen	Bf5	0-1
Broemme, Steffen	Bf5	0-1
Bromberger, Stefan	Bf5	0-1
Bromberger, Stefan	Bf5	0-1
Bromberger, Stefan	Bf5	0-1
Brown, Michael William	Bf5	0-1
Bruedigam, Martin	e6	0-1
Bruno, Fabio	Bf5	0-1
Brynell, Stellan	Bf5	0-1
Bryson, Douglas M	Qb6	0-1
Buhmann, Rainer	cxd4	0-1
Bui, Vinh	e6	0-1
Bui, Vinh	e6	0-1
Bui, Vinh	e6	0-1
Buksa, Nataliya	g6	0-1
Burcu, Cagatay	cxd4	0-1
Burne, Nigel G	e6	0-1
Burne, Nigel G	e6	0-1
Cabarkapa, Novak	Bf5	0-1
Campora, Daniel H	Bg4	0-1
Carow, Johannes	Bf5	0-1
Caruana, Fabiano	e6	0-1
Cassiopeia	Bf5	0-1
Castellano, Christopher	e6	0-1
Cerebellum 240320	Bf5	0-1
Cheng, Bobby	e6	0-1
Cheng, Bobby Sky	e6	0-1
ChessBrainVB 3.61 x32	Qb6	0-1
Chronos 1.9.9 x64	Qb6	0-1
Chueca Forcen, Alberto	e6	0-1
Chukavin, Kirill	e6	0-1
Claridge, John B	Bf5	0-1
Cornette, Matthieu	Bf5	0-1
Cowan, Alastair	Bf5	0-1
Crafty 20.14 CB 2CPU	Qb6	0-1
Cramling Bellon, Anna	cxd4	0-1
Cvak, Rudolf	Bf5	0-1
Cvak, Rudolf	Bf5	0-1
Cvak, Rudolf	Bf5	0-1
Das, Sayantan	Bf5	0-1
Daulyte, Deimante	Bf5	0-1
David-Bordier, Christophe	Bf5	0-1
David-Bordier, Christophe	Bf5	0-1
De la Pe�a Balbuena, Isa�as	Bf5	0-1
De la Pe�a Balbuena, Isa�as	Bf5	0-1
De la Pena Balbuena, Isaias	Bf5	0-1
De Waele, Warre	Bf5	0-1
Deac, Bogdan-Daniel	e6	0-1
Delport, Wolfgang	Bf5	0-1
Derakhshani, Borna	e6	0-1
Diermair, Andreas	Bf5	0-1
Dietmayer-Kraeutler, Marco	Bf5	0-1
Dimitrijevic, Radmilo	Bf5	0-1
Ding, Liren	Bf5	0-1
Dolezal, Petr	Bf5	0-1
Dolezal, Petr	Bf5	0-1
Doskocil, Klaus	e6	0-1
Drabke, Lorenz Maximilian	e6	0-1
Dragicevic, Drazen	Qb6	0-1
Dragnev, Valentin	Bf5	0-1
Ducarmon, Quinten	Qb6	0-1
Duff, Rufus	Bf5	0-1
Durarbayli, Vasif	Bf5	0-1
Egan, Michael	cxd4	0-1
Eggleston, David J	Qb6	0-1
Eldridge, Mark	Bf5	0-1
Eldridge, Mark	Bf5	0-1
Elias, Holger	Bf5	0-1
Elias, Holger	Bf5	0-1
Eljanov, Pavel	Bf5	0-1
Elsness, Frode	e6	0-1
Eminov, Orkhan	Bf5	0-1
Enchev, Ivajlo	Bf5	0-1
Englert, F	Bf5	0-1
Erdogan, Hakan	cxd4	0-1
Erenburg, Sergey	cxd4	0-1
Ernst, Sipke	g6	0-1
Espineira Gonzalez, Diego	e6	0-1
Fagerstr�m, Mikko	e6	0-1
Farias, Sergio Roberto Alves	e6	0-1
Farley, Terry	e6	0-1
FaTaL M0vE	e6	0-1
Fedorovsky, Michael	e6	0-1
Ferreira, Jor1	e6	0-1
Ferrer Moreno, Jose	Qb6	0-1
Feuerstack, Aljoscha	Bf5	0-1
Fieberg, Samuel	Bf5	0-1
Flor Trejo, Remigio	e6	0-1
Flor Trejo, Remigio F	e6	0-1
Fontaine, Robert	e6	0-1
Franco Alonso, Alejandro	cxd4	0-1
Franco Ocampos, Zenon	Qb6	0-1
Froewis, G	e6	0-1
Galperin, Platon	e6	0-1
Galuszka, Tomasz	cxd4	0-1
Gelfand, Boris	Bf5	0-1
Georgiadis, N	Bf5	0-1
Getman, Tatyana	Bf5	0-1
Gevorgyan, M	Qb6	0-1
Giffard, Nicolas	Bf5	0-1
Glavina, Pablo	e6	0-1
Golovkina, Anastasia	Bf5	0-1
Gomez Ledo, Roberto Carlos	e6	0-1
Gonzalez Perez, A	cxd4	0-1
Gorodetzky, David	Bf5	0-1
Goudriaan, Etienne	Bf5	0-1
Grachev, Boris	Bf5	0-1
Gretarsson, Hjorvar Steinn	Qb6	0-1
Grigoriants, Sergey	Bf5	0-1
Groszpeter, Attila	e6	0-1
Guberna, Aleksandr Vladimirovich	e6	0-1
Guberna, Aleksandr Vladimirovich	e6	0-1
Gunina, Valentina	Qb6	0-1
Guo, Qi	cxd4	0-1
Gusain, Himal	Bf5	0-1
Gutman, Gennadi	cxd4	0-1
Gyimesi, Zoltan	cxd4	0-1
Hacker, Jonas	e6	0-1
Hansen, Mads3	e6	0-1
Harshavardhan, G B	Qb6	0-1
Heimann, Andreas	Bf5	0-1
Helmer, Janos	Qb6	0-1
Henrichs, Thomas	Bf5	0-1
Herman, Tom	Bf5	0-1
Herman, Tom	Bf5	0-1
Hernandez Carmenate, Holden	Qb6	0-1
Hiarcs 11 4CPU	Qb6	0-1
HoiChess 0.21.0 x64	Qb6	0-1
Horvat, Milan	Qb6	0-1
Horvat, Milan	Qb6	0-1
Hou, Yifan	e6	0-1
Hracek, Zbynek	e6	0-1
Huerga Leache, Mikel	e6	0-1
Hurricane	Bf5	0-1
Infinity	Bf5	0-1
Infinity2017	Bf5	0-1
IP Top 30-32	Bf5	0-1
Ismagambetov, Anuar	Qb6	0-1
Istanbul H15a	e6	0-1
Ivec, Ivan	Bf5	0-1
Ivec, Ivan	Bf5	0-1
Jahn, Peter	Bf5	0-1
Jambrich, Jarom�r	e6	0-1
Jambrich, Jarom�r	e6	0-1
Janisch, Manfred	e6	0-1
Janisch, Manfred	e6	0-1
Janisch, Manfred	e6	0-1
Jarabinsk�, Martin	Bf5	0-1
Jarabinsk�, Martin	Bf5	0-1
Jaracz, Pawel	e6	0-1
Jayakumar, Adarsh	Bf5	0-1
Jepson, Christian	Bg4	0-1
Johannessen, Leif Erlend	Qb6	0-1
Jones, RS	Bf5	0-1
Jordan Martinez, Miguel	Bf5	0-1
Kadric, Denis	e6	0-1
Kantor, G	Bf5	0-1
Karavade, Eesha	Bf5	0-1
Kargin, Arseny	Bf5	0-1
Karpatchev, Aleksandr	Bf5	0-1
Kaufeld, Juergen	g6	0-1
Kaupert, Vanildo Jo�o	Bf5	0-1
Kaupert, Vanildo Jo�o	Bf5	0-1
Kevlishvili, Robby	e6	0-1
Khenkin, Igor	Bf5	0-1
Kireev, Sergey	Bf5	0-1
Kjartansson, Gudmundur	Bf5	0-1
Klaus, Emil	Bf5	0-1
Kleinert, Stefan	Bf5	0-1
Kleinert, Stefan	Bf5	0-1
Knuedel, Torben	Bf5	0-1
Koehn, Lennart	e6	0-1
Kogoj, Neza	e6	0-1
Kojima, Shinya	Bf5	0-1
Koksal, Ege	Qb6	0-1
Kollars, Dmitrij	Bf5	0-1
Komodo 11.01 MP 1800X	Qb6	0-1
Koneru, Humpy	Qb6	0-1
Korneev, Oleg	Bf5	0-1
Korobov, A.	e6	0-1
Korobov, Anton	e6	0-1
Korshunov, Igor Victorovich	Bf5	0-1
Korshunov, Igor Victorovich	Bf5	0-1
Kozak, Antoni	cxd4	0-1
Koziol, Kamil	e6	0-1
Kracht, Joerg	Bf5	0-1
Kracht, Joerg	Bf5	0-1
Kraemer, Martin	g6	0-1
Kramer, Julian	e6	0-1
Kramnik, Vladimir	g6	0-1
Kravtsiv, Martyn	e6	0-1
Krimbacher, Walter	Bf5	0-1
Krimbacher, Walter	Bf5	0-1
Krimbacher, Walter	Bf5	0-1
Krivoborodov, Egor	Bf5	0-1
Krivokapic, Marko	e6	0-1
Kryakvin, Dmitry	Bf5	0-1
Kuipers, Dustin	e6	0-1
Kukla, Tom�s	Qb6	0-1
Kukla, Tom�s	Qb6	0-1
Lacrosse, Marc	cxd4	0-1
Lagarde, Maxime	e6	0-1
Lampert, J	Bf5	0-1
Landa, Konstantin	Qb6	0-1
Laukola, Iiro	Bf5	0-1
Laukola, Iiro	Bf5	0-1
Laznicka, Viktor	e6	0-1
Le, Quang Liem	e6	0-1
Leela Chess Zero v0.10 ID 455 x64	Bf5	0-1
Lenderman, Aleksandr	cxd4	0-1
Lenic, Luka	Bf5	0-1
Lessler, Peter	e6	0-1
Lim, Zhuo Ren	e6	0-1
Lizak, Peter	Bf5	0-1
LoopMP 12.32 2CPU	Qb6	0-1
Lu, Shanglei	Bf5	0-1
Lumachi, Gabriele	Bf5	0-1
Lund, Gunnar	e6	0-1
Lupulescu, Constantin	Qb6	0-1
Lysyj, Igor	Bf5	0-1
Mafra, Kaiser Luiz	Bf5	0-1
Maletina, Tatiana	e6	0-1
Mapanare 2011	e6	0-1
Mareco, Sandro	g6	0-1
Margl, Roland	e6	0-1
Mart�nez Pinares, Kenny Walter	Bf5	0-1
Mart�nez Pinares, Kenny Walter	Bf5	0-1
Marzano, Carlo	Qb6	0-1
Massironi, Marco	Bf5	0-1
Matsenko, Sergei	e6	0-1
Meillon, Gustavo	Bf5	0-1
Meillon, Gustavo	Bf5	0-1
Meissner, Felix	e6	0-1
Merry, Alan B	Bf5	0-1
Mesaros, Florian	cxd4	0-1
Michielsen, Joost	e6	0-1
Mihai, Partenie	Bf5	0-1
Mihalcisin, Adrian	e6	0-1
Mikhalchishin, Adrian	e6	0-1
Mikheev, Stanislav	Bf5	0-1
Mikoska, Josef	Bf5	0-1
Mikoska, Josef	Bf5	0-1
Milekic, Daniel	cxd4	0-1
Mirzoev, Azer	e6	0-1
Moiseenko, Vadim	Bf5	0-1
Moreno Trujillo, Alejandro	Bf5	0-1
Morgunov, Marc	Bf5	0-1
Moroni, L	Bf5	0-1
Mosadeghpour, Masoud	e6	0-1
Movsesian, Sergei	e6	0-1
Mrndjic, Muamer	Qb6	0-1
Mueller-Alves, Martin	Bf5	0-1
Munkhdalai, Amilal	e6	0-1
Muthaiah, AL	Bf5	0-1
Nabaty, Tamir	g6	0-1
Nagy, Ga1	Bg4	0-1
Najer, Evgeniy	Bf5	0-1
Nandhidhaa, P V	e6	0-1
Napalkov, Vladimir Aleksandro	Bf5	0-1
Napalkov, Vladimir Aleksandrovich	Bf5	0-1
Napalkov, Vladimir Aleksandrovich	Bf5	0-1
Narendran, Gouthaman	Bf5	0-1
Navara, David	e6	0-1
Nenciulescu, Silviu	Bf5	0-1
Neuman, Petr	Bf5	0-1
Neustroev, Victor	Bf5	0-1
Nguyen, Huynh Minh Huy	e6	0-1
Nguyen, Thai Dai Van	e6	0-1
Nguyen, Van Huy	Bf5	0-1
Nickl, Klaus	Bf5	0-1
Nielsen, Viktor Haarmark	Bf5	0-1
Nikolic, Pr	Bg4	0-1
Nikolov, Momchil	Bf5	0-1
Ning, Kaiyu	Bf5	0-1
Noble, Mark Frederick	Qb6	0-1
Noble, Mark Frederick	Qb6	0-1
Noe, Christopher	e6	0-1
Novikov, Andrey	Bf5	0-1
Novikov, Andrey	Bf5	0-1
Novikov, Sergey	Bf5	0-1
Novikov, Sergey Vasilievich	Bf5	0-1
Odegov, Artem	Qb6	0-1
Oglaza, Oskar	Bf5	0-1
Oliva Castaneda, Kevel	cxd4	0-1
Ollier, Pablo	cxd4	0-1
OmPrakash H15a	e6	0-1
Ordaz Valdes, Lisandra Teresa	g6	0-1
Ovchinnikov, Vsevolod	cxd4	0-1
Pacher, Milan	e6	0-1
Palac, Mladen	cxd4	0-1
Palac, Mladen	cxd4	0-1
Palac, Mladen	cxd4	0-1
Paravyan, David	cxd4	0-1
Pascua, Haridas	Qb6	0-1
Pashikian, Arman	e6	0-1
Pasini, Nicolo	cxd4	0-1
Perez Garcia, Alejandro	e6	0-1
Perez, Brigiliano	Bf5	0-1
Perez, Brigiliano	Bf5	0-1
Petersons, Indulis	Bf5	0-1
Petersons, Indulis	Bf5	0-1
Pham, Le Thao Nguyen	cxd4	0-1
Pieper, Dawid	Qb6	0-1
Pingin, Artem	Bg4	0-1
Plazuelo Pascual, Juan	Bf5	0-1
Polak, Tomas	cxd4	0-1
Polterauer, Chiara	Bf5	0-1
Potkin, Vladimir	Qb6	0-1
Potkin, Vladimir	Qb6	0-1
Pourramezanali, Amirreza	e6	0-1
Prohaszka, Peter	Bf5	0-1
Prohaszka, Peter	Bf5	0-1
Prohaszka, Peter	Bf5	0-1
Pufferfish	Bf5	0-1
Pulpan, Jakub	e6	0-1
Pychova, Nela	cxd4	0-1
Qadimbayli, Abdulla	Bf5	0-1
Qashashvili, Alexandre	e6	0-1
Quesada Perez, Yuniesky	Bg4	0-1
RadaR 010420	e6	0-1
Raja, Rithvik R	e6	0-1
Ralls, Richard Nelson	Bf5	0-1
Ralls, Richard Nelson	Bf5	0-1
Razor	e6	0-1
Razumikhin, Andrey Mikhailovich	Bf5	0-1
Razumikhin, Andrey Mikhailovich	Bf5	0-1
Remizov, Yaroslav	Qb6	0-1
Renman, Nils-Gustaf	Bf5	0-1
Ress, Jacques	Bf5	0-1
Ress, Jacques	Bf5	0-1
Ress, Jacques	Bf5	0-1
Ribli, Zoltan	cxd4	0-1
Riccio, Eros	Qb6	0-1
Riccio, Eros	Qb6	0-1
Rieger, Robert	Bf5	0-1
Rietveld, Renze	Bf5	0-1
Rishi, S	e6	0-1
Rishovd, Svein	cxd4	0-1
RobboLito 0.21Q x64	Qb6	0-1
Rodrigues, Afonso	e6	0-1
Rodriguez Alvarez, Vidal	e6	0-1
Romanko, Marina	Bf5	0-1
Ronce, Nathan	e6	0-1
Roseneck, Jonas	e6	0-1
Roussel-Roozmon, Thomas	Bg4	0-1
Rublevsky, Sergei	cxd4	0-1
Sadzikowski, Daniel	Bf5	0-1
Salzmann, Stefan	Bf5	0-1
Samant, Aditya S	Bf5	0-1
Samolins, Vitalijs	Bf5	0-1
Sangma, Rahul	Qb6	0-1
Sanz Algarrada, Jos�	Bf5	0-1
Sargissian, Gabriel	Bf5	0-1
Savage, Ben D M	Bf5	0-1
Schitco, Ivan	e6	0-1
Schnider, Gert	cxd4	0-1
Schoen, Werner	g6	0-1
Sean, Winshand Cuhendi	Bf5	0-1
Sebag, Marie	e6	0-1
Serazeev, Albert Ilievich	Bf5	0-1
Serazeev, Albert Ilievich	Bf5	0-1
Serner, Arpad	Bf5	0-1
Sertic, Rudolf	a6	0-1
Sethuraman, SP.	Bf5	0-1
Sferle, Miron	Bf5	0-1
Sharma, Dinesh K	cxd4	0-1
Sheng, Joshua	Bf5	0-1
Shoboev, Dandar	Bf5	0-1
Short, Nigel D	Bf5	0-1
Shredder 8.0 CB  256MB Athlon 1200 MHz	e6	0-1
Shyam, SM	cxd4	0-1
Singer, Hans	Qb6	0-1
Sjodahl, Pontus	cxd4	0-1
Skawinski, Arkadiusz	Bf5	0-1
Skvira, Ivan Mihhailovich	Bf5	0-1
Skvira, Ivan Mihhailovich	Bf5	0-1
Skvira, Ivan Mihhailovich	Bf5	0-1
Skytte, Rasmus	e6	0-1
Slovineanu, Viacheslav	e6	0-1
Smeets, Jan	Bf5	0-1
Smeets, Jan	Bf5	0-1
Smeets, Jan	Bf5	0-1
Sochacki, Christophe	Bf5	0-1
Song, Yuxin	e6	0-1
Sonis, Francesco	cxd4	0-1
Sosa, T ARG	Bf5	0-1
Spasov, Spas	Bf5	0-1
Stanila, Elena	Bf5	0-1
Stanila, Elena	Bf5	0-1
Stanila, Elena	Bf5	0-1
Stevic, Hrvoje	cxd4	0-1
Stewart, Neil	cxd4	0-1
Stieger, Helmut Dr	Bf5	0-1
Stojanovic, Mih	e6	0-1
Styazhkina, Anna	e6	0-1
Sveshnikov, Vladimir	cxd4	0-1
Svetushkin, Dmitry	Bf5	0-1
Swapnil, S Dhopade	cxd4	0-1
Swiercz, Dariusz	Qb6	0-1
Szukics, Adam	Qb6	0-1
Tari, Aryan	g6	0-1
Tassone, Raffaele	Bf5	0-1
Tassone, Raffaele	Bf5	0-1
Thejkumar, M S	Qb6	0-1
Thomas, Tim	Bf5	0-1
Thorn, Eric	e6	0-1
Timerkhanov, Alexander	cxd4	0-1
Tinjac� Ramirez, Luz Marina	Bf5	0-1
Tinjac� Ramirez, Luz Marina	Bf5	0-1
Tomaszewski, Kacper	e6	0-1
Travkina, Anastasia	Bf5	0-1
Trjapishko, Alexandr	g6	0-1
Tugarin, Anton	Bf5	0-1
Tuncer, Tuna	e6	0-1
Ulibin, Mikhail	g6	0-1
Unuk, Laura	Bf5	0-1
Van Haastert, Edwin	e6	0-1
Vass, F	Qb6	0-1
Vass, Frantisek	Qb6	0-1
Vass, Frantisek	Qb6	0-1
Vestby-Ellingsen, Mads	e6	0-1
Vetoshko, Volodymyr	e6	0-1
Vieites, Carlos	g6	0-1
Villca, Julian	Bf5	0-1
Vo, Thanh Ninh	cxd4	0-1
Vogel, Roven	Bf5	0-1
Voit, Daria	e6	0-1
Volkov, Sergey	Bf5	0-1
Vos, Tjark	e6	0-1
Vrana, Jan	cxd4	0-1
Watson, Jo	Bf5	0-1
Wharrier, Jo A.	Bf5	0-1
Wharrier, Jonathon A	Bf5	0-1
Wild, Achim	e6	0-1
WildCat 7.0	Qb6	0-1
Wilkinson, James P.	Bf5	0-1
Wilkinson, James P.	Bf5	0-1
Winkelman, Albert	e6	0-1
Worek, Joanna	Bf5	0-1
Woznica, Miroslaw	Bf5	0-1
Xiao, Yiyi	Qb6	0-1
Xiong, Jeffery	Bf5	0-1
Yl�nen, Olli	Bf5	0-1
Yl�nen, Olli	Bf5	0-1
YNot	e6	0-1
Yuffa, Daniil	Qb6	0-1
Zakhartsov, Vladimir	e6	0-1
Zappa Mexico 64-bit	Bf5	0-1
Zaremba, Andrie	e6	0-1
Zasukhin, Vadim	Qb6	0-1
Zatonskih, Anna	cxd4	0-1
Zawadzka, Jolanta	cxd4	0-1
Zelbel, Patrick	Bf5	0-1
Zeman, Matyas	e6	0-1
Zentai, P2	e6	0-1
Zhu, Hong Rui	Bf5	0-1
Zorko, Jure	Qb6	0-1
Abdusattorov, Nodirbek	Qb6	1-0
Abdusattorova, Bakhora	Qb6	1-0
Abdyjapar, Asyl	e6	1-0
Ackley, Peter J E	Bf5	1-0
Ackley, Peter J. E.	Bf5	1-0
Aguero Jimenez, Luis Lazaro	e6	1-0
Akwei, Loving	e6	1-0
Alban, Alexis	Bf5	1-0
Aleksandrov, A	Qb6	1-0
Aleksandrov, Aleksej	Qb6	1-0
Alok, Sinha	Qb6	1-0
Alonso, Rodolfo	Qb6	1-0
Alonso, Rodolfo	Qb6	1-0
Alvarez Abejon, Amilcar	Bf5	1-0
Alvarez Abejon, Amilcar	Bf5	1-0
Alvarez Fernandez, Enrique	Bf5	1-0
Alvarez Morales, Miguel	Bf5	1-0
Aminta, Antonio	Qb6	1-0
Aminta, Antonio	Qb6	1-0
Amoyal, Pierre	Qb6	1-0
Anand, V	e6	1-0
Anand, Viswanathan	e6	1-0
Andersen, So2	Qb6	1-0
Andromeda 101119	Bf5	1-0
Annenkov, Kirill	cxd4	1-0
Aparicio Garcia, Enrique	Bf5	1-0
Appel, Ralf	Bf5	1-0
Arabidze, Meri	Bf5	1-0
Aradhya, Garg	Qb6	1-0
Arjun, Kalyan	Qb6	1-0
Armor	e6	1-0
Arnedo Ruiz, Alberto	g6	1-0
Arnetta, Maria Teresa	h6	1-0
Arounopoulos, Stephan	Bf5	1-0
Arvind, C J	e6	1-0
Astasio Lopez, David	Qb6	1-0
Atisreal	Qb6	1-0
Avalos Parra, Joao	g6	1-0
Babban ki Kitab	Bf5	1-0
Baenziger, Fabian	Bf5	1-0
Baeuml, Ulrich	Qb6	1-0
Baghdasaryan, Vahe	Bf5	1-0
Bagi, Mate	Bf5	1-0
Bailey, Stephen	Bf5	1-0
Bailey, Stephen	Bf5	1-0
Balshaw, Anthony	Bf5	1-0
Balshaw, Anthony	Bf5	1-0
Balshaw, Anthony	Bf5	1-0
Balzert, Antonius	cxd4	1-0
Barcelo Sola, David	g6	1-0
Barseghyan, Harutyun	cxd4	1-0
Barski, Radoslaw	e6	1-0
Baum, Bernd Dr	Qb6	1-0
Behling, Robert	Qb6	1-0
Beinoras, Mindaugas	cxd4	1-0
Beletic, Daniel	cxd4	1-0
Berke, Ana	Qb6	1-0
Bernotas, Arturs	g6	1-0
Bernotas, Arturs	g6	1-0
Berzina, Ilze	Bf5	1-0
BestTeam H15a	e6	1-0
Betaneli, Alexander	Bf5	1-0
Beydullayeva, Govhar	Qb6	1-0
Beykirch, Wolfgang	Bf5	1-0
Beykirch, Wolfgang	Bf5	1-0
Beykirch, Wolfgang	Bf5	1-0
Bida, Mihai-Eugen	Bf5	1-0
Binder, Moriz	e6	1-0
Blagojevic, Tijana	Bf5	1-0
Blank, Wolfgang	Bf5	1-0
Blank, Wolfgang	Bf5	1-0
Blomqvist, Erik	cxd4	1-0
Bochnickova, Andrea	Bf5	1-0
Bogner, Sebastian	cxd4	1-0
Bohlsen, Linus	Bf5	1-0
Bohus, Adam	g6	1-0
Boidman, Yuri	Bf5	1-0
Bologan, Viktor	Bf5	1-0
Bondi, Andrea	Bf5	1-0
Bopp, Thomas Dr	Bf5	1-0
Borisovs, Leonids	Bf5	1-0
Borisovs, Leonids	Bf5	1-0
Bortnik, Nikolay	e6	1-0
Bosiocic, Marin	e6	1-0
Braeuning, Rudolf Wilhelm	Qb6	1-0
Braeuning, Rudolf Wilhelm	Qb6	1-0
Brenjo, Slavisa	e6	1-0
Brhel, Jan	e6	1-0
Brich�cek, Milan	cxd4	1-0
Brich�cek, Milan	cxd4	1-0
Bright 0.3a x32	Qb6	1-0
Brikers, Aleksandrs	Bf5	1-0
Brizzi, Matteo	Qb6	1-0
Brochet, Philippe	Qb6	1-0
Bublei, Pavel	Bf5	1-0
Bujosa Ribas, Joan	e6	1-0
Bukal, Vladimir Jr	e6	1-0
Bukal, Vladimir jr	e6	1-0
Burg, Twan	e6	1-0
Bykov, Oleg	Bf5	1-0
Caglar, Sila	cxd4	1-0
Camps, Jean-Pierre	Bf5	1-0
Can, Melih Kaan	Qb6	1-0
Cannon, Antony D.	Bf5	1-0
Capo Vidal, Uriel	Bf5	1-0
Caruana, F	Qb6	1-0
Cerebellum 040819	Bf5	1-0
Cerebellum 040819	Bf5	1-0
CF1977	Bf5	1-0
Champ 2014-2015	Bf5	1-0
Chashchev, Sergey	Bf5	1-0
Chirivi C, Jenny Astrid	Bf5	1-0
Christenson, Flemming	Bf5	1-0
Christiansen, Johan-Sebastian	cxd4	1-0
Chylewski, Patryk	cxd4	1-0
Cirino, Matthew	e6	1-0
Coimbra, Margarida	Bf5	1-0
Congiu, Mathilde	Qb6	1-0
Congiu, Mathilde	Qb6	1-0
Connell, Blair N	e6	1-0
Cornette, Deimante	cxd4	1-0
Cosman, Andreea-Marioara	Bf5	1-0
Cox, John J	Bg4	1-0
Cramling, Pia	Qb6	1-0
Crevatin, Leo	cxd4	1-0
Cuevas Fernandez, Jose Alberto	e6	1-0
Cunningham, Robin	e6	1-0
Czap, Bernard	e6	1-0
Czebe, Attila	cxd4	1-0
Damjanovic, Vuk	cxd4	1-0
Daneshvar, Bardiya	cxd4	1-0
De Waele, Willy	Qb6	1-0
Dearnley, Andrew	cxd4	1-0
Dedebas, Emre Emin	Bf5	1-0
Deep Sjeng WC2008 64-bit 1CPU	Qb6	1-0
Deforel, Jorge Eduardo	Bf5	1-0
Deforel, Jorge Eduardo	Bf5	1-0
Dek, Lennart	Bg4	1-0
Della Morte, Pablo	e6	1-0
Demir, Bilal	g6	1-0
Demirel, Tolga	e6	1-0
Di Giannantonio, Nino	Bf5	1-0
Dilmukhametov, Artur	Qb6	1-0
Dimitrijevic, Srdjan	Qb6	1-0
Dimitrov, Danail	e6	1-0
Domingos, Agostinho Ad�o	Bf5	1-0
Domingos, Agostinho Ad�o	Bf5	1-0
Doric, Nenad	cxd4	1-0
Edwards, K. E. D. G.	cxd4	1-0
Edwards, K. E. D. G.	cxd4	1-0
Egin, Vladimir	Bf5	1-0
Egorov, Evgeny	Qb6	1-0
Eijk, Yuri	cxd4	1-0
Elent, Michael	Qb6	1-0
Elent, Michael	Qb6	1-0
Fayard, Alain	cxd4	1-0
Febland, Jonathan S	e6	1-0
Febland, Jonathan S	e6	1-0
Fedotov, Alexey	cxd4	1-0
Fister, Bernard	Bf5	1-0
Fister, Bernard	Bf5	1-0
Foord, Dominic	Qb6	1-0
Franco Cazon, Rodolfo	g6	1-0
Franke, Thomas	e6	1-0
Friedel, Joshua E	e6	1-0
Froewis, Annika	e6	1-0
Galunova, Tsveta	Qb6	1-0
Gaponenko, Inna	cxd4	1-0
Gara, Anita	Bf5	1-0
Garcia Martin, Marta	cxd4	1-0
Gavrijski, Dimitar	cxd4	1-0
Gavrijski, Dimitar	cxd4	1-0
Geana, Dan Petre	Bf5	1-0
Geller, Jakov	Qb6	1-0
Geryk, Miroslav	Bf5	1-0
Geryk, Miroslav	Bf5	1-0
Ghaem Maghami, Ehsan	g6	1-0
Ghosh, Diptayan	e6	1-0
Girya, Olga	e6	1-0
Goganov, Aleksey	cxd4	1-0
Goltseva, Ekaterina	cxd4	1-0
Gombocz, Ferenc Jr.	Bf5	1-0
Gomez Esteban, Juan Mario	Bf5	1-0
Gomez Esteban, Juan Mario	Bf5	1-0
Gomez Esteban, Juan Mario	Bf5	1-0
Gonda, Laszlo	cxd4	1-0
Gourlay, Iain	e6	1-0
Grabowski, Benedykt	e6	1-0
Grabowski, Benedykt	e6	1-0
Gradl, Winfried	Bf5	1-0
Grobler, David J	e6	1-0
Grobler, David J.	Bf5	1-0
Grover, Sahaj	Bf5	1-0
Gu, Tianlu	Bf5	1-0
GuardianAngel H15a	e6	1-0
Gur, Erdal Eren	Bf5	1-0
Gutkovich, Polina	Qb6	1-0
Guven, Oguz Kagan	Bf5	1-0
Hadzi-Manev, Ljubomir	e6	1-0
Hagen, Andreas Skytte	cxd4	1-0
Haldorsen, Benjamin	Bf5	1-0
Hapala, Lisa	e6	1-0
Happe, Ulrich	cxd4	1-0
Harper, Ryan	e6	1-0
Harper, Ryan	e6	1-0
Harshal, Shahi	Bf5	1-0
Harutyunian, Tigran K	cxd4	1-0
Haskel, Jeffrey	Bf5	1-0
Haslinger, Stewart	Bf5	1-0
Haslinger, Stewart G	Bf5	1-0
Hatzl, Johannes	e6	1-0
Hector, Jonny	Bf5	1-0
Henderson, David	Bf5	1-0
Herbst, Bernd	Qb6	1-0
Herbst, Bernd	Qb6	1-0
Herman, J	Qb6	1-0
Hilverda, Alexander	Bf5	1-0
Hitzegrad, J�rgen	e6	1-0
Hitzegrad, Juergen	e6	1-0
Hobber, Anders	e6	1-0
Hobber, Anders	e6	1-0
Hoi, Carsten	Qb6	1-0
Holm, Kristian Stuvik	e6	1-0
Holt, Conrad	Bf5	1-0
Holzleithner, Johannes	Bf5	1-0
Hristodoulou, P	Bf5	1-0
Huybrecht, Frans	e6	1-0
Ismailov, Roman	e6	1-0
Ivanov, Mikhail M	cxd4	1-0
Jacobsen, Mikkel Manosri	g6	1-0
Jahedi, Mani	Qb6	1-0
Jakab, Bela	e6	1-0
Janaszak, Dawid	e6	1-0
Jappinen, Erland	e6	1-0
Jayaram, R	cxd4	1-0
Jeandis	e6	1-0
Jedinger, Andreas	Bf5	1-0
Jedinger, Andreas	Bf5	1-0
Jerkovic, Leonardo	e6	1-0
Jerkovic, Leonardo	e6	1-0
Jirka, Jiri	Qb6	1-0
Jiruse, Josef	e6	1-0
Jocev, Milan	Bf5	1-0
Jodi	Bf5	1-0
Jogstad, Martin	e6	1-0
Johannesson, Oliver	e6	1-0
Juhasz, Kr	g6	1-0
Kacakovski, Dimitar	cxd4	1-0
Kahleys, Kevin	Qb6	1-0
Karagianis, Pete	Bf5	1-0
Karjakin, Sergey	Bg4	1-0
Kasimdzhanov, Rustam	e6	1-0
Kavciyan, Yega	Bf5	1-0
Kazmins, Girts	g6	1-0
Kazmins, Girts	g6	1-0
Kethro, Michael	cxd4	1-0
Khairullin, Ildar	e6	1-0
Khalafova, Narmin	Qb6	1-0
Khamitskiy, Sergei	e6	1-0
Khismatullin, Denis	cxd4	1-0
K�rten, Detlef	cxd4	1-0
K�rten, Detlef	cxd4	1-0
Klasan, Vladimir	e6	1-0
Klek, Hanna-Marie	Bf5	1-0
Klimakovs, Sergejs	e6	1-0
Kobese, Watu	g6	1-0
Kobese, Watu	g6	1-0
Kobese, Watu	g6	1-0
Kolesar, Milan	cxd4	1-0
Koll, Lukas	e6	1-0
Kopal, Josef	Bf5	1-0
Korchagina, Alena	e6	1-0
Korpa, Bence	Bf5	1-0
Kostic, VV	cxd4	1-0
Kovalev, Vl	e6	1-0
Kraken H15a	e6	1-0
Kramnik	g6	1-0
Kreisl, Robert	e6	1-0
Krstulovic, Alex	Bf5	1-0
Krueger, Andre	Qb6	1-0
Kruimer, Wim H. J.	e6	1-0
Krush, Irina	Bf5	1-0
Kucza, Karol	e6	1-0
Kueppers, Timo	e6	1-0
Kuerten, Detlef	cxd4	1-0
Kuuse, Klaus	cxd4	1-0
Kuuse, Klaus	cxd4	1-0
Kvisvik, Brede	Qb6	1-0
Ladva, Ottomar	e6	1-0
Larson, Matthew	Qb6	1-0
Laustsen, Lars	Bf5	1-0
Le, Tuan Minh	e6	1-0
Lebedev, Valery Ivanovich	Bf5	1-0
Lebedev, Valery Ivanovich	Bf5	1-0
Leela Chess Zero v0.10 ID 390 x64	cxd4	1-0
Lemke, Burghard	Bf5	1-0
Lentzos, Ioanis	e6	1-0
Leutwyler, M	cxd4	1-0
Li, Ruofan	e6	1-0
Li, Xueyi	g6	1-0
Li, Yankai	e6	1-0
Lillo Castay, Victor	e6	1-0
Lintchevski, Daniil	e6	1-0
Litwak, Aleksej	Bf5	1-0
Llaneza Vega, Marcos	Bg4	1-0
Lobanov, Sergei	e6	1-0
Loeffler, Christoph	Bf5	1-0
Loeffler, Stefan	Bf5	1-0
Lokander, Martin	e6	1-0
Lubis, Endar Sakti	e6	1-0
Lubis, Endar Sakti	e6	1-0
Lugovskoy, Maxim	g6	1-0
Lukovic, Vladimir	Qb6	1-0
Lutz, Anke	Qb6	1-0
Ma, Qun	Bf5	1-0
Macedo, MIa	e6	1-0
Madl, Ildiko	e6	1-0
Madl, Ildiko	e6	1-0
Madl, Ildiko	e6	1-0
Maevsky, Nikolay	Bf5	1-0
Magia 111019	cxd4	1-0
Makhmutov, Rail	cxd4	1-0
Malik, J	Qb6	1-0
Mardell, Jonas	e6	1-0
Marjanovic, Annamaria	Bf5	1-0
Markelova, Lubov	g6	1-0
Marshall, Ian H	Bf5	1-0
Marshall, Ian H.	Bf5	1-0
Martin Alvarez, Inigo	e6	1-0
Martin Duque, Jesus	Qb6	1-0
Martin Gonzalez, Angel	Bf5	1-0
Maryasin, Boris	Bf5	1-0
Mateus, Alejandro	g6	1-0
Mehar, Chinna Reddy C H	e6	1-0
Meurs, Tom	e6	1-0
Meyer, Falko	g6	1-0
M�ller, Gerhard (Osterode)	cxd4	1-0
M�ller, Gerhard (Osterode)	cxd4	1-0
Mihok, Oliver	e6	1-0
Miloi, Pavel-Dan	e6	1-0
Mindlin, Alon	e6	1-0
Misiano, Franco	Qb6	1-0
Miskulin, Dennis	Bf5	1-0
Mlynek, Petr	Bg4	1-0
Moen, Andreas	Bg4	1-0
Mohammed, Fayez	cxd4	1-0
Mohammed, Fayez	cxd4	1-0
Mohota, Nisha	cxd4	1-0
Moksh, Amit Doshi	e6	1-0
Mokshanov, Alexey	cxd4	1-0
Morcin, Tom	Bf5	1-0
MOS	e6	1-0
Motuz, Karol	e6	1-0
Motylev, Alexander	cxd4	1-0
Mucha, Piotr	g6	1-0
Mueller, Gerhard	cxd4	1-0
Murashova, Ekaterina	Qb6	1-0
Murphy, Hugh W	e6	1-0
Nadirjanova, Nodira	cxd4	1-0
Naroditsky, Daniel	e6	1-0
Nasybullina, Alfia	cxd4	1-0
Nazarova, Anastasia	Bf5	1-0
Netzer, Jean	e6	1-0
Nevostrujev, Vladimir	e6	1-0
Nguyen, Duc Hoa	Bf5	1-0
Ni, Shiqun	cxd4	1-0
Nikcevic, Nebojsa	Bf5	1-0
Nikhil Kumar, K V	Bg4	1-0
Nisipeanu, Liviu-Dieter	Bf5	1-0
Noack, Mario	e6	1-0
Noack, Mario	e6	1-0
NooB	Bf5	1-0
NooB	Bf5	1-0
Nordenbaek, Jan	a6	1-0
Novotny, M1	Qb6	1-0
Nuding, Matthias Dr	Qb6	1-0
Nyzhnyk, Illya	e6	1-0
Oberholzer, Francois	e6	1-0
Oberoi, Shelev	g6	1-0
Ochs, Manfred	e6	1-0
Ocirema	Bf5	1-0
Ocirema	Bf5	1-0
Oganian, Miran	Bf5	1-0
Okamura, Milton Kasuo	e6	1-0
Omidi, Arya	g6	1-0
Onslow, Alfie	Bf5	1-0
Oparaugo, Thomas	Qb6	1-0
Oracle v1	Bf5	1-0
Orndahl, Markus	Qb6	1-0
Orr, Mark J L	e6	1-0
Orsag, Milan CZE	e6	1-0
Oswald, David C	Bf5	1-0
Owens, Johnny	Bf5	1-0
Ozer, Omer Faruk	Qb6	1-0
Pacan-Milej, Kosma	Bf5	1-0
Parushev, Alexandar Miroslavovich	Bf5	1-0
Parushev, Alexandar Miroslavovich	Bf5	1-0
Parushev, Alexandar Miroslavovich	Bf5	1-0
Pavasovic, Dusko	cxd4	1-0
PCC 06-07 2019	Bf5	1-0
PCC 06-07 2019	Bf5	1-0
Pecurica, Milos	e6	1-0
Percivaldi, Martin	g6	1-0
Perena, Catherine	e6	1-0
Perez Fernandez, Modesto	Qb6	1-0
Perrin, Richard David	cxd4	1-0
Perrin, Richard David	cxd4	1-0
Pert, Nicholas	e6	1-0
Petrov, N	e6	1-0
Petrova, Irina	Bf5	1-0
Petrusic, Velimir	e6	1-0
Petschar, Kurt	Bf5	1-0
Pfreundt, Jakob	e6	1-0
Phantom H15a	Bf5	1-0
Pichot, Alan	e6	1-0
Pinter, Jozsef	Qb6	1-0
Pinter, Jozsef	Qb6	1-0
Pitirotjirathon, Jirapak	Bf5	1-0
Pitirotjirathon, Jirapak	Bf5	1-0
Podvoysky, Evgeny Borisovich	cxd4	1-0
Podvoysky, Evgeny Borisovich	cxd4	1-0
Polatel, Ali	Bf5	1-0
Polyakov, Evgeny Sergeevich	Bf5	1-0
Ponkratov, Pavel	Bf5	1-0
Ponomariov, Ruslan	Bf5	1-0
Ponomariov, Ruslan	Bf5	1-0
Ponomariov, Ruslan	Bf5	1-0
Portych, V�clav	Bf5	1-0
Portych, V�clav	Bf5	1-0
Poss Project 2	e6	1-0
Poss Project 2.2	e6	1-0
Poss Project 2.2	e6	1-0
Praczukowski, Stanislaw	cxd4	1-0
Praggnanandhaa, R	Bf5	1-0
Pranitchi, Teodor	Qb6	1-0
Pranitchi, Teodor Prof	Qb6	1-0
Pridorozhni, Aleksei	e6	1-0
Prodigy	e6	1-0
Rabrenovic, Vladan	Qb6	1-0
Radovanovic, Mihajlo	Bf5	1-0
Raes, A	e6	1-0
Raghavi, N	Bf5	1-0
Ragnarsson, Dagur	Qb6	1-0
Rahman, Syed Mahfuzur	Qb6	1-0
Rakesh, Kumar Jena	Qb6	1-0
Ramlow, Marcus	Qb6	1-0
Redemption	Bf5	1-0
Rego, Pedro Filipe	e6	1-0
Reinwald, Patrick	cxd4	1-0
Remille, Tristan	e6	1-0
Rey Malde, Henrique	Qb6	1-0
Reyes Maldonado, C�sar Jes�s	Bf5	1-0
Rib�s Colom, Josep M.	cxd4	1-0
Ris, Robert	e6	1-0
Risting, Eivind Olav	cxd4	1-0
Robson, Ray	Bf5	1-0
Robson, Ray	Bf5	1-0
Robson, Ray	Bf5	1-0
Rubil, Marko	Bf5	1-0
Runting, Tim E.	Bf5	1-0
Russell, M K A	e6	1-0
Rustemov, Alexander	Qb6	1-0
Rustemov, Alexander	Qb6	1-0
Rustemov, Alexander	Qb6	1-0
Rusty 101019	Bf5	1-0
Sabirov, Asilbek	Bf5	1-0
Sabuk, Piotr	cxd4	1-0
Sachuk, Aleksandr Petrovich	Bf5	1-0
Sachuk, Aleksandr Petrovich	Bf5	1-0
Sahin, Doga Boran	Bf5	1-0
Salzmann, Stefan	e6	1-0
Samani, Yamac	Bf5	1-0
Sandhoefner, Florian	Bf5	1-0
Santos, Antonio P	e6	1-0
Sapale, Saloni	h6	1-0
Saric, Ante	Bf5	1-0
Sarmiento Alfonso, Braulio	Bf5	1-0
Savchenko, Boris	Bf5	1-0
Schandorff, Lars	cxd4	1-0
Schatz, Dieter	Qb6	1-0
Schmidt, Karl Heinz	Bf5	1-0
Schmidt, Karl Heinz	Bf5	1-0
Schmolei, Michael	Bf5	1-0
Schmolei, Michael	Bf5	1-0
Schorra, Helmut	cxd4	1-0
Schulte, Juergen	cxd4	1-0
Schulze, Lara	e6	1-0
Seiler, Peter	Qb6	1-0
Serarols Mabras, Bernat	Bf5	1-0
Seres, L.	Bf5	1-0
Seres, L.	Bf5	1-0
Seres, Lajos	Bf5	1-0
Shadrina, Tatiana	cxd4	1-0
Shafigullina, Zarina	Qb6	1-0
Shamima, Akter Liza	Qb6	1-0
Sharevich, Anna	e6	1-0
Sheskin, Matan	Qb6	1-0
Shpanko, Nadiia	Bf5	1-0
Shredder 7.04 UCI 256MB Athlon 1200 MHz	Bf5	1-0
Sieglen, Joachim Dr	cxd4	1-0
Silauskas, Kestutis	cxd4	1-0
Silauskas, Kestutis	cxd4	1-0
Silva Rodriguez, Fernando	cxd4	1-0
Silva Rodriguez, Julio	Bf5	1-0
Silva Rodriguez, Julio	Bf5	1-0
Simacek, Pavel	Bf5	1-0
Skalsky, Alexandr	Bf5	1-0
Smirnov, Timofey	Qb6	1-0
Sole Pijuan, Ferran	e6	1-0
Somkin, Evgeni	e6	1-0
Souhardo, Basak	e6	1-0
Souto, Alejandro	g6	1-0
Spiess, Thomas	Bf5	1-0
Sramek, Vojtech	e6	1-0
Stankovic, Branislav D	e6	1-0
Starodubtsev, Vasily Petrovich	e6	1-0
Starodubtsev, Vasily Petrovich	e6	1-0
Stearman, Josiah	Qb6	1-0
Steingrimsson, Hedinn	cxd4	1-0
Stengelin, Martin	Bf5	1-0
Stephan, J�rgen	Bf5	1-0
Stephan, J�rgen	Bf5	1-0
Stieger, Helmut Dr	cxd4	1-0
Stork, Oliver	e6	1-0
Storme, Isak	cxd4	1-0
Straubinger, Daniel	Qb6	1-0
Stukan, Martin	Bf5	1-0
Suc, Timothy	Qb6	1-0
Sutton, Alan B	e6	1-0
Svetushkin, Dmitry	Bf5	1-0
Svetushkin, Dmitry	Bf5	1-0
Sviridova, Vlada	Bf5	1-0
Szabo, Krisztian	Qb6	1-0
Szoen, Dariusz	Bg4	1-0
Szuk, Balazs	e6	1-0
Tabatabaei, M Amin	cxd4	1-0
Tadic, Stefan	cxd4	1-0
Taffijn, Martien	e6	1-0
Tang, Andrew	e6	1-0
Tarasov, Oleg	e6	1-0
Tassopoulos, Marios	Bf5	1-0
Tate, Alan	Bf5	1-0
Ter Sahakyan, S	cxd4	1-0
TH	e6	1-0
THE HULK ! Rybka 2.0 Beta 8 mp	Qb6	1-0
Thesing, Matthias	Qb6	1-0
Todorovic, Goran M	Qb6	1-0
Toga II 3.1.8SE	Qb6	1-0
Toledo Garc�a, Manuel	Qb6	1-0
Toledo Garc�a, Manuel	Qb6	1-0
Tomazini, Zan	Bf5	1-0
Tomazini, Zan	Bf5	1-0
Tomilova, Elena	e6	1-0
Trepat Herranz, Joan	e6	1-0
Trifunovic, Miroljub	e6	1-0
Trokhimishin, Sergiy	Bf5	1-0
Tsvetkov, Andrey	cxd4	1-0
Tuononen, Janne	cxd4	1-0
Turcan, Richard	e6	1-0
Uhl, Michael Dr	Qb6	1-0
Valeinis, Janis	Qb6	1-0
Van den Bersselaar, Jeroen	Bf5	1-0
Van den Boogaart, Jan Maarten	Bf5	1-0
Van Foreest, Lucas	e6	1-0
Van Leusden, Dennis	e6	1-0
Varga, Melinda	Bf5	1-0
Varga, Peter	cxd4	1-0
Varonen, Hannu	e6	1-0
Varonen, Hannu	e6	1-0
Vasilev, M	Qb6	1-0
Vasilev, Milen	Qb6	1-0
Vasiliev, Georgiy	e6	1-0
Velcheva, Maria	Qb6	1-0
Velicka, Petr	g6	1-0
Velikic, Adela	Qb6	1-0
Veltkamp, Gerben	e6	1-0
Vennemann, Horst	e6	1-0
Vidit, Santosh Gujrathi	g6	1-0
Villegas, Pierre	e6	1-0
Vishnu, P	Bf5	1-0
Voiculescu, Florin	Qb6	1-0
Voiculescu, Florin	Qb6	1-0
Voigt, Martin	cxd4	1-0
Vovk, Ilja	Qb6	1-0
Wachinger, Nikolas	e6	1-0
Wacker, Peter	Bf5	1-0
Wagner, Alexej	e6	1-0
Wagner, Dennis	cxd4	1-0
Waldmann, Gerald	Bf5	1-0
Wallis, Christopher	cxd4	1-0
Walther, Joachim	Bf5	1-0
Wang, Tianqi	e6	1-0
Warmerdam, Max	e6	1-0
Warnest, Stefan	e6	1-0
Woeber, Friedrich	cxd4	1-0
Wojtaszek, Radoslaw	cxd4	1-0
Wojtaszek, Radoslaw	cxd4	1-0
Wu, Rochelle	Bf5	1-0
Xylogiannopoulos, Antonios	Qb6	1-0
Yandarbiev, Ruslan	Qb6	1-0
Yankelevich, Michael	e6	1-0
Yeni	e6	1-0
Yildiz, Betul Cemre	Qb6	1-0
Young, Alan	e6	1-0
Youssoupov, Moisse	Bf5	1-0
Yu, Lie	Bf5	1-0
Yu, Lie	Bf5	1-0
Yu, Lie	Bf5	1-0
Zadruzny, Nicolaj	Bf5	1-0
Zamarbide Inarrea, Daniel	g6	1-0
Zarubitski, Viachaslau	e6	1-0
Zatonskih, Anna	Bf5	1-0
Zatonskih, Anna	Bf5	1-0
Zelenika, Zoran	Bf5	1-0
Zhafyarov, Adel	Bf5	1-0
Zpevakova, Jana	Bf5	1-0
Zwahr, Paul	cxd4	1-0

[mmt]

OK, I quote nothing.
Here is a much simpler example, trillions of time simpler than the game of chess.

It's not trillions of times simpler when it comes to proving a draw for white. If we follow what I proposed in #1 in the OP, it's maybe ~100k times simpler because of transpositions (5 moves for white) and 4 moves for black (~35^4). But it's less than this because the vast majority of black's first 4 possible moves from the starting position are bad, which means that it's much easier to prove white draws from resulting positions after 9 plies. So I don't know, maybe it's 10,000 times simpler than proving a draw for white from the starting position.

[Madeleine Birchfield]

We aren't close at all. So far we only have a hypothesis/theory (chess is a draw) and experiments from current engines such as Stockfish and Leela; they say that it is highly likely that chess is a draw, but do not mathematically prove anything at all.

For that to happen, one would need a database consisting of all positions reachable from the starting position and an evaluation whether the position is won, drawn, or lost, or a shortcut in the mathematical proof for chess like in the proof for solving nim. The former is physically impossible as the number of positions in chess greatly exceeds the number of subatomic particles in the universe, and the time scale to generate such a database is such that if somebody were to begin the task today, the Earth would be swallowed by the Sun becoming a red giant before the database is fully constructed. And the latter is nowhere close to being found for combinatorial games much simpler than chess (like Los Alamos Chess and Minishogi), and there is nothing to indicate that chess is anything special when it comes to finite combinatorial games.

People who say otherwise do not understand the difference between science, which hinges on experiment, and mathematics, which hinges on proof. Science doesn't actually prove anything definitive about the world, it just shows that our models/theories/hypotheses are good approximations of reality.

[mmt]

The former is physically impossible as the number of positions in chess greatly exceeds the number of subatomic particles in the universe, and the time scale to generate such a database is such that if somebody were to begin the task today, the Earth would be swallowed by the Sun becoming a red giant before the database is fully constructed.

I mentioned ignoring the 50 move rule in my OP. In that case, this is false. And false by a lot. Something like trillion trillion trillion times off. And your post is about proving chess is a draw, which is not the topic of this thread.