News for hackers. Stuff that matters.

A comment on Verification Is Not Knowledge: Science needs more than answers. Parent comment

Re:Verification Is Not Knowledge: Science needs more than an... by suddenlybananas on Wednesday November 04, 2026 @05:10AM (#50363460)
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.
[ Parent | on HN ]
Re:Verification Is Not Knowledge: Science needs more than an... by A_D_E_P_T on Wednesday November 04, 2026 @05:35AM (#50363654)
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.

[ Parent | on HN ]
Re:Verification Is Not Knowledge: Science needs more than an... by kaffekaka on Wednesday November 04, 2026 @05:49AM (#50363758)
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.

[ Parent | on HN ]
Re:Verification Is Not Knowledge: Science needs more than an... by teiferer on Wednesday November 04, 2026 @06:29AM (#50364150)
What makes you believe that it will be such a progression?
[ Parent | on HN ]