A leak has confirmed that Xiaomi has a new family of devices in development, codenamed Gauguin. Apparently sporting 64 MP and 108 MP rear-facing cameras, the Gauguin and Gauguin Pro also have Qualcomm Snapdragon SoCs. The specifications of the Gauguin family seemingly line-up with the Redmi K40 and Redmi K40 Pro, which are due to arrive in Q4 2020 and Q1 2021 respectively.
https://www.notebookcheck.net/Leak-points-towards-Xiaomi-launching-a-new-family-of-devices-Redmi-K40-and-Redmi-K40-Pro-may-feature-upcoming-Qualcomm-Snapdragon-SoCs-instead.480347.0.html