Provided are techniques for dynamic mathematical validation using data mining. As text is being received, a mathematical statement is identified in the text based on context of the text. A mathematical solution to the mathematical statement is identified in the text based on the context of the text. It is determined that the mathematical solution is incorrect using data mining. In response to determining that auto-correction is to be performed, the mathematical solution is corrected.