1742
we are safe (discuss.tchncs.de)
you are viewing a single comment's thread
view the rest of the comments
[-] tryptaminev@feddit.de 23 points 1 year ago

did we really regress back from that?

i mean giving a confidence for recognizing a certain object in a picture is relatively straightforward.

But LLMs put together words by their likeliness of belonging together under your input (terribly oversimplified).the confidence behind that has no direct relation to how likely the statements made are true. I remember an example where someone made chatgpt say that 2+2 equals 5 because his wife said so. So chatgpt was confident that something is right when the wife says it, simply because it thinks these words to belong together.

[-] metaStatic@kbin.social 2 points 1 year ago

ChatGPT what is the Gödel number for the proof of 2+2=5?

[-] Rootiest@lemmy.world 2 points 1 year ago

Gödel numbers are typically associated with formal mathematical statements, and there isn't a formal proof for 2+2=5 in standard arithmetic. However, if you're referring to a non-standard or humorous context, please provide more details.

[-] metaStatic@kbin.social 1 points 1 year ago

Of course I don't know enough about the actual proof for it to be anything but a joke but there are infinite numbers so there should be infinite proofs.

there are also meme proofs out there I assume could be given a Gödel number easily enough.

this post was submitted on 20 Nov 2023
1742 points (98.2% liked)

Programmer Humor

32549 readers
478 users here now

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

founded 5 years ago
MODERATORS