Source authenticated

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

Prior state unknownproved

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

Open the source record ↗

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

Act on this frontier

Verify, challenge, or extend the result.

Balanced EF1 and fPO Allocations — Mathematical Frontier Network