Will the 3.47 second Rubik's Cube world record be broken by July 1, 2023?

On November 25, 2018, the Rubik's Cube world record was set at 3.47 seconds by Yusheng Du, beating the previous record of 4.22 by 0.75 seconds. Since then, no additional world records have been set, making this the longest-standing world record in the history of modern Speedcubing.

Will the 3.47 second Rubik's Cube world record be broken by July 1, 2023?

This question will resolve as Yes if a 3x3x3 Rubik's Cube single solve taking less than 3.47 seconds is verified by the World Cube Association by July 1, 2023. If this does not occur, the question will resolve as No.

[fine-print] If the 3.47 second time by Yusheng Du is removed from the WCA's rankings for any reason (e.g. being declared fraudulent), the question's resolution criteria are unaffected. In other words, the question can still resolve positively if a faster time than 3.47 seconds is verified before the deadline. [/fine-print]