← Back to context

Comment by EliRivers

7 hours ago

They are fundamentally suited to everything not proven to be outside their modelling ability.

This doesn't seem to make much sense. Surely us being able to prove that something is outside their modelling ability doesn't affect whether it is or not. If I prove something true tomorrow, whatever I proved was also true today.

Or do we have a proof that everything beyond them has already been proved and there are no more proofs left to find?