Szymon Antoniak jest sta偶yst膮 w IDEAS NBCR oraz wkr贸tce absolwentem studi贸w magisterskich w kierunku Machine Learning na wydziale Matematyki Informatyki i Mechaniki Uniwersytetu Warszawskiego. Ma na swoim koncie dwie publikacje z dziedziny Automated Reasoning, kt贸re powsta艂y w wsp贸艂pracy z Google i Instytutem Matematycznym Polskiej Akademii Nauk. Szczeg贸lnie interesuje go rozwijanie modeli sztucznej inteligencji wspieraj膮cych prac臋 matematyk贸w – wykorzystuje swoje matematyczne wykszta艂cenie, by wzmocni膰 wsp贸艂prac臋 mi臋dzy obiema dziedzinami. Pe艂en pasji do poszerzania granic mo偶liwo艣ci sztucznej inteligencji, Szymon z niecierpliwo艣ci膮 czeka na moment, kiedy sztuczna inteligencja zacznie podsuwa膰 pracownikom naukowym nowe pomys艂y.