Measures on Partial Orders
We determine the measures (in the sense of Harman–Snowden) on the Fraïssé class of partially ordered sets: the space of measures is a union of a plane, eight lines, and 15 isolated points. This is the first case where the space is not equidimensional, and the first primitive case in which it has dimension at least two.
- Result
- Proved(see note)
- Status
- Resolved
- AI contribution
- AI-discovered
- Method
- Argument
- Field
- Representation theory
- Posed by
- Andrew Snowden
- Year posed
- —
- Years open
- —
- Solved
- 2026-09-01
- Model
- ChatGPT 5.6 Pro
- Vendor
- OpenAI
- Collaborators
- —
- Verification
- Unreviewed
- Publication
- Preprint
- Significance
- 18 / 100
- Disclosed cost
- —
- Wikipedia
- No dedicated article
What was actually shown
For the Fraïssé class of finite partially ordered sets, every measure is completely determined by the nine valuesThe possible matrices are classified explicitly. Consequently, the reduced space of all measures is exactly the union of one plane, eight lines, and 15 isolated points, with the plane and three lines meeting at one point and no other intersections.
The paper also completely classifies weak measures and supports, proves there is no regular measure on all finite posets, classifies characteristic-zero measures for the automorphism group of the universal homogeneous poset, and determines the Knop-like measures.
What the AI did
Andrew Snowden states that ChatGPT Pro 5.6 produced most of the mathematical arguments. It first computationally discovered the correct classification by generating and solving the defining equations for posets of size at most seven. It then found the key universal formulas involving twins and cuts, proved that the resulting functions are weak measures, supplied existence proofs for several families of measures, identified reductions between the remaining cases, discovered the stabilization relation needed to show that a 3×3 matrix determines every measure, and assisted with many of the paper's additional results. Snowden wrote the paper himself and checked/reworked the arguments.
Verification
The paper contains complete conventional mathematical proofs written and checked by Andrew Snowden. ChatGPT generated most of the mathematical arguments, but Snowden is also the author publishing the result, so this is author verification rather than independent expert verification. Johannes Flake is thanked for helpful discussions, but the paper does not state that he or another external expert independently verified the proofs. No formal proof-assistant verification or referee report is reported.
Source
- PaperarXiv
Submitted by VibeGene on