Infinite Mining, a provider of autonomous mining transport solutions, filed for a Hong Kong IPO on May 20. The company reported 2025 revenue of RMB 52…