Open-ended status of Problem 5: maximizing monotone weakly-submodular functions under two matroid constraints
Develop a mathematically rigorous approximation algorithm for maximizing a non-negative monotone γ-weakly-submodular set function f:2^N→R under the intersection of two matroid constraints M1=(N,I1) and M2=(N,I2), with a provable approximation guarantee; formulate and assess a clear conjecture describing the attainable ratio, as the problem currently lacks a concrete conjecture and remains unsolved.
References
Our high-level idea, which was also suggested by GPT-5 but incorrectly proven, may not suffice, and at present we do not have a clear conjecture for Problem 5. As a result, it remains open-ended and still awaits a human (or an AI generated) solution.
— Gödel Test: Can Large Language Models Solve Easy Conjectures?
(2509.18383 - Feldman et al., 22 Sep 2025) in Introduction; Section 5