But the issue applies even to non-inductive knowledge. An AGI tasked to calculate pi to ten decimal places will still eat up the lightcone to check, due to the limits on deductive knowledge.
Fair point; I overlooked that aspect. In any case, I’ve removed the (redundant) sentence altogether.
But the issue applies even to non-inductive knowledge. An AGI tasked to calculate pi to ten decimal places will still eat up the lightcone to check, due to the limits on deductive knowledge.
Fair point; I overlooked that aspect. In any case, I’ve removed the (redundant) sentence altogether.