AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Automated Theorem Proving for Scientific Problems
A lot of what mathematicians do is not formalized they are the proof that someone writes down. There has definitely been progress where more and more areas of mathematics are becoming formalized in the sense that they can be expressed in programming languages. automated theorem proving could be really fertile as a growth area for for AI using LLMs in just other types of methods.