Dittert's Conjecture in Dimension Five
Prior state unknown→proved
Dimension 5 only; public AI-generated candidate with no independent specialist review.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
combinatorics / Linear algebra; permanents; exact sum-of-squares certificates
Dittert's Conjecture in Dimension Five
Dimension 5 only; public AI-generated candidate with no independent specialist review.
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
Dimension 5 only; public AI-generated candidate with no independent specialist review.
Dimension 5 only; public AI-generated candidate with no independent specialist review.
Recorded attempts
Evidence graph
Connected research record
- →Dimension 5 only; public AI-generated candidate with no independent specialist review.
parent of · claim · theorem
- →Dittert's Conjecture in Dimension Five
parent of · event · claim reported