This is really spectacular. I've been finding that (much like classical algorithm problems), various types of problems that can be tackled with AI can be sort

This is really spectacular. I've been finding that (much like classical algorithm problems), various types of problems that can be tackled with AI can be sort of reduced to common classes. So, this is not only a database of solutions to specific problems, but in some cases partial or complete solutions to others.