dzisiaj mamy post o wysiłku na temat AI i automatycznego dowodzenia twierdzeń (i kilku fajnych projektach!)
18,52K