Sure, this is in agreement with some people's view that math will become an empirical science. Basically humans probing/mining the brain of an LLM.