If AI can solve Navier Stokes grade problems, it should take a stab at such a thing too. I know the language is fundamentally not "english" or another widely used one so it can't do any inference on it but worth an experiment.