I find it a bit ridiculous that they claim three discoveries in "math, CS, physics" when they are basically all pure math (in particular, they all may be formalized in Lean) and only belong to these different disciplines for historical reasons.