I think Michael Levin is also doing work around platonic math being a thing that exists moreso than an actual concept. His work is related to biologies discover

I think Michael Levin is also doing work around platonic math being a thing that exists moreso than an actual concept. His work is related to biologies discovery of algorithms, the complexity levels of simple algorithms, and n-order effects that life is finding way to exploit for computational purposes. While not being deeply familiar with the work but I think the short of it is that life has found algorithms at many different orders that we've not discovered them yet, and by 'running' these different algorithms it turns many P problems into NP problems. The interesting thing about it is you can make falsifiable tests around this and do actual science around it.