points by suddenlybananas 4 days ago | 0 comments
I don't think we're there yet for science. Perhaps for math proofs, but that's a very different domain ultimately since we know the rules of the game in a way we don't with science.
[–] A_D_E_P_T 4 days ago
[–] kaffekaka 4 days ago
A big difference is that in mathematics, you can do all your experimentation purely in theory and at arbitrary speed, while for example chemistry needs a lab and plenty of time.
Math is really super suitable for quick iterations by a machine.
[–] teiferer 4 days ago
What makes you believe that it will be such a progression?
> https://en.wikipedia.org/wiki/Hierarchy_of_the_sciences
First math and CS, where formal logic dominate, and AI can check/verify its own answers very quickly. Then physics, downstream of math. Then materials science, which in some cases is practically a branch of physics. Then chemistry more generally. Then biology. Then various social sciences.