1. A method, comprising: as text is being received, identifying, using a processor of a computer, a mathematical statement in the text based on context of the text; identifying a mathematical solution to the mathematical statement in the text based on the context of the text; determining that the mathematical solution is incorrect using data mining; and in response to determining that auto-correction is to be performed, correcting the mathematical solution.