For example a very simple proof: with the conjecture that an even number is 2k of a number k, then you can prove that the addition of two even numbers is again an even number (and that prove is definite): 2a+2b=2(a+b).
Obviously, proving more complex mathematical problems like AI is more involved. But that’s why we have scientists that work on that.
At best the most popular answer, even if it is narrowed down to reliable sources, is what it can spit out. Even that isn’t the same thing is consensus, because AI is not intelligent.
That is correct. But it’s not a limitation. It’s by design. It’s the tradeoff for the efficiency of the models. It’s like lossy JPG compression. You accept some artifacts but in return you get much smaller images and much faster loading times. (This is obviously oversimplified).
But there are indeed "AI"s and neural networks that have been proven correct. This is mostly applied to safety critical applications like airplane collision avoidance systems or DAS.
If the ‘supervisor’ has to determine if it is right and wrong, what is the point of AI as a source of knowledge?
You’re completely misunderstanding the whole thing. The only reason why it’s so incredibly good in many applications is because it’s bad in others. It’s intentionally designed that way. There are exact algorithms and there approximation algorithms. The latter tend to be much more efficient and usable in practice.
It’s designed in a ways that’ll make it inherently incorrect. Even on a physical basis (due to numeric issues). It’s not a problem of the algorithm because it has been designed that way. The problem is that you don’t know how to correctly use it.
I can’t explain it any differently without getting overly technical. You wouldn’t understand it anyways, judging by your comment “lolwut”. If you want to learn how LLMs work specifically, there are plenty of ressources on the internet.
It’s designed in a ways that’ll make it inherently incorrect. Even on a physical basis (due to numeric issues). It’s not a problem of the algorithm because it has been designed that way. The problem is that you don’t know how to correctly use it.
So it is bad at things like giving or finding factual information. I agree, companies need to stop cramming it into everything (like search engines) for tasks that it is specifically bad at because it is not designed for it.
Can you recommend any for resource to start with? (If I can be picky, then something I can consume after a whole day of being a patent because there is no energy for much else.)
It’s designed in a ways that’ll make it inherently incorrect. Even on a physical basis (due to numeric issues). It’s not a problem of the algorithm because it has been designed that way. The problem is that you don’t know how to correctly use it.
“It doesn’t make a good source of knowledge.”
“Yeah, but it is designed to be inherently wrong”
How does that make any sense when trying to use something for knowledge? Being inherently wrong is the opposite of helpful for knowledge.
AI is great at pattern recognition, but knowledge isn’t pattern recognition. Needing to know when it gives false information requires the “supervisor” to already have that knowledge. That makes the AI less useful than a simple reference because at least the reference can come from a trusted source.
If people stopped trying to jam AI into situations where being correct is important it wouldn’t be a problem. But excusing that because it is designed to be inherently wrong deserves another LOLWUT.
How does that make any sense when trying to use something for knowledge? Being inherently wrong is the opposite of helpful for knowledge.
It was never designed to reproduce knowledge. It was designed to do reasoning and natural language processing and generation. You’re using it wrong.
LULWUT
If you don’t know what you’re talking about and don’t have any capacity to learn something new, it’s sometimes best to stop talking. Especially when you’re starting to get rude to knowlegable people that try to explain it to you.
Your proof example is a proof from your discrete structures class. That’s very different than “proving” something like “the Trump assassination attempt was a conspiracy.”
Otherwise we could have gotten rid of courts a long time ago.
Well obviously. But that was not at all what I said or claimed. I just said that you can prove certain properties of neural networks because others said that you can’t. And others also misunderstood LLMs in general. They believe it’s an information retrival service, which is wrong.
Besides, your argument, as you’ve written it, applies to everything. Literally. From Wikipedia, to News, even up to your eyesight. What can you actually prove? I don’t understand the point you’re making and how that is related to LLMs.
You can prove some things are correct, like math problems (assuming the axioms they are based on are also correct).
You can’t prove that things like events having happened are correct. That’s even a philosophical issue with human memory. We can’t prove anything in the past actually happened. We can hope that our memory of events is accurate and reliable and work from there, but it can’t actually be proven. In theory everything before could have just been implanted into our minds. This is incredibly unlikely (as well as not useful at best), but it can’t be ruled out.
If we could prove events in the past are true we wouldn’t have so many pseudo-historians making up crazy things about the pyramids, or whatever else. We can collect evidence and make inferences, but we can’t prove it because it is no longer happening. There’s a chance that we miss something or some information can’t be recovered.
LLMs are algorithms that use large amounts of data to identify correlations. You can tune them to give more unique answers or more consistent answers (and other conditions) but they aren’t intelligent. They are, at best, correlation finders. If you give it bad data (internet conversations) or incomplete data then it at best will (usually confidently) give back bad information. People who don’t understand how they work assume they’re actually intelligent and can do more than this. This is dangerous and should be dispelled quickly, or they believe any garbage it spits out, like the example from this post.
You can’t prove that things like events having happened are correct.
You can’t so solidly that this shouldn’t even be discussed.
What should be is whether you can make a machine capable of reasoning.
There’s symbolic logic, so you can maybe some day make a machine that makes correct syllogisms, detects incorrect syllogisms and such.
People who don’t understand how they work assume they’re actually intelligent and can do more than this. This is dangerous and should be dispelled quickly, or they believe any garbage it spits out, like the example from this post.
Sadly there’s that archetype of “the narrow-minded not cool scientist against the cool brave inventor” which means that actively dispelling that may do harm. People who don’t understand will match the situation with that archetype and it will reinforce their belief.
Well but this kind of correctness applies to everything. By thag logic, you can’t believe anything. I’m talking about an entirely different correctness. Like resistance against certain adversarial attacks. Of course, proving that the model is always correct, is as complicated as modelling the entire reality. That’s infeasible. But it’s also infeasible for every other software.
No, you’re wrong. You can indeed prove the correctness of a neural network. You can also prove the correctness of many things. It’s the most integral part of mathematics and computer-science.
For example a very simple proof: with the conjecture that an even number is 2k of a number k, then you can prove that the addition of two even numbers is again an even number (and that prove is definite): 2a+2b=2(a+b).
Obviously, proving more complex mathematical problems like AI is more involved. But that’s why we have scientists that work on that.
That is correct. But it’s not a limitation. It’s by design. It’s the tradeoff for the efficiency of the models. It’s like lossy JPG compression. You accept some artifacts but in return you get much smaller images and much faster loading times. (This is obviously oversimplified).
But there are indeed "AI"s and neural networks that have been proven correct. This is mostly applied to safety critical applications like airplane collision avoidance systems or DAS.
You’re completely misunderstanding the whole thing. The only reason why it’s so incredibly good in many applications is because it’s bad in others. It’s intentionally designed that way. There are exact algorithms and there approximation algorithms. The latter tend to be much more efficient and usable in practice.
lolwut
It’s designed in a ways that’ll make it inherently incorrect. Even on a physical basis (due to numeric issues). It’s not a problem of the algorithm because it has been designed that way. The problem is that you don’t know how to correctly use it.
I can’t explain it any differently without getting overly technical. You wouldn’t understand it anyways, judging by your comment “lolwut”. If you want to learn how LLMs work specifically, there are plenty of ressources on the internet.
So it is bad at things like giving or finding factual information. I agree, companies need to stop cramming it into everything (like search engines) for tasks that it is specifically bad at because it is not designed for it.
Can you recommend any for resource to start with? (If I can be picky, then something I can consume after a whole day of being a patent because there is no energy for much else.)
“It doesn’t make a good source of knowledge.”
“Yeah, but it is designed to be inherently wrong”
How does that make any sense when trying to use something for knowledge? Being inherently wrong is the opposite of helpful for knowledge.
AI is great at pattern recognition, but knowledge isn’t pattern recognition. Needing to know when it gives false information requires the “supervisor” to already have that knowledge. That makes the AI less useful than a simple reference because at least the reference can come from a trusted source.
If people stopped trying to jam AI into situations where being correct is important it wouldn’t be a problem. But excusing that because it is designed to be inherently wrong deserves another LOLWUT.
It was never designed to reproduce knowledge. It was designed to do reasoning and natural language processing and generation. You’re using it wrong.
If you don’t know what you’re talking about and don’t have any capacity to learn something new, it’s sometimes best to stop talking. Especially when you’re starting to get rude to knowlegable people that try to explain it to you.
Your proof example is a proof from your discrete structures class. That’s very different than “proving” something like “the Trump assassination attempt was a conspiracy.”
Otherwise we could have gotten rid of courts a long time ago.
Well obviously. But that was not at all what I said or claimed. I just said that you can prove certain properties of neural networks because others said that you can’t. And others also misunderstood LLMs in general. They believe it’s an information retrival service, which is wrong.
Besides, your argument, as you’ve written it, applies to everything. Literally. From Wikipedia, to News, even up to your eyesight. What can you actually prove? I don’t understand the point you’re making and how that is related to LLMs.
You can prove some things are correct, like math problems (assuming the axioms they are based on are also correct).
You can’t prove that things like events having happened are correct. That’s even a philosophical issue with human memory. We can’t prove anything in the past actually happened. We can hope that our memory of events is accurate and reliable and work from there, but it can’t actually be proven. In theory everything before could have just been implanted into our minds. This is incredibly unlikely (as well as not useful at best), but it can’t be ruled out.
If we could prove events in the past are true we wouldn’t have so many pseudo-historians making up crazy things about the pyramids, or whatever else. We can collect evidence and make inferences, but we can’t prove it because it is no longer happening. There’s a chance that we miss something or some information can’t be recovered.
LLMs are algorithms that use large amounts of data to identify correlations. You can tune them to give more unique answers or more consistent answers (and other conditions) but they aren’t intelligent. They are, at best, correlation finders. If you give it bad data (internet conversations) or incomplete data then it at best will (usually confidently) give back bad information. People who don’t understand how they work assume they’re actually intelligent and can do more than this. This is dangerous and should be dispelled quickly, or they believe any garbage it spits out, like the example from this post.
You can’t so solidly that this shouldn’t even be discussed.
What should be is whether you can make a machine capable of reasoning.
There’s symbolic logic, so you can maybe some day make a machine that makes correct syllogisms, detects incorrect syllogisms and such.
Sadly there’s that archetype of “the narrow-minded not cool scientist against the cool brave inventor” which means that actively dispelling that may do harm. People who don’t understand will match the situation with that archetype and it will reinforce their belief.
Well but this kind of correctness applies to everything. By thag logic, you can’t believe anything. I’m talking about an entirely different correctness. Like resistance against certain adversarial attacks. Of course, proving that the model is always correct, is as complicated as modelling the entire reality. That’s infeasible. But it’s also infeasible for every other software.