Will AI resolve P vs NP by 2050?
Background: P versus NP problem "AI resolved" means a machine learning system or a human researcher constructively aided by AI/ML techniques* proves P=NP or P != NP or some exotic outcome (such as P vs NP being independent of ZFC) for the first time before the start of 2050.** *The AI must "come up with" a key part of the proof. If a human researcher has a unique or critical insight that leads to a proof but that proof is subsequently verified or confirmed using AI plus an automated proof system, that by itself would not count. This distinction is obviously a little fuzzy and subjective, but I will do my best to hold true to the spirit of the question... ** If a human researcher resolves the problem without AI, but an AI later discovers a related or different proof, this market will still resolve NO.
