Body: <p>According to ZDNet, it is an open question whether a transformer LLM like ChatGPT can facilitate the determination of a solution to the <a href="https://en.wikipedia.org/wiki/P_versus_NP_problem" rel="nofollow noreferrer">P-NP Problem</a>. (See <strong><a href="https://www.zdnet.com/article/can-generative-ai-solve-computer-sciences-greatest-unsolved-problem/" rel="nofollow noreferrer">Can generative AI solve computer science's greatest unsolved problem?</a> (ZDNet)</strong>) This would seem to be an attempt to mine statistical patterns of a corpus as a form of non-determinstic automated reasoning to collate a series of logical propositions that cohere to a deductively sound argument. So, the question arises is there any <em>a priori</em> justification for rejecting this particular form of generative AI as a strategy for developing a mathematical logical argument to determine an answer to the question of P-NP equivalency?</p>
  
Comments.ContentLicense: CC BY-SA 4.0
Comments.CreationDate: 2023-10-01T10:39:10.283Z
Comments.Text: wow, how many big words ahah
Comments.UserDisplayName: Alberto
Comments.ContentLicense: CC BY-SA 4.0
Comments.CreationDate: 2023-10-03T17:30:20.600Z
Comments.Text: Are you looking for better answer of the Nondeterministic Polynomial (time) question or an answer from Large Language Model?
Comments.UserDisplayName: Cloud Cho
Comments.ContentLicense: CC BY-SA 4.0
Comments.CreationDate: 2023-10-03T23:12:14.467Z
Comments.Text: @CloudCho I'm looking for analysis that confirms or disconfirms that using transformer model would a priori lead to a failure to determine if P and NP are equivalent given LLMs are prone to hallucinations.
Comments.UserDisplayName: J D
Comments.ContentLicense: CC BY-SA 4.0
Comments.CreationDate: 2023-10-04T19:40:10.887Z
Comments.Text: Still hard to understand. Have you seen LLM is used in polynomial/math or boundary of non polynomial question? I found one interesting post at https://mathoverflow.net/questions/447274/a-number-theoretic-conjecture-by-chat-gpt. You may look for (or ask) how OpenAI train Chat GPT for math question.
Comments.UserDisplayName: Cloud Cho
Tags: <natural-language-processing><large-language-models><automated-reasoning>
Title: Is ChatGPT a viable strategy for solving the P-NP Problem?
UserDisplayName: J D
ThreadText: # Is ChatGPT a viable strategy for solving the P-NP Problem?
  
  (Asked by: username_0 on 2023-09-30)
  
  According to ZDNet, it is an open question whether a transformer LLM like ChatGPT can facilitate the determination of a solution to the [P-NP Problem](https://en.wikipedia.org/wiki/P_versus_NP_problem). (See **[Can generative AI solve computer science's greatest unsolved problem?](https://www.zdnet.com/article/can-generative-ai-solve-computer-sciences-greatest-unsolved-problem/) (ZDNet)**) This would seem to be an attempt to mine statistical patterns of a corpus as a form of non-determinstic automated reasoning to collate a series of logical propositions that cohere to a deductively sound argument. So, the question arises is there any *a priori* justification for rejecting this particular form of generative AI as a strategy for developing a mathematical logical argument to determine an answer to the question of P-NP equivalency?
  
  **Tags:** natural-language-processing, large-language-models, automated-reasoning
  > **Comments:**
  > **username_1**: wow, how many big words ahah  
  > **username_2**: Are you looking for better answer of the Nondeterministic Polynomial (time) question or an answer from Large Language Model?  
  > **username_0**: @CloudCho I'm looking for analysis that confirms or disconfirms that using transformer model would a priori lead to a failure to determine if P and NP are equivalent given LLMs are prone to hallucinations.  
  > **username_2**: Still hard to understand. Have you seen LLM is used in polynomial/math or boundary of non polynomial question? I found one interesting post at https://mathoverflow.net/questions/447274/a-number-theoretic-conjecture-by-chat-gpt. You may look for (or ask) how OpenAI train Chat GPT for math question.  
  
  ---
  
  ## 0 answers
  
  