Mi5s miui 10

[Vasco Sousa]

I saw those links in multi rom forum but I can't read Chinese anyone can tell me if any of these posts are for real or not? Will mi5s receive oreo on miui 10? Thanks!
Here are the links:
http://www.miui.com/thread-15754526-1-1.html
http://www.miui.com/thread-15759802-1-1.html
http://www.miui.com/thread-15205055-1-1.html
http://www.miui.com/thread-15702957-1-1.html