I am here to learn primarily about ml and LLMs. I have been an embedded systems SW engineer for most of my career. Now I want to learn about AI and am specifically interested in automated theorem provers.
1 Like
Hi, Winston.
Welcome to the forums! That’s an interesting question that I had not thought of as a possible application for AI and LLMs. I spent my career doing operating systems internals and some embedded systems work, but my academic background is in math. That is what got me interesting in ML: it seemed like the perfect intersection of math and software engineering. But it did not occur to me that there might be a feedback loop there where AI could also contribute to math.
Please keep us posted on what you discover down that path!
Best regards,
Paul