If they're hitting 25T on a bore larger than a few cm then they're using supercritical 8K helium to cool REBCO superconductors OR they have a super secret new superconducting material that the rest of the world doesn't know about and hasn't been used in other practical application (exceedingly unlikely, drunk uncle conspiracy theory tier).