{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "hales-kepler-conjecture-proof-2005",
    "title": "Hales: a proof of the Kepler conjecture",
    "summary": "Proved the Kepler conjecture on the maximal density of congruent sphere packings in three-dimensional Euclidean space through geometric reduction and computer-assisted verification of finite cases.",
    "boundary": "The record is Hales’s exact 2005 Annals paper and associated proof package. Kepler’s conjecture, Fejes Tóth’s reductions, Samuel Ferguson’s separately authored thesis components, later Flyspeck formal verification and higher-dimensional sphere packing remain separate.",
    "area": "Geometry",
    "year": 2005,
    "lane": "HUMAN",
    "result": "THEOREM",
    "package_id": "hales-kepler-conjecture-proof-2005",
    "target": {
      "record_id": "urn:uuid:b5ddbe38-9b1a-4d2b-a18d-5bc2c4d140cb",
      "version": 1,
      "content_hash": "sha256:e0f24bec3be2b9a3c63d7579968d48acf83d7ff3b3fce9bfec062dd8b1e8d7cc"
    },
    "humans": [
      "Thomas C. Hales"
    ],
    "human_identities": [
      {
        "author_position": 0,
        "source_name": "Thomas C. Hales",
        "person_id": "wrs-person-4c80ea54a555b79ec0396d1d",
        "display_name": "Thomas C. Hales",
        "status": "SOURCE_LINKED_IDENTITY",
        "sources": [
          {
            "title": "Attribution source",
            "url": "https://arxiv.org/abs/2402.08032"
          },
          {
            "title": "Attribution source",
            "url": "https://arxiv.org/abs/1501.02155"
          }
        ]
      }
    ],
    "authors_complete": true,
    "human_role_note": "The named authors contributed to this scoped work; individual effort shares and later applications are not assigned by the byline.",
    "agents": [],
    "related": [],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "annals-hales-kepler-2005",
        "title": "Annals of Mathematics, A proof of the Kepler conjecture",
        "url": "https://annals.math.princeton.edu/2005/162-3/p01"
      },
      {
        "id": "annals-hales-kepler-2005-pdf",
        "title": "Hales, A proof of the Kepler conjecture full paper",
        "url": "https://annals.math.princeton.edu/wp-content/uploads/annals-v162-n3-p01.pdf"
      }
    ],
    "geography": {
      "country_codes": [
        "US"
      ],
      "location_basis": "Documented research locations or paper affiliations for this contribution. Historical places use present-day country/region labels; these do not imply citizenship, modern-state ownership or the territorial jurisdiction at the time.",
      "source_url": "https://annals.math.princeton.edu/2005/162-3/p01",
      "target": {
        "record_id": "urn:uuid:b5ddbe38-9b1a-4d2b-a18d-5bc2c4d140cb",
        "version": 1,
        "content_hash": "sha256:e0f24bec3be2b9a3c63d7579968d48acf83d7ff3b3fce9bfec062dd8b1e8d7cc"
      },
      "basis": "RESEARCH_LOCATION_OR_PAPER_AFFILIATION",
      "reviewed_on": "2026-09-26",
      "nationality_inferred": false,
      "sources": [
        {
          "title": "Attribution source",
          "url": "https://annals.math.princeton.edu/2005/162-3/p01"
        }
      ],
      "coverage_status": "COMPLETE",
      "country_labels": {
        "US": "United States"
      }
    },
    "points": "340000",
    "published_grade": {
      "id": "hales-kepler-conjecture-proof-2005",
      "entry_id": "hales-kepler-conjecture-proof-2005",
      "band": "S",
      "modifier": null,
      "target": {
        "record_id": "urn:uuid:b5ddbe38-9b1a-4d2b-a18d-5bc2c4d140cb",
        "version": 1,
        "content_hash": "sha256:e0f24bec3be2b9a3c63d7579968d48acf83d7ff3b3fce9bfec062dd8b1e8d7cc"
      },
      "what_changed": "A long-standing sphere-packing conjecture received a published proof.",
      "scope": "Hales's exact 2005 article and cited proof resources; Ferguson thesis components and later Flyspeck separate.",
      "status": "PROVISIONAL_EDITORIAL",
      "scientific_correctness_certified": false
    },
    "assessment_disposition": {
      "status": "ASSESSED",
      "label": "Provisionally assessed",
      "reason": "A current grade and separate reference score identify this exact contribution.",
      "target": {
        "record_id": "urn:uuid:b5ddbe38-9b1a-4d2b-a18d-5bc2c4d140cb",
        "version": 1,
        "content_hash": "sha256:e0f24bec3be2b9a3c63d7579968d48acf83d7ff3b3fce9bfec062dd8b1e8d7cc"
      },
      "edition": "ratings-e039106f30dec177"
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": null,
    "published_at": "2026-09-25T00:00:00Z",
    "publisher": {
      "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33",
      "role": "WRS_EDITORIAL_PUBLICATION"
    },
    "record": {
      "contributors": [
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Thomas C. Hales",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "prover"
          ],
          "source": {
            "citation": "Annals of Mathematics, A proof of the Kepler conjecture",
            "url": "https://annals.math.princeton.edu/2005/162-3/p01"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Annals of Mathematics, A proof of the Kepler conjecture",
            "url": "https://annals.math.princeton.edu/2005/162-3/p01"
          }
        },
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-1",
          "kind": "source_reference",
          "source": {
            "citation": "Hales, A proof of the Kepler conjecture full paper",
            "url": "https://annals.math.princeton.edu/wp-content/uploads/annals-v162-n3-p01.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "The record is Hales’s exact 2005 Annals paper and associated proof package. Kepler’s conjecture, Fejes Tóth’s reductions, Samuel Ferguson’s separately authored thesis components, later Flyspeck formal verification and higher-dimensional sphere packing remain separate.",
        "domain": "Geometry"
      },
      "sources": [
        {
          "citation": "Annals of Mathematics, A proof of the Kepler conjecture",
          "url": "https://annals.math.princeton.edu/2005/162-3/p01"
        },
        {
          "citation": "Hales, A proof of the Kepler conjecture full paper",
          "url": "https://annals.math.princeton.edu/wp-content/uploads/annals-v162-n3-p01.pdf"
        }
      ],
      "statement": "# Hales: a proof of the Kepler conjecture\n\nProved the Kepler conjecture on the maximal density of congruent sphere packings in three-dimensional Euclidean space through geometric reduction and computer-assisted verification of finite cases.\n\n## Scientific scope\n\nThe record is Hales’s exact 2005 Annals paper and associated proof package. Kepler’s conjecture, Fejes Tóth’s reductions, Samuel Ferguson’s separately authored thesis components, later Flyspeck formal verification and higher-dimensional sphere packing remain separate.\n\n## Reading status\n\nThis is a source-linked WRS catalogue note. A full explanatory guide and independent scientific reconstruction have not been completed for this entry. Read the identified original work for its complete narrative and arguments.\n\n## People and systems\n\nThomas C. Hales\n\nThe named authors contributed to this scoped work; individual effort shares and later applications are not assigned by the byline.\n\n\n\n## Original sources\n\n- [Annals of Mathematics, A proof of the Kepler conjecture](https://annals.math.princeton.edu/2005/162-3/p01)\n- [Hales, A proof of the Kepler conjecture full paper](https://annals.math.princeton.edu/wp-content/uploads/annals-v162-n3-p01.pdf)\n",
      "summary": "Proved the Kepler conjecture on the maximal density of congruent sphere packings in three-dimensional Euclidean space through geometric reduction and computer-assisted verification of finite cases.",
      "title": "Hales: a proof of the Kepler conjecture"
    },
    "record_id": "urn:uuid:b5ddbe38-9b1a-4d2b-a18d-5bc2c4d140cb",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:b5ddbe38-9b1a-4d2b-a18d-5bc2c4d140cb",
      "version": 1,
      "content_hash": "sha256:e0f24bec3be2b9a3c63d7579968d48acf83d7ff3b3fce9bfec062dd8b1e8d7cc"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:3b4c4e78bee0a14dd5526bc9ca80051bb2d5aeaee2d46c4b1f9d20b344f2d2f5"
  },
  "target": {
    "record_id": "urn:uuid:b5ddbe38-9b1a-4d2b-a18d-5bc2c4d140cb",
    "version": 1,
    "content_hash": "sha256:e0f24bec3be2b9a3c63d7579968d48acf83d7ff3b3fce9bfec062dd8b1e8d7cc"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "hales-kepler-conjecture-proof-2005",
    "entry_id": "hales-kepler-conjecture-proof-2005",
    "revision": 1,
    "title": "Hales: a proof of the Kepler conjecture",
    "context": "Geometry",
    "track": "Theorem proof",
    "band": "S",
    "modifier": null,
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-09-25",
    "evidence_cutoff": "2026-09-25",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "A long-standing sphere-packing conjecture received a published proof.",
    "scope": "Hales's exact 2005 article and cited proof resources; Ferguson thesis components and later Flyspeck separate.",
    "evidence_summary": "The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is Hales’s exact 2005 Annals paper and associated proof package. Kepler’s conjecture, Fejes Tóth’s reductions, Samuel Ferguson’s separately authored thesis components, later Flyspeck formal verification and higher-dimensional sphere packing remain separate.",
    "references": [
      {
        "title": "Annals of Mathematics, A proof of the Kepler conjecture",
        "url": "https://annals.math.princeton.edu/2005/162-3/p01",
        "locator": "Source for the stated contribution; scientific claims remain bounded to the linked work."
      },
      {
        "title": "Hales, A proof of the Kepler conjecture full paper",
        "url": "https://annals.math.princeton.edu/wp-content/uploads/annals-v162-n3-p01.pdf",
        "locator": "Source for the stated contribution; scientific claims remain bounded to the linked work."
      }
    ],
    "roles": [
      {
        "who": "Thomas C. Hales",
        "credit": "SCIENCE",
        "did": "Named source author of the scoped work; individual effort shares are not measured."
      }
    ],
    "target": {
      "record_id": "urn:uuid:b5ddbe38-9b1a-4d2b-a18d-5bc2c4d140cb",
      "version": 1,
      "content_hash": "sha256:e0f24bec3be2b9a3c63d7579968d48acf83d7ff3b3fce9bfec062dd8b1e8d7cc"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "340000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": null,
  "reading_status": "SOURCE_LINKED_NOTE"
}