I think the axiom that they’d use to prove something like this mathematically probably depends on assuming scale separation, such that you can discover laws, that while not fully accurate, are much better than random chance and cheap to compute, which means you can get more compute to learn new laws, until you hit the limiting point of a Theory of Everything:
I think the axiom that they’d use to prove something like this mathematically probably depends on assuming scale separation, such that you can discover laws, that while not fully accurate, are much better than random chance and cheap to compute, which means you can get more compute to learn new laws, until you hit the limiting point of a Theory of Everything:
https://www.lesswrong.com/posts/HcjL8ydHxPezj6wrt/book-review-the-structure-of-scientific-revolutions#qyPgFjpqNDaZ8cneh