I, for one, understand your preference but would respectfully suggest that a brute force analysis of the entirety of chess is impossible for the forseeable future. Therefore it seems that, after a brief flirtation with the idea of perfection as embodied in more and more powerful computers, we're once more thrown back on our own resources. Therefore it is perfectly acceptable and reasonable to claim that a lost position, such as 1. e4 e5 2. Ba6, is well and truly lost.
The first thing you need to accomplish a task is the tools and materials needed for it. As we both agree that the foolproof solution is presently unavailable, we can speculate and give our best opinions, but best guesses so often prove to be incorrect in the long run that that any quick solution at which we might arrive must remain doubtful.
You can take that point of view regarding whether we exist in the first place or whether we're merely figments of our own imaginations.
Too much deference is being given to the views of those like Elroch, who are essentially nihilists, who believe that only deduction suffices, even though there's nothing to deduce from, which isn't suspect in one way or another. Out of the window with them, basically.
@5154
"an evaluation of 500 centipawns (like many positions that are not won) and a LeelaZero evaluation of 99.8% (or whatever it is) is enough to be certain"
++ No, engine evaluations are flawed.
Correct. They are sometimes misleading (although of course the AI ones admit their uncertainty, so there is no excuse for thinking otherwise.
Certainty comes from calculation until the 7-men table base or a prior 3-fold repetition.
However, certainty also comes from human deductive logic.
If you understood what deductive logic was, it would help. It can be expressed as the repeated application of a very small number of syllogisms. This could not be mistaken for your glib non sequiturs.
When all other factors are equal any material advantage wins.
After 1 e4 e5 2 Ba6 black is up material and all other factors are equal, so white loses.
LeelaZero's billion parameters for evaluating everything about a position (trivially including the material and anything you might include in "all other factors" (plus a million times more) provides it with enormously more testable understanding about this but does not provide it with certainty. A passable human player like yourself being certain about this is an example of your poorer judgement versus an AI that is over 1000 points stronger.