[math-fun] Atiyah RH claim?