1- NO tiene sensor de proximidad, eso lo primero.
2-Desde MIUI 12.5 que actualizo la semana pasada el sensor de ultrasonidos ya va acorde con lo que se espera del móvil, de hecho es una de las mejoras que se indica en el propio log.
Y hablo desde mi experiencia como poseedor del móvil.
Del poco F3 no comento por que no tengo el móvil, pero sobre el redmi note 10 pro el sensor por ultrasonidos ya rara vez falla.