[acuozzo]

> Seems more like an interesting research project

You mean like the kinds of problems digital computing was originally invented to solve?

You know that still exists, right? There are many people using computers to advance the state of Mathematics & related subjects.