Large Language Model for Science: A Study on P vs. NP. - Dong, Qingxiu; Dong, Li; Xu, Ke; Zhou, Guangyan; Hao, Yaru; Sui, Zhifang; Wei, Furu (CoRR, 2023)