24 listopada 2025 20:25
Seminarium wydziałowe: Bartosz Naskręcki (UAM)
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 (przy sali 119).
Prelegentem będzie Bartosz Naskręcki z Uniwersytetu 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.