Balanced EF1 and fPO Allocations
The paper records how the collaboration actually went: the authors first aimed at a counterexample showing EF1 and PO incompatible under matroid constraints, and when the model surfaced fundamental difficulties with that plan they redirected toward proving the positive result instead. The paper also extends the technique to category constraints and leaves a pseudopolynomial-time algorithm open.
Exact FrontierDelta
Scope and record
Occurred: Aug 6, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-discovered. Imported under CC BY 4.0.
Canonical aliases: Balanced EF1 and fPO Allocations · Balanced EF1 + fPO
Confidence: Not scored
Registry verification: unreviewed · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
Claude Fable 5
model · ai model contributor · Anthropic
Benjamin Cookson
human · human collaborator
Nisarg Shah
human · human collaborator
Paritosh Verma
human · human collaborator
GPT-5.6-Sol (via OpenAI Codex)
model · ai model contributor · OpenAI
Lineage and corrections
This event attributed to Benjamin Cookson
This event attributed to Nisarg Shah
This event attributed to Paritosh Verma
This event attributed to GPT-5.6-Sol (via OpenAI Codex)
This event attributed to Claude Fable 5