Series2 of 2 parts

AI for Mathematical Discovery

Using neural networks and AI agents as research tools in mathematics: from new colorings of the plane to autonomous research assistants.

Start reading
A coloring pattern suggested by a neural network next to the formal construction derived from it
A pattern suggested by the network (left) and the construction derived from it (right), from Part 1.

Parts

  1. P1Neural Discovery in MathematicsNeural networks find new colorings of the plane for variants of the Hadwiger-Nelson problem (ICML25 oral).ICML25 · May 2025
  2. P2The Agentic ResearcherAn open-source framework that turns CLI coding agents into autonomous research assistants for mathematics and machine learning.ICML26 Workshop Oral · April 2026