On June 2, 2021, Adam Zsolt Wagner from the Tel Aviv University gave an online talk at the Virtual Discrete Math Colloquium on disproving graph theory conjectures by using reinforcement learning. The title of the talk was “Constructions in combinatorics via neural networks“.