Gaza and proportionate response

[rayheinrich]

Answer me this: chatgpt has been fed with all the maths theorems ever in existence. Then why can’t it prove a new theorem?

---

Ask it to prove the Goldbach conjecture and you get a watered down Wikipedia entry
Can’t do maths, can’t twerk. Bah!!

GPT is a large language model and large language models don't do mathematical reasoning
that well. There's a reason they're named large language models.

There are any number of other AI systems that do prove theorems; Google has several,
so has Meta. But yeah, they're not as good at proving theorems as human mathematicians
are at the moment. But then, AI robots can't do plumbing that well either. Finding examples
of things AI can't do is easy. But statements about the present don't have much bearing on
the future.

Humans are constantly looking around to find ways they are superior. Maybe that's something
humans will always be superior at: Hubris.