Comment by cheesemonk66

In that case, I'm glad AI could so handily improve collaboration for frontier mathematics. Progress should not be held back by a lack of willingness or ability to cooperate.