Lower bounds for multivariate independence polynomials and their generalisations

AI use, as the source states it

“Our key technical steps for both theorems are obtained by using a custom mathematical research agent built on top of Gemini Deep Think, which can be seen as a benchmark demonstrating that the current state-of-the-art language models can, in part, assist with mathematical research.”

Model: Gemini Deep Think, as stated