this post was submitted on 20 Nov 2023
1759 points (98.1% liked)

Programmer Humor

32472 readers
954 users here now

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

Rules:

founded 5 years ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 23 points 1 year ago (1 children)

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.

[–] [email protected] 2 points 1 year ago (1 children)

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

[–] [email protected] 2 points 1 year ago (1 children)

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.

[–] [email protected] 1 points 11 months 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.