On the Research and Development of Automated Theorem Proving

On the Research and Development of Automated Theorem Proving

Postby Guest » Sun Aug 04, 2019 1:04 pm

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
Guest
 

Re: On the Research and Development of Automated Theorem Pro

Postby Guest » Mon Aug 12, 2019 6:44 pm

Relevant Reference Link:

'David Hilbert's Tenth Problem',

https://en.wikipedia.org/wiki/Hilbert%27s_tenth_problem.
Guest
 


Re: On the Research and Development of Automated Theorem Pro

Postby Guest » Fri Apr 17, 2020 10:42 am

FYI: 'Google Scientists Develop Software That Could Enable AI To Evolve With No Human Input',

https://www.iflscience.com/technology/google-scientists-develop-software-that-could-enable-ai-to-evolve-with-no-human-input/.
Attachments
Automated Theorem Proving.jpg
Automated Theorem Proving.jpg (75.84 KiB) Viewed 1447 times
Guest
 

Re: On the Research and Development of Automated Theorem Pro

Postby CharlesAlgran » Fri Sep 03, 2021 12:28 pm

very useful answers

CharlesAlgran
 
Posts: 3
Joined: Fri Sep 03, 2021 12:23 pm
Reputation: 0

Re: On the Research and Development of Automated Theorem Pro

Postby Guest » Sat Oct 30, 2021 12:47 am

FYI: 'Solving Math Word Problems ...',

"Conclusion:
Producing correct arguments and recognizing incorrect ones are key challenges in developing more general AI. Grade school math is an ideal testbed for these capabilities. The problems in GSM8K are conceptually simple, yet one subtle mistake is enough to derail an entire solution. Identifying and avoiding such mistakes is a crucial skill for our models to develop. By training verifiers, we teach our models to separate the good solutions from the ones that didn’t quite work out. We expect these skills to become increasingly relevant as we attempt to apply our models to more logically complex domains."


Source Link: https://openai.com/blog/grade-school-math/.
Guest
 

Re: On the Research and Development of Automated Theorem Pro

Postby Guest » Sat Dec 04, 2021 9:09 pm

FYI: "Advancing mathematics by guiding human intuition with AI",

https://ddcolrs.wordpress.com/2021/12/04/advancing-mathematics-by-guiding-human-intuition-with-ai/.

Enjoy! :)
Attachments
AI's Use in Mathematical Research Diagram.png
AI's Use in Mathematical Research Diagram.png (39.26 KiB) Viewed 726 times
Guest
 



Return to Number Theory



Who is online

Users browsing this forum: No registered users and 4 guests