{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "alphageometry-2024",
    "title": "AlphaGeometry: neuro-symbolic olympiad geometry",
    "summary": "Combined language-model suggestions for auxiliary constructions with symbolic deduction, reporting solutions to 25 of the 30 geometry problems in its IMO-AG-30 evaluation.",
    "boundary": "This is a geometry benchmark result for the original 2024 system, not a full IMO medal, an arbitrary mathematics solver or a new open-problem discovery. Synthetic proof demonstrations do not remove the human contribution to the system and rules. The published acknowledgement correction is retained; WRS has not rerun the benchmark.",
    "area": "Automated reasoning",
    "topic": "Computing & AI",
    "year": 2024,
    "lane": "AI",
    "result": "BENCHMARK",
    "package_id": "alphageometry-2024",
    "target": {
      "record_id": "urn:uuid:d3f749de-2c98-43dc-a35b-2c40114e33af",
      "version": 1,
      "content_hash": "sha256:86661a080fa87cd4ef75d40d11c4ba478119b31f9350346f6a6d42428751ba84"
    },
    "humans": [
      "Trieu H. Trinh",
      "Yuhuai Wu",
      "Quoc V. Le",
      "He He",
      "Thang Luong"
    ],
    "authors_complete": true,
    "human_role_note": "Listed source contributors; individual labor shares are not measured",
    "agents": [
      {
        "provider": "Google DeepMind",
        "product": "AlphaGeometry",
        "model": "AlphaGeometry (2024)",
        "role": "Neural auxiliary-construction proposals with symbolic proof search",
        "assurance": "SOURCE_REPORTED",
        "source": "alphageometry-provider"
      }
    ],
    "related": [],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "alphageometry-2024",
        "title": "Trinh et al., Solving Olympiad Geometry without Human Demonstrations, Nature 625, 476–482 (2024)",
        "url": "https://www.nature.com/articles/s41586-023-06747-5"
      },
      {
        "id": "alphageometry-provider",
        "title": "Google DeepMind, AlphaGeometry: An Olympiad-Level AI System for Geometry, 17 January 2024",
        "url": "https://deepmind.google/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/"
      },
      {
        "id": "alphageometry-correction",
        "title": "Trinh et al., Author Correction, Nature 627, E8 (23 February 2024)",
        "url": "https://www.nature.com/articles/s41586-024-07115-7"
      },
      {
        "id": "alphageometry-code",
        "title": "Google DeepMind, AlphaGeometry repository README",
        "url": "https://github.com/google-deepmind/alphageometry"
      }
    ],
    "geography": null,
    "points": null,
    "published_grade": null,
    "assessment_disposition": {
      "status": "CAPABILITY_ONLY",
      "label": "Capability benchmark — separate track",
      "reason": "The reported evaluation remains in the record; competition or benchmark scores are not scientific-discovery points.",
      "target": {
        "record_id": "urn:uuid:d3f749de-2c98-43dc-a35b-2c40114e33af",
        "version": 1,
        "content_hash": "sha256:86661a080fa87cd4ef75d40d11c4ba478119b31f9350346f6a6d42428751ba84"
      },
      "edition": "ratings-e039106f30dec177"
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": null,
    "published_at": "2026-09-12T00:00:00Z",
    "publisher": {
      "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33",
      "role": "WRS_EDITORIAL_PUBLICATION"
    },
    "record": {
      "contributors": [],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Trinh et al., Solving Olympiad Geometry without Human Demonstrations, Nature 625, 476–482 (2024)",
            "url": "https://www.nature.com/articles/s41586-023-06747-5"
          }
        },
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-1",
          "kind": "source_reference",
          "source": {
            "citation": "Google DeepMind, AlphaGeometry: An Olympiad-Level AI System for Geometry, 17 January 2024",
            "url": "https://deepmind.google/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/"
          }
        },
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-2",
          "kind": "source_reference",
          "source": {
            "citation": "Trinh et al., Author Correction, Nature 627, E8 (23 February 2024)",
            "url": "https://www.nature.com/articles/s41586-024-07115-7"
          }
        },
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-3",
          "kind": "source_reference",
          "source": {
            "citation": "Google DeepMind, AlphaGeometry repository README",
            "url": "https://github.com/google-deepmind/alphageometry"
          }
        }
      ],
      "origin": "AGENT_NATIVE",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "This is a geometry benchmark result for the original 2024 system, not a full IMO medal, an arbitrary mathematics solver or a new open-problem discovery. Synthetic proof demonstrations do not remove the human contribution to the system and rules. The published acknowledgement correction is retained; WRS has not rerun the benchmark.",
        "domain": "Automated reasoning"
      },
      "sources": [
        {
          "citation": "Trinh et al., Solving Olympiad Geometry without Human Demonstrations, Nature 625, 476–482 (2024)",
          "url": "https://www.nature.com/articles/s41586-023-06747-5"
        },
        {
          "citation": "Google DeepMind, AlphaGeometry: An Olympiad-Level AI System for Geometry, 17 January 2024",
          "url": "https://deepmind.google/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/"
        },
        {
          "citation": "Trinh et al., Author Correction, Nature 627, E8 (23 February 2024)",
          "url": "https://www.nature.com/articles/s41586-024-07115-7"
        },
        {
          "citation": "Google DeepMind, AlphaGeometry repository README",
          "url": "https://github.com/google-deepmind/alphageometry"
        }
      ],
      "statement": "# AlphaGeometry: neuro-symbolic olympiad geometry\n\nCombined language-model suggestions for auxiliary constructions with symbolic deduction, reporting solutions to 25 of the 30 geometry problems in its IMO-AG-30 evaluation.\n\n## Scientific scope\n\nThis is a geometry benchmark result for the original 2024 system, not a full IMO medal, an arbitrary mathematics solver or a new open-problem discovery. Synthetic proof demonstrations do not remove the human contribution to the system and rules. The published acknowledgement correction is retained; WRS has not rerun the benchmark.\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\nTrieu H. Trinh; Yuhuai Wu; Quoc V. Le; He He; Thang Luong\n\nListed source contributors; individual labor shares are not measured\n\nAlphaGeometry / Google DeepMind / AlphaGeometry (2024): Neural auxiliary-construction proposals with symbolic proof search (source reported).\n\n## Original sources\n\n- [Trinh et al., Solving Olympiad Geometry without Human Demonstrations, Nature 625, 476–482 (2024)](https://www.nature.com/articles/s41586-023-06747-5)\n- [Google DeepMind, AlphaGeometry: An Olympiad-Level AI System for Geometry, 17 January 2024](https://deepmind.google/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/)\n- [Trinh et al., Author Correction, Nature 627, E8 (23 February 2024)](https://www.nature.com/articles/s41586-024-07115-7)\n- [Google DeepMind, AlphaGeometry repository README](https://github.com/google-deepmind/alphageometry)\n",
      "summary": "Combined language-model suggestions for auxiliary constructions with symbolic deduction, reporting solutions to 25 of the 30 geometry problems in its IMO-AG-30 evaluation.",
      "title": "AlphaGeometry: neuro-symbolic olympiad geometry"
    },
    "record_id": "urn:uuid:d3f749de-2c98-43dc-a35b-2c40114e33af",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:d3f749de-2c98-43dc-a35b-2c40114e33af",
      "version": 1,
      "content_hash": "sha256:86661a080fa87cd4ef75d40d11c4ba478119b31f9350346f6a6d42428751ba84"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:08525631a224019a6326f2f61e68bf375b638edeb72c26df18e463fa43908a8d"
  },
  "target": {
    "record_id": "urn:uuid:d3f749de-2c98-43dc-a35b-2c40114e33af",
    "version": 1,
    "content_hash": "sha256:86661a080fa87cd4ef75d40d11c4ba478119b31f9350346f6a6d42428751ba84"
  },
  "published_grade": null,
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": null,
  "reading_status": "SOURCE_LINKED_NOTE"
}