Czy matematycy naprawdę dowodzą twierdzenia?
Zapraszamy we wtorek 2 grudnia o 16:00 do sali 119 w Instytucie Informatyki na seminarium dla studentów, które łączy fundamentalne pytania matematyki z najnowszymi osiągnięciami w dziedzinie sztucznej inteligencji.
Prelegentem będzie dr Bartosz Naskręcki z Uniwersytetu Adama Mickiewicza w Poznaniu, prowadzący badania matematyczne z użyciem AI, który będzie zastanawiał się
Czy matematycy naprawdę dowodzą twierdzenia?







