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.
Please help me write a proper abstract based on the patent claims. CLAIM: 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. 2. The method of claim 1, further comprising: in response to determining that flagging is to be performed, flagging the mathematical solution as incorrect; in response to user selection of the flagged mathematical statement, providing a corrected mathematical statement; and in response to user selection of the corrected mathematical statement, updating the text with the corrected mathematical statement. 3. The method of claim 1, wherein identifying the mathematical statement further comprises: identifying one or more predefined characteristics; and identifying the mathematical statement based on the identified one or more predefined characteristics and the context surrounding the one or more predefined characteristics in the text. 4. The method of claim 3, wherein identifying the mathematical solution further comprises: evaluating the text to determine which mathematical terms indicate the mathematical solution based on the one or more predefined characteristics. 5. The method of claim 1, wherein determining that the mathematical solution is incorrect is based on information obtained from communications that are separate from the text. 6. The method of claim 1, wherein software is provided as a service in a cloud environment. 7-18. (canceled)