Which asks the question of what knowledge is. Can knowledge be super human ? Or is knowledge a human matter ? If so (like i believe), then what those ai labs are doing is far from the end of the story. Because the goal of science is not to produce a certificate of something, but more to produce an explanation that can fit in a human brain, that can be reasoned on, and that can be retargeted. In this sense, producing a million lines proof is not really producing knowledge, even less so doing science.
In maths, you go through proofs every step of the way. Same in physics, you start by performing even the most basic experiments, and build your way up.
Comments
Which asks the question of what knowledge is. Can knowledge be super human ? Or is knowledge a human matter ? If so (like i believe), then what those ai labs are doing is far from the end of the story. Because the goal of science is not to produce a certificate of something, but more to produce an explanation that can fit in a human brain, that can be reasoned on, and that can be retargeted. In this sense, producing a million lines proof is not really producing knowledge, even less so doing science.
Knowing something is proven true is knowledge, even if the mechanics of the proof are not understood.
In maths, you go through proofs every step of the way. Same in physics, you start by performing even the most basic experiments, and build your way up.
If the mechanics of the proof are not understood, how do we know it's been proven? Math proofs are not a "trust me, bro" kind of thing.
It's not knowledge, it's belief.
Suppose there is an oracle that can tell you whether a particular result in maths or physics is true. Would research still have any value?