And if your research indicates the sky is bright green with yellow paisleys? :) Sorry, but I can look out my window and see that you seemed to have misplaced a decimal. :) Sunday, everyone was sick and I was laying down. My toddler daughter laid beside me, hugged me and said "Are you OK daddy?" Two minutes later my toddler son stabbed me in the throat with his sword. (No we didn't force the sword on him, I think we kind of discouraged that to start with, but I'm afraid our boys were oh so fascinated) Yellow paisleys? I don't think so. John Milnor (the fields medalist) once said that he and his wife decided to raise their children in a completely non-sexist way, then joked "Our poor son had to make his guns out of Legos."

I work as an assistant professor in mathematics. This sort of program really won't address the needs of the vast majority of publications for any highly regarded professional math journals because math publications are typically very concise and rarely fill in very many of the details. It is not too uncommon for steps in proofs well beyond most talented undergraduates to be taken as "obvious". If they don't want to bother entering all the steps into a paper, you can be sure they don't want to be bothered to enter them into a piece of software and the sheer quantity of math and the wide variety of subtle distinctions in the ways it is used mean this just isn't going to happen. Whats more, Mathematicians really aren't worried that their proofs are incorrect.