це був такий веселий епізод, який можна було записати та поспілкуватися з @lacker про @acornprover та майбутнє математики, формальної верифікації та штучного інтелекту