We explore the use of large language models to track and support progress on open problems in graph theory.
-
Mathpocalypse: A pilot study that runs an open-weight LLM over papers in graph theory and combinatorics, with an initial corpus drawn from the Journal of Graph Theory. The model is asked to carefully re-check the proofs and flag any potentially incorrect arguments.
-
Graph Conjectures: A browsable, status-annotated mirror of the graph theory category of Open Problem Garden, extended with new conjectures mined from recent arXiv papers.
