Szymon Antoniak is a Research Intern at IDEAS NBCR and a soon-to-be Master’s graduate in Machine Learning, with a strong foundation in Mathematics, specializing in probability theory. He boasts two publications in Automated Reasoning, collaborating with Google and the Mathematical Institute of the Polish Academy of Sciences, and has recently submitted a paper to the prestigious NeurIPS conference. Szymon is particularly interested in developing AI models that assist mathematicians in their work, leveraging his own background in Mathematics to bridge the gap. Passionate about pushing the boundaries of AI, Szymon eagerly anticipates the day when artificial intelligence accomplishes tasks once thought to be exclusive to humans. Connect with Szymon on his to follow his journey in the AI world.