Addendum 13

Large Language Model for Science: P vs. NP
https://arxiv.org/abs/2309.05689

* LLM to augment/accel. research on P vs. NP problem: https://en.wikipedia.org/wiki/P_versus_NP_problem
+ unsolved prob., theor. comp. sci.
+ asks wh. every problems quickly verified can also be quickly solved
* in-depth thinking w. LLM for complex problem-solving
* GPT-4 produced proof schema, engaged in rigorous reasoning throughout 97 dialogue turns (Socratic method)
* concluded P ≠ NP in alignment w. Xu & Zhou 2023

#LLM #GPT4 #PvsNP