The Order of Long Rainbow Arithmetic Progressions
Prior state unknown→disproved
the true order is determined, and it is not the conjectured one
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
combinatorics / Ramsey theory
The Order of Long Rainbow Arithmetic Progressions
the true order is determined, and it is not the conjectured one
20Significance / 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
the true order is determined, and it is not the conjectured one
the true order is determined, and it is not the conjectured one
Recorded attempts
Evidence graph
Connected research record
- →The Order of Long Rainbow Arithmetic Progressions
parent of · event · claim reported
- →the true order is determined, and it is not the conjectured one
parent of · claim · counterexample