I’m not convinced by this response (incidentally here I’ve found a LW post making a similar claim). If your only justification for “is move X best” is “because I’ve tried all others”, that doesn’t exactly seem like usefully accumulated knowledge. You can’t generalize from it, for one thing.
And for philosophy, if we’re still only on the level of endless arguments and counterarguments, that doesn’t seem like useful philosophical progress at all, certainly not something a human or AI should use as a basis for further deductions or decisions.
What’s an example of useful existing knowledge we’ve accumulated that we can’t in retrospect verify far more easily than we acquired it?
I’m not convinced by this response (incidentally here I’ve found a LW post making a similar claim). If your only justification for “is move X best” is “because I’ve tried all others”, that doesn’t exactly seem like usefully accumulated knowledge. You can’t generalize from it, for one thing.
And for philosophy, if we’re still only on the level of endless arguments and counterarguments, that doesn’t seem like useful philosophical progress at all, certainly not something a human or AI should use as a basis for further deductions or decisions.
What’s an example of useful existing knowledge we’ve accumulated that we can’t in retrospect verify far more easily than we acquired it?