2 papers
cs.AI2026
The Problem Is the Problem: Towards Scalable Mathematical Discovery
Zeyu Zheng, Shengtong Zhang, Jeremy Avigad +2
AI systems are increasingly capable of contributing to mathematical research. In research practice, frontier-model reasoning is a limited resource, and expert mathematical review i…
math.CO2025
Hypergraph independence polynomials with a zero close to the origin
Shengtong Zhang
For each uniformity , we construct -uniform linear hypergraphs with arbitrarily large maximum degree whose independence polynomial has a root with…