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. (See Can generative AI solve computer science's 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?
Asked
Active
Viewed 345 times
