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.
Source: [Hacker News](https://news.ycombinator.com/item?id=49901168)