Prediction. First llm proof/progress that p != np within 6 months!