Seminarium Wydziałowe: Bartosz Naskręcki

w imieniu Dziekana Wydziału serdecznie zapraszamy pracowników oraz
studentów na seminarium wydziałowe, które odbędzie się we wtorek 2
grudnia o godz. 12:30 (Instytut Informatyki, sala 119). Tradycyjnie,
przed seminarium, o godzinie 12  Dziekan zaprasza na kawę i ciasto
(przed salą 119).

Prelegentem będzie dr Bartosz Naskręcki z Uniwersytetetu im. Adama
Mickiewicza

który wygłosi wykład pt.

„Matematyka i informatyka w czasach sztucznej inteligencji”

Streszczenie: Ostatnie lata obfitują w zdumiewające w swojej śmiałości i
skali doniesienia o tym czy i jak AI, w szczególności metody oparte na
wielkich modelach języka, mają zrewolucjonizować naukę, w tym
informatykę i matematykę. Chciałbym przyjrzeć się z bliska tym
doniesieniom, z perspektywy zarówno praktykującego matematyka jak i
zaangażowanego beta-testera takich systemów. Przedstawię Państwu kilka
spektakularnych przykładów, gdzie oparte na transformerach sieci
neuronowe potrafią wyprodukować sensownie wyglądający dowód
matematyczny, a zarazem potrafią mylić się w co drugim zdaniu. W
opowieść włączymy też metody formalizacji dowodów oparte na
programowaniu funkcyjnym i zobaczymy czy na horyzoncie nie pojawia się
jednak wizja matematyki zmechanizowanej, w której człowiekowi pozostaje
być (tylko) wiecznym źródłem inspiracji.