Arithmeticity of Degree-Six Symplectic Hypergeometric Monodromy Groups
Prior state unknown→proved
two of the three remaining cases; one is still unclassified
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
algebra / Group theory
Arithmeticity of Degree-Six Symplectic Hypergeometric Monodromy Groups
two of the three remaining cases; one is still unclassified
15Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts
Temporal state
Current frontier
No reconciled state yet.
Append-only history
Frontier timeline
Research memory
Claims and attempts
Scoped claims
two of the three remaining cases; one is still unclassified
two of the three remaining cases; one is still unclassified
Recorded attempts
Evidence graph
Connected research record
- →two of the three remaining cases; one is still unclassified
parent of · claim · theorem
- →Arithmeticity of Degree-Six Symplectic Hypergeometric Monodromy Groups
parent of · event · claim reported