Pracownicy i Studenci Wydziału Matematyki i Informatyki 

 

Zapraszam na wykład w ramach Wydziałowego Seminarium Naukowego w dniu 9 grudnia 2025 o godz. 11:30, aula C2. 

Prelekcję wygłosi dr Bartosz Naskręcki, prodziekan ds. rozwoju i współpracy międzynarodowej

Wydział Matematyki i Informatyki, Uniwersytet im. Adama Mickiewicza w Poznaniu.

 

-----

Tytuł:

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.

-----

 

Serdecznie zapraszam

Adam Doliwa