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-6. (canceled) 7. A computer program product, the computer program product comprising a computer readable storage medium having program code embodied therewith, the program code executable by at least one processor to perform: as text is being received, identifying 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. 8. The computer program product of claim 7, wherein the program code is executable by the at least one processor to perform: 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. 9. The computer program product of claim 7, wherein the program code is executable by the at least one processor to perform: 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. 10. The computer program product of claim 9, wherein the program code is executable by the at least one processor to perform: evaluating the text to determine which mathematical terms indicate the mathematical solution based on the one or more predefined characteristics. 11. The computer program product of claim 7, wherein determining that the mathematical solution is incorrect is based on information obtained from communications that are separate from the text. 12. The computer program product of claim 7, wherein a Software as a Service (SaaS) is configured to perform the computer program product operations. 13. A computer system, comprising: one or more processors, one or more computer-readable memories and one or more computer-readable, tangible storage devices; and program instructions, stored on at least one of the one or more computer-readable, tangible storage devices for execution by at least one of the one or more processors via at least one of the one or more memories, to perform operations, wherein the operations comprise: as text is being received, identifying 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. 14. The computer system of claim 13, wherein the operations further comprise: 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. 15. The computer system of claim 13, wherein the operations for identifying the mathematical statement further comprise: 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. 16. The computer system of claim 15, wherein the operations for identifying the mathematical solution further comprise: evaluating the text to determine which mathematical terms indicate the mathematical solution based on the one or more predefined characteristics. 17. The computer system of claim 13, wherein determining that the mathematical solution is incorrect is based on information obtained from communications that are separate from the text. 18. The computer system of claim 13, wherein a Software as a Service (SaaS) is configured to perform the system operations.