As a non mathematician I think it could be kind of interesting to see what the AI can come up with.