Prove BinPackingGap (openai/math family 118: Unbounded bin-packing gaps and the modified integer round-up…
Prove BinPackingGap (openai/math family 118: Unbounded bin-packing gaps and the modified integer round-up…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 118 of the release, Unbounded bin-packing gaps and the modified integer round-up…
The task
Context: this statement belongs to family 118 of the release, *Unbounded bin-packing gaps and the modified integer round-up conjecture* (Theoretical computer science). The family as a whole: Disproves the modified integer round-up conjecture of Scheithauer and Terno: the integral bin-packing optimum can exceed its…
Part of raising-heart/openai-math.