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.