Can generative AI solve computer science's greatest unsolved problem?

The question -- Does P = NP? -- is a grand theoretical challenge. Scientists took the approach of spoon-feeding ideas to GPT-4 to seek an answer.