Meta “programmed it to simply not answer questions,” but it did anyway.
It’s not pedantic. You can mathematically prove math.
You can’t mathematically/algorithmically prove an event happened or did not happen.
Adding “mathematically/algorithmically” in front of the word “prove” as if it were always implicitly there, and suggesting that it’s the only way we should be using the word “prove” seems pretty darned pedantic to me.
You can prove mathematical logic and you can (not 1-to-1) tie that to symbolic logic, but since it’s not 1-to-1, because of ambiguity of symbols, there will be much more complexity. I personally think that the future of various machine assistants lies there, and what LLM’s now do is going to be used in auxiliary roles for that.
The problem is that mathematical proofs rely on the basic premise that the underlying assumptions are rock solid, and that the rules of the math are rock solid. It’s rigorous logic rules, applied mathematically.
The real world is Bayesian. Even our hard sciences like physics are only “mostly” true, which is why stuff like relativity could throw a wrench in it. There’s inherent uncertainty for everything, because it’s all measurement based, with errors, and more importantly, the relationships all have uncertainty. There is no “we know a^2 and b^2, so c^2 must be this”. It’s “we think this news source is generally reliable and we think the sentiment of the article is that this crime was committed, so our logical assumption is that the crime was probably committed”. But no link in the chain is 100%. “Rock solid” sources get corrupted, generally with a time lag before it’s recognizable. Your interpretation of a simple article may be damn near 100%, but someone is still going to misread it, and a computer definitely can.
Uncertainty is central to reality, down to the fact that even quantum phenomena have to be talked about probabilistically because uncertainty is built in all the way down.
No. It’s just pure math and logic. And LLMs are nothing more than billions of additions and multiplications. Literally. You can prove certain things on it just like you can prove theorems in mathematics. It’s an ongoing ressearch field.
It’s just pure math and logic. And LLMs are nothing more than billions of additions and multiplications.
Okay: using additions and multiplications prove the assassination attempt on Donald Trump happened
How would you even prove something like that outside of LLMs? What is your point? That you cannot prove anything except “I think therefore I am”?
Either you haven’t read my comments or you’re intentionally trying to be provocative.
