3 ms·

There are literally textbooks on computational theory, with tons of example proofs. I'm sure there are models trained on them. Why hasn't ChatGPT produced a val

by wk_end 1y ago

There are literally textbooks on computational theory, with tons of example proofs. I'm sure there are models trained on them. Why hasn't ChatGPT produced a valid P vs. NP proof yet?

gametorch 1y ago
I'm just countering their claim that such code is not in the training data. You're employing a logical fallacy to argue about something else.
- LtWorf 1y ago
  1 book on something is not enough for LLMs to do anything useful. They aren't people.