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 w Instytucie Informatyki w sali 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.
Tradycyjnie, bezpośrednio przed seminarium o godzinie 12:00 Dziekan zaprasza na kawę i ciasto w holu przed salą 119.
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.