🎙️هذا الأسبوع @AnnaRRose & @GuilleAngeris دردشة مع @lacker حول Acorn ، وهي نظرية تعمل على الذكاء الاصطناعي تعمل على تبسيط عملية الإثبات مقابل أدوات مثل Lean التي تتطلب كل خطوة ، وكذلك وعدها ببراهين ZK وأبحاث التشفير.