Preserve α while improving β in monotone + non-monotone DR-submodular maximization
Determine whether there exists an algorithm for maximizing F(x)=G(x)+H(x) over a solvable down-closed convex polytope P⊂[0,1]^n, where G is non-negative, monotone, DR-submodular and H is non-negative, DR-submodular, that achieves an approximation guarantee of the form F(x)≥α·G(o)+β·H(o)−err with α=1−1/e and β strictly larger than 1/e, without deteriorating α below 1−1/e.
References
It is possible to get better values of β, but this requires more involved algorithms, and it is unclear if it can be done without deteriorating the value of α.
— Gödel Test: Can Large Language Models Solve Easy Conjectures?
(2509.18383 - Feldman et al., 22 Sep 2025) in Conjecture paragraph, Section 1