Proving Theorems via Computers

Webinar invitation

Dear Zaiku Community,

We're pleased to invite you to our upcoming webinar, "Formalization: Proving Theorems via Computers" featuring one of our talented young mathematicians, Nima Rasekh.

You can read the abstract and register here: https://quantumformalism.academy/proving-theorems-via-computers.

If you're interested in exploring the topic further, you may find these references valuable:

• "Machine-Assisted Proofs" by Fields Medal winner Professor Terence Tao. Watch his insightful YouTube talk on the subject here.

• "LeanAgent: Lifelong Learning for Formal Theorem Proving" by Adarsh Kumarappan, Mo Tiwari, Peiyang Song, Robert Joseph George, Chaowei Xiao, and Anima Anandkumar. ​​

Wishing you a fantastic weekend! 😊

Zaiku Group team

---