Website showing LLM solutions to Knuth's Problems?

It would be interesting to see a website dedicated to using an LLM solutions to Knuth's problem set. It would likely be a better test of an LLM than most of the current set.