The most sympathetic interpretation possible of the events for OAI is that they learned two mathematicians were closing in on a solution and decided to throw all of their weight behind getting there first, which honestly still doesn’t paint them in a particularly positive light.