to był taki zabawny odcinek do nagrania i rozmowy z @lacker o @acornprover oraz przyszłości matematyki, weryfikacji formalnej i AI