Mathematicians have used machines and datasets to aid their research for millennia. In our time, computational tools such as computer algebra systems, SAT/SMT solvers, Reinforcement Learning, and LLMs play an increasingly central role in mathematical discovery.
