It would be of great assistance to mathematicians to have software programs which help to verify complex theorems and help to prove/disprove important math conjectures...
Reference:
https://en.wikipedia.org/wiki/Automated_theorem_proving
oGuest wrote:It would be of great assistance to mathematicians to have software programs which help to verify complex theorems and help to prove/disprove important math conjectures... and help to advance artificial intelligence. Moreover, advanced artificial intelligence would ideally help to confirm/negate the existing solution of the famous and important David Hilbert's Tenth Problem or ideally help to formulate its solution, affirmatively or negatively. We stress that Hilbert's Tenth Problem is grand in its importance and in its potential implications/applications...
Reference:
https://en.wikipedia.org/wiki/Automated_theorem_proving
Users browsing this forum: No registered users and 1 guest