Study group on condensed mathematics