Advancing mathematics by guiding human intuition with AI
This paper proposes a framework for using machine learning to guide mathematical intuition, demonstrating its application to knot theory and representation theory. In knot theory, the framework led to the discovery of a new relationship between geometric and algebraic invariants, resulting in a novel theorem. In representation theory, it contributed to a conjectured solution to the combinatorial invariance conjecture for symmetric groups, offering a potential resolution to a 40-year-old open problem.