Wydziałowe Seminarium Naukowe
Wydział Matematyki i Informatyki zaprasza na wykład w ramach Wydziałowego Seminarium Naukowego w dniu 9 grudnia 2025, 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.
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.
Poprzednie seminaria
- "Nowy poziom programowania: Zastosowanie ChatGPT" - mgr inż. Artur Samojluk
- "Jak wykorzystać ChatGPT, czyli jak pisać prompty?" - dr Piotr Jastrzębski
- "GPT w środowisku akademickim: Wsparcie dla życia osobistego oraz zawodowego pracowników i studentów" - prof. Andrzej Jankowski
- "Fuzzy Approach to Multi-Scale Representation of Time Series" - prof. Irina Perfilieva, Uniwersytet w Ostrawie
- "Transmission problem for equations with p(x)-Laplacian" - prof. Mikhail Borsuk
- "Rosnąca rola matematyki w zastosowaniach współczesnej informatyki." - dr hab. A. Jankowski, profesor UWM.
- ,,Procedury aproksymacji stochastycznej dla procesu dyfuzyjnego z przełączeniami semimarkowowskimi'' - Mgr. Wojciech Rosa
- ,,Wybrane zagadnienia dotyczące szeregów w przestrzeniach skończenie wymiarowych'' - dr Jacek Marchwicki
- "Prosta rzutowa nad pierścieniem skończonym łącznym z jedynką" - mgr Edyta Bartnicka, Wydział Matematyki i Informatyki
- "Nowe wyniki w szeregowaniu zadań uwarunkowanych czasowo" - dr hab. Stanisław Gawiejnowicz, prof. UAM Uniwersytet Adama Mickiewicza, Poznań
- "Metody sztucznej inteligencji w badaniach geotechnicznych" - dr inż. Piotr Bilski, Wydział Zastosowań Informatyki i Matematyki SGGW oraz Instytut Radioelektroniki Wydziału Elektroniki i Technik Informacyjnych Politechniki Warszawskiej
- "Problemy geometryczne w analizie danych" - prof. Michał Grabowski
- "Dynamika DNA w przybliżeniu gruboziarnistym - od modelu matematycznego dosymulacji komputerowych" dr Maciej Maciejczyk, Wydział Nauki o Żywności