proposed
reason
Candidate claim vc_b3e217eb0f1a7813 imported from artifact packet cap_f4e8bcd294c97ba7
finding type
theoretical
proposed confidence
0.95
confidence basis
agent-imported candidate claim; reviewer acceptance required
frontiers / frontier
Erdős problems frontier
- id
- vfr_37aec80d874a0239
- license
- CC-BY-4.0
- findings
- 1,256
- accepted core
- 6
- contested
- 0
- links
- 17
- sources
- 1,234
- evidence
- 1,256
- avg conf
- 0.98
e1271/1271 · statement.attested · reviewer:will-blair · 2026-06-10 · null→null
Reviewable change
back to reviewadd a finding
openErdős #364 (?, AMS 11). STATEMENT: There is no consecutive triple of powerful numbers. FORMAL: erdos_364: ¬ ∃ (n : ℕ), Powerful n ∧ Powerful (n + 1) ∧ Powerful (n + 2); erdos_364: ∃ (c : ℝ) (h : c > 0), ∀ (k : ℕ), Nat.nth Powerful (k + 2) - Nat.nth Powerful k > (Nat.nth Powerful k : ℝ) ^ c; erdos_364: ¬ ∃ (n : ℕ), Powerful n ∧ Powerful (n + 1) ∧ Powerful (n + 2) ∧ Powerful (n + 3) KNOWN/REMARKS: # Erdős Problem 364 *Reference:* erdosproblems.com/364 | Erdős [Er76d] conjectured a stronger statement: if $n_k$ is the $k$th powerful number, then $n_{k+2} - n_k > n_k^c$ for some constant $c > 0$. [Er76d] Erdős, P., Problems and results on number theoretic properties of consecutive integers and related questions. Proceedings of the Fifth Manitoba Conference on Numerical Mathematics (Univ. Manit RELATED: [] OEIS: []
- id
- vpr_93de16e629a4504f
- frontier
- Erdős problems frontier
- kind
- finding.add
- created
- 2026-06-04
A proposal; no authority until an accepted review event.
accept gate
0 of 4 on record- ·
- signature
- no terminal verdict yet
- ·
- chain
- no state transition yet
- —
- witness
- no verifier attachment on record for this target
- ·
- grade
- target not (yet) in frontier state
timeline
- 2026-06-04proposeproposed · finding.addagent:erdos-deep-ingest
vpr_93de16e629a4504fCandidate claim vc_b3e217eb0f1a7813 imported from artifact packet cap_f4e8bcd294c97ba7
provenance
proposed by
agent:erdos-deep-ingest
actor type
agent
created at
2026-06-04
target type
finding
Diff
Read-only frontier; diff not recomputed.
Review chain
- 01requestopen review →
Change request
Erdős problems frontier receives a reviewable source, finding, caveat, replication, evaluation, or proof-affecting edit.
- 02packetopen the campaign →
Diff packet
The packet names affected record objects, evidence, rationale, reviewer-facing fields, and expected proof impact.
- 03checksinspect checks →
Check output
Schema, provenance, benchmark, contradiction, and proof checks decide whether the request is ready to read.
- 04reviewread queue →
Reviewer decision
A steward accepts, rejects, caveats, revises, or retracts the request under an inspectable identity.
- 05acceptedinspect events →
Accepted event
Only the accepted event mutates frontier state. Atlases, constellations, and search update from that record state.