"I'm not saying such a thing exists, I'm just saying that (as far as I know) no one has proved that it doesn't."
Nobody knowing that one exists is ample proof that it doesn't.
One could say the same thing about forced wins for Black from the starting position. Both sides of the argument are speculating, that's my point.
No algorithm "exists", that gives the best move in any position that is much faster than anything that we have now. The fact that in ten or ten thousand years such an algorithm will be found, here or at the other end of the universe, does not make such an algorithm "exist" in the usual meaning. Would you say printing press existed before Gutemberg, because it was a physical possibility ?
On the opposite, the ideal outcome (ie the evaluation win/draw/loss for White) of the initial position does "exist" although we do not know it, because we are able to define very precisely what it is. We even have a theoretical (though unpractical) way to calculate it (brutal calculation). What the value is is not known for now (at best, guessed), but it "exists".
)? Or, to put it another way, how many moves have to be made before arriving at an opening variation that simply loses? Fool's Mate obviously lies on this continuum but doesn't count!
"I'm not saying such a thing exists, I'm just saying that (as far as I know) no one has proved that it doesn't."
Nobody knowing that one exists is ample proof that it doesn't.
One could say the same thing about forced wins for Black from the starting position. Both sides of the argument are speculating, that's my point.