Vela

frontiers / frontier

Erdős problems frontier

constellation seal · derived from vfr_37aec80d874a0239
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

used by 0 · replayed by 2 producers

e1271/1271 · statement.attested · reviewer:will-blair · 2026-06-10 · null→null

Finding bundle

back to state

Erdős Problem #203 remains OPEN. Statement: Is there an integer $m$ with $(m, 6) = 1$ such that none of $2^k \cdot 3^\ell \cdot m + 1$ are prime, for any $k, \ell \ge 0$? Topics: primes, covering systems. Erdős prize: no. Statement is machine-verified in Lean (formal-conjectures). OEIS: N/A.

id
vf_7a226f29da63b3f3
frontier
Erdős problems frontier
version
1
confidence
0.99

no incoming links yet

file

/frontier/erdos-problems/at/vev_9a5efe8213cf9bbcpermalink · after_hash f4248ea9e18be913…
vf_7a226f29da63b3f3 · erdos-problems · snapshot sha256:adf5cd08914be106b09be94cb69e55449b5195f7c3e9894fc07c7fc288c446c0 · https://vela-site-next.fly.dev/frontier/erdos-problems/at/vev_9a5efe8213cf9bbccite
raw json · vf_7a226f29da63b3f3 (2.6 KB)
{
 "assertion": {
  "direction": null,
  "entities": [],
  "relation": null,
  "text": "Erdős Problem #203 remains OPEN. Statement: Is there an integer $m$ with $(m, 6) = 1$ such that none of $2^k \\cdot 3^\\ell \\cdot m + 1$ are prime, for any $k, \\ell \\ge 0$? Topics: primes, covering systems. Erdős prize: no. Statement is machine-verified in Lean (formal-conjectures). OEIS: N/A.",
  "type": "open_question"
 },
 "conditions": {
  "age_group": null,
  "cell_type": null,
  "clinical_trial": false,
  "concentration_range": null,
  "duration": null,
  "human_data": false,
  "in_vitro": false,
  "in_vivo": false,
  "species_unverified": [],
  "species_verified": [],
  "text": "Agent-imported candidate claim; scope requires review."
 },
 "confidence": {
  "basis": "agent-imported candidate claim; reviewer acceptance required",
  "extraction_confidence": 0.7,
  "kind": "frontier_epistemic",
  "method": "expert_judgment",
  "score": 0.99
 },
 "created": "2026-05-30T00:42:06.826507+00:00",
 "evidence": {
  "effect_size": null,
  "evidence_spans": [
   {
    "artifact_id": "va_9bc926d75e4e3881",
    "artifact_packet_id": "cap_61973ee16b553d57",
    "candidate_claim_id": "vc_16b24d9378401eb5"
   }
  ],
  "method": "ScienceClaw-shaped artifact packet import",
  "model_system": "agent artifact packet",
  "p_value": null,
  "replicated": false,
  "replication_count": null,
  "sample_size": null,
  "species": null,
  "type": "computational"
 },
 "flags": {
  "contested": false,
  "declining": false,
  "gap": false,
  "gravity_well": false,
  "negative_space": false,
  "retracted": false
 },
 "id": "vf_7a226f29da63b3f3",
 "links": [
  {
   "created_at": "2026-06-10T06:44:13Z",
   "inferred_by": "reviewer",
   "note": "open obligation for #203",
   "target": "vf_0d4ac181db98ceaa",
   "type": "depends"
  }
 ],
 "previous_version": null,
 "provenance": {
  "authors": [
   {
    "name": "Erdős Open-Problem spine ingest",
    "orcid": null
   }
  ],
  "citation_count": null,
  "doi": null,
  "extraction": {
   "extracted_at": "2026-05-30T00:42:06.826507+00:00",
   "extractor_version": "vela/0.691.0",
   "method": "artifact_to_state_import",
   "model": "agent:erdos-spine-ingest",
   "model_version": null
  },
  "journal": null,
  "openalex_id": null,
  "pmc": null,
  "pmid": null,
  "publisher": "artifact packet",
  "review": {
   "corrections": [],
   "reviewed": false,
   "reviewed_at": null,
   "reviewer": null
  },
  "source_type": "model_output",
  "title": "cap_61973ee16b553d57 · vc_16b24d9378401eb5",
  "url": "https://www.erdosproblems.com/203",
  "year": null
 },
 "updated": null,
 "version": 1
}

Unsealed — 0 attachment(s) on record, awaiting independent verification.

0 attachments · 0 distinct checker actors · 0 methods

blame · custody trail

produced byreviewer:erdos-db-trustreviewer:erdos-db-trustfinding.asserted · 2026-05-30vev_7dd3b83b53d0c3dd
checked byno verifier attachment on record
accepted byno accept signed

history · 1 event

record state

frontier-owned

Review status

claimed — no verifier run, no signed judgmentunreviewed

finding statement

finding type

open_question

No entity list is declared.

evidence

source-bound

1 atoms

computational · ScienceClaw-shaped artifact packet import · agent artifact packet

proof impact

packet context

1 events

4 reviewable changes and 0 evaluation records are attached to this finding id.

evidence

method

ScienceClaw-shaped artifact packet import

evidence type

computational

system

agent artifact packet

evidence spans

  • span recorded

conditions

species_unverified
species_verified
text
Agent-imported candidate claim; scope requires review.

provenance

source title

cap_61973ee16b553d57 · vc_16b24d9378401eb5

authors

Erdős Open-Problem spine ingest

Source records

1

Evidence atoms

1
  • vea_c47de0ca62bb0e1bcomputational · supports

    {"artifact_id":"va_9bc926d75e4e3881","artifact_packet_id":"cap_61973ee16b553d57","candidate_claim_id":"vc_16b24d9378401eb5"}

    vs_f2f2c224d207656c · span:0 · artifact_to_state_import

Typed links

1

outgoing

  • dependsvf_0d4ac181db98ceaa

    open obligation for #203

incoming

No incoming links.

Review, event, and evaluation records

5

events

  • vev_7dd3b83b53d0c3ddfinding.asserted

    Candidate claim vc_16b24d9378401eb5 imported from artifact packet cap_61973ee16b553d57

    reviewer:erdos-db-trustreviewer:erdos-db-trust · 2026-05-30

reviewable changes

  • vpr_34c8e23ed1e7778bfinding.note

    SEMANTIC-EDGE DRAFT -> Erdos #279 (vf_a8fab4b7d1d7cb28) [shares_technique, confidence 0.65]: Both rely on choosing congruence classes a_p mod p (covering congruences) to force every relevant integer into a prescribed residue, the shared covering-system method. -- LLM-drafted (20-agent extraction, 2026-06); NOT adjudicated. Accept or reject via `vela proposals accept/reject` under reviewer authority.

    agent — machine actor, no signing keypending_review · agent:semantic-edge-extractor · 2026-06-10

  • vpr_540ada549eaa142efinding.note

    SEMANTIC-EDGE DRAFT -> Erdos #1113 (vf_6ea4019ad9017c9b) [shares_technique, confidence 0.8]: 203 asks for m making 2^k·3^l·m+1 never prime; 1113's covering-set framework for k·2^n+1 (Sierpiński numbers) is the same prime-blocking-by-covering construction extended to two exponents. -- LLM-drafted (20-agent extraction, 2026-06); NOT adjudicated. Accept or reject via `vela proposals accept/reject` under reviewer authority.

    agent — machine actor, no signing keypending_review · agent:semantic-edge-extractor · 2026-06-10

  • vpr_8751cf625edd9abdfinding.note

    SEMANTIC-EDGE DRAFT -> Erdos #7 (vf_6e126f3f5046840d) [shares_technique, confidence 0.75]: Both are resolved by constructing covering systems of congruences; 203 needs a covering of the exponents (k,l) of 2^k·3^l·m+1, exactly the covering-system machinery that 7 studies in the odd-modulus case. -- LLM-drafted (20-agent extraction, 2026-06); NOT adjudicated. Accept or reject via `vela proposals accept/reject` under reviewer authority.

    agent — machine actor, no signing keypending_review · agent:semantic-edge-extractor · 2026-06-10

  • vpr_943918e21ad152acfinding.add

    Candidate claim vc_16b24d9378401eb5 imported from artifact packet cap_61973ee16b553d57

    agent — machine actor, no signing keyapplied · agent:erdos-spine-ingest · 2026-05-30

evaluations

No evaluation record targets this finding id.

finding.noted · reviewer:will-blair · 2 days

renders the record as of vev_d199cb2e · 1,338 events · hub

Search Vela

Jump to a section, signal, campaign, document, primitive, work path, frontier, record index, atlas, constellation, agent, capability, or full-state search.