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 hours ago | parent [-]

Oh, it's going to move up the old ladder, from bottom to top:

> 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.

	▲	kaffekaka 4 hours ago \| parent \| next [-]
		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 3 hours ago \| parent \| prev [-]
		What makes you believe that it will be such a progression?