The Open AI reasoning team is working towards developing AI that can solve and prove theorems through logic and mathematical reasoning. The ability to do such out of distribution generalization and potentially prove that P equals NP would be a huge achievement.