🎙️Цього тижня @AnnaRRose & @GuilleAngeris поспілкуємося з @lacker про Acorn, розробника теорем на основі штучного інтелекту, який спрощує процес доведення порівняно з такими інструментами, як Lean, які вимагають кожного кроку, а також його перспективи для доказів ZK та криптодосліджень.