Erdős problems frontier

{
 "annotations": [
  {
   "author": "reviewer:will-blair",
   "id": "ann_4aac6cb263fceb3e",
   "text": "External corroboration of frontier difficulty: AlphaProof Nexus (DeepMind, arXiv 2605.22763, May 2026) attempted Erdős #307 (listed in erdos_problems_attempted.txt of google-deepmind/alphaproof-nexus-results@0647711a7118) and did not solve it (9 of 242 attempted Erdős problems solved). Their Lean formalization of the statement lives in google-deepmind/formal-conjectures. Treat as evidence the open obligations here are genuine, not low-hanging.",
   "timestamp": "2026-06-10T20:52:13.517640+00:00"
  }
 ],
 "assertion": {
  "direction": null,
  "entities": [],
  "relation": null,
  "text": "Erdős Problem #307 has status 'verifiable'. Statement: Are there two finite set of primes $P$ and $Q$ such that $$ 1 = \\left( \\sum_{p \\in P} \\frac{1}{p} \\right) \\left( \\sum_{q \\in Q} \\frac{1}{q} \\right) $$ ? Asked by Barbeau [Ba76]. [Ba76] Barbeau, E. J., _Computer challenge corner: Problem 477: A brute force program._ Topics: number theory, unit fractions. 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_be6e14708dedb6c5"
   }
  ],
  "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_84e6f2df0ac208e4",
 "links": [
  {
   "created_at": "2026-06-10T06:44:25Z",
   "inferred_by": "reviewer",
   "note": "open obligation for #307",
   "target": "vf_523a610fc3947249",
   "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_be6e14708dedb6c5",
  "url": "https://www.erdosproblems.com/307",
  "year": null
 },
 "updated": null,
 "version": 1
}