I like how Stephen Wolfram introduces somewhat new perspectives to looking at physics, but I'm unaware of any efforts from him trying either to (a) show/prove m

I like how Stephen Wolfram introduces somewhat new perspectives to looking at physics, but I'm unaware of any efforts from him trying either to (a) show/prove mathematically that current theories (be it Newtonian, qm, gr) are mere emergent properties from his hypergraph cellular automaton universe and/or (b) relate any sort of experimental data to this hypothesis that goes beyond the qualitative description he gives in these talks.