Viewing a single comment thread. View all comments

SartoriusX t1_j3e3lk5 wrote

Reply to comment by singularpanda in [D] Will NLP Researchers Lose Our Jobs after ChatGPT? by singularpanda

Is this true? What type of inference would it be capable of?

1

singularpanda OP t1_j3e5ct5 wrote

I have tried many cases. For example. It gives correct proof of one of my technical lemmas in my own paper which make me quite amazine. It is a simple lemma, but it is very specific to my question. I also tried to search with google but do not find the answer.

2