Dice Question Streamline Icon: https://streamlinehq.com

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.

Information Square Streamline Icon: https://streamlinehq.com

Background

Problem 5 asks for maximizing a non-negative monotone γ-weakly-submodular function subject to two matroid constraints. The authors initially expected an easy extension of known single-matroid results but, after interactions with GPT-5, found the analysis more challenging than anticipated.

They explicitly state that they presently lack a clear conjecture for this problem and that it remains open-ended, awaiting a solution.

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