That is interesting and this article does indeed confirm the presence of an M7 and M4 core that can be programmed separately:
https://docs.arduino.cc/tutorials/giga-r1-wifi/giga-dual-core/
I had seen references indicating that the STM32H747XI is dual core, but didn't realise that they are different cores. The article does mention the ability to program each core separately, although the M4 core has to be enabled first. Memory has to be partitioned with a quantity allocated to each. Theoretically MicroPython could "live" on one of those partitions. However it seems that both cores share the same UART and GPIO pins, which would be interesting to program as one would need to carefully segregate GPIO pin usage between the cores. Whereas there is some indication in the article as to how one goes about selecting which core a sketch is uploaded to, it doesn't mention working with MicroPython.
This post is also related to ypur question and suggests that MicroPythin would be run on the M7 core and the Arduino sketch on the M4, but the process activating the M4 core from MicroPython is still under development.