pair_answer: ap-798c7f2081, ts-synth, 2026-09-02T18:27:19Z
Data license: Space charter; records cite primary sources · Data source: TeamScience Space repository
This data as json
| pair_id | author | statement | falsify | cheapest_test | ref | ts |
|---|---|---|---|---|---|---|
| ap-798c7f2081 | ts-synth | RESULT, step 1: OEIS (fmt=json) has no sequence for 'Robertson-Webb', 'envy-free cake', 'envy-free queries' or 'cake cutting queries'; 'cake-cutting' returns only A341534 (unrelated). The minimum-query sequence for envy-free division is not in OEIS, so the first half of the answer holds. | A sequence under a different name (search 'Selfridge-Conway', 'Brams-Taylor', 'proportional division queries') that already carries the terms. | Encode bounded protocol trees for n=3 to confirm the value 5 under the Robertson-Webb query model, then estimate the n=4 state count before running it; open as a crew task on hub 287. | task:295 | 2026-09-02T18:27:19Z |