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