#4008
"So, strictly speaking, it is not a general rule." ++ It is a general rule, but has exceptions.
"1 e4 e5 2 Ba6 provides no compensation at all and can be dismissed.
Unproven." ++ I provided proof above: it is a forced checkmate in 82.
""they can be sound (1. e4 e5 2. f4)" ++ 'It loses by force' - Fischer, 'I could not find a way for white to equalise' - Kramnik '23.4% black wins, 6.3% white wins' - AlphaZero Figure 4. (d)
https://arxiv.org/pdf/2009.04374.pdf
Appeal to authority."
++ Expert opinions plus independent calculations with no other input but the Laws of Chess
"Afaik, in checkers (a simpler game than chess) some openings are considered "trivial" and they had not been checked when the game was announced solved. There is ongoing computation to solve them too, though. Losing chess has been solved from the initial position, as you well know."
++ Losing Chess has the same 64 squares, 32 men, 6 kinds of men as Chess and needed only 10^9 positions not 10^44 to weakly solve it by interaction of humans and computers. It has been solved variation by variation, simplest first. The humans selected the course and the computers verified by calculation until the table base.
"They cannot check all the lines a computer would search in 5 years"
++ They avoid useless calculations in clear wins, clear draws, or meaningless lines.
"1 e4 e5 2 Ba6 loses a bishop for no compensation.
It is a sure loss for white, no doubt at all. So it can be dismissed.
Repetition. Unproven." ++ I provided proof above: it is a forced checkmate in 82.
"1 Nf3 d5 2 Ng1 is nonsense, does not try to win and thus can be dismissed.
Unproven."
++ This is ridiculous. So you think 1 Nf3 d5 2 Ng1 is a good try to win, better than 1 e4 or 1 d4?
"It is not proved that those strategic rules are good for any situation. 1. a4 gives a worse expected score in practical play; that does not imply its game-theoretic value is lower than 1. d4 or 1. e4." The game-theoretic value of 1 a4 may well be the same as 1 d4 or 1 e4: a draw. The point is that it is unthinkable that the game-theoretic value of 1 d4 and of 1 e4 is a draw and that the game-theoretic value of 1 a4 were a white win. The argument is not about practical play, it is about the accomplishment of the move in terms of the center and development.
AlphaZero ranked all first moves with no other input but the Laws of Chess and thus acquired chess knowledge, i.e. a set of theorems derived from axioms: the Laws of Chess by logic: boolean operations.
https://arxiv.org/pdf/2111.09259.pdf
#4001
"If Shveshnikov were still alive and he changed his mind, would that convince you?"
++ He would not have any reason to change his mind: he was right.
All facts and figures support his bold claim.
The only thing that would convince me is a valid counterargument.
So far I have only read insults, not one single even remotely valid counterargument.
The first people who said humans can walk on the Moon also met unfounded criticism.