We don't have any information other than that they are capable enough of solving unsolved math problems. Are they good at writing a good movie script? Do they understand protein ligand interactions? Who knows. Let's wait till they release the model