Erdős problems frontier

{
 "assertion": {
  "direction": null,
  "entities": [],
  "relation": null,
  "text": "Erdős Problem #189 has status 'disproved (lean)'. Statement: If $\\mathbb{R}^2$ is finitely coloured then must there exist some colour class which contains the vertices of a rectangle of every area? Graham, \"On Partitions of 𝔼ⁿ\", Journal of Combinatorial Theory, Series A 28, 89-91 (1980). (See \"Concluding Remarks\" on page 96.) Solved (with answer `False`, as formalised below) in: Vjekoslav Kovač, \"Coloring and density theorems for configurations of a given volume\", 2023 https://arxiv.org/abs/2309.09973 In fact, Kovač's colouring is even Jordan measurable (the topological boundary of each monochromatic region is Lebesgue measurable and has measure zero). This was formalized in Lean by Alexeev and Kovac using Aristotle. Topics: geometry, ramsey theory. 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_dcaf7eada589de75"
   }
  ],
  "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_b691c54cbf309acd",
 "links": [],
 "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_dcaf7eada589de75",
  "url": "https://www.erdosproblems.com/189",
  "year": null
 },
 "updated": null,
 "version": 1
}