[amelius]

Even solving large linear systems would already be amazing. But a SAT solver would be nice too :)

[jvanderbot]

I misunderstand your comment. We have those solvers. I'm suggesting AI would plug into existing solvers. This is a ripe area for research.