Well...Uri Blass wrote: ↑Wed Oct 16, 2019 9:50 ama tree that show a forced mate in all lines is certainly a proof.Zenmastur wrote: ↑Wed Oct 16, 2019 6:20 amWhat do you consider proof?lkaufman wrote: ↑Wed Oct 16, 2019 4:43 amI think I'll change my opinion from "draw" to "loss" for 1.g4. I let Komodo MCTS think about it for an hour or so and got a -.83 score for it after 1...d5. Usually anything beyond 0.7 is a winning advantage based on playouts from the position. This doesn't mean that I or anyone else can prove the win, just that it is probably the smart way to bet if somehow there were a way to get the answer!
1.f3(f4) e6(e5) 2.g4 is proved to be a forced mate for black(white can use a different order of moves)
1.f3(f4) e6(e5) 2.h3 is also proved to be a forced mate for black(white can use a different order of moves)
I am not sure if you can find a proof for a forced mate after 3 plies except these examples
There are some lines when white lose the queen like
1.e3 Nf6 2.Qg4 or 1.e4 g6 2.Qh5
I am sure that black win in them but I am not sure if you can prove a forced mate for black in one of them
I know what a proof tree looks like. I also believe that with current hardware generating a proof tree for 1.g4 is out of the question.
I'll be happy with any score of -3.xx or less (since that's what I recalled/claimed).