Are the real numbers perfectoid? (live stream)