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?
Streszczenie:
Gdy zapisujemy dowód twierdzenia matematycznego czujemy zarówno pewną dumę, jak i niepokój. Oto skradliśmy tajemnicę wszechświata i teraz wszystko jest już pewne. Ale czy na pewno?
Czym jest dowód matematyczny, czy można go wykonać na komputerze i czy gdy popularny czat AI mówi nam, że coś udowodnił, to kłamie?
Opowiemy o tym, jaka nietypowa wizja uprawiania królowej nauk powoli zaczyna rozwijać się w drugiej dekadzie XXI wieku. Przygotujcie się na dyskusję o tym, jak AI redefiniuje fundamentalne pojęcia pewności i dowodu!