{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "aristotle",
    "title": "Aristotle: formal and informal reasoning",
    "summary": "Combines Lean search, informal reasoning and geometry solving, reporting IMO-level performance.",
    "boundary": "This entry is a capability benchmark. It is not a completed WRS community verification task.",
    "area": "Mathematics",
    "topic": "Mathematics & logic",
    "year": 2025,
    "lane": "AI",
    "result": "BENCHMARK",
    "package_id": "aristotle",
    "target": {
      "record_id": "urn:uuid:9551a421-d0d1-4f8c-ad98-640cdf5e78e7",
      "version": 1,
      "content_hash": "sha256:7fa7a9386e60b1bc73921bbc2304f21a7f536240a403fd31e8a5e19cccb591c6"
    },
    "humans": [],
    "authors_complete": false,
    "human_role_note": "Listed source contributors; individual labor shares are not measured",
    "agents": [
      {
        "product": "Aristotle",
        "model": "Aristotle",
        "provider": "Harmonic",
        "role": "Benchmark execution",
        "assurance": "SOURCE_REPORTED",
        "source": "aristotle-source"
      }
    ],
    "related": [],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "aristotle-source",
        "title": "Achim et al., Aristotle: IMO-level Automated Theorem Proving (2025)",
        "url": "https://arxiv.org/abs/2510.01346"
      }
    ],
    "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:9551a421-d0d1-4f8c-ad98-640cdf5e78e7",
        "version": 1,
        "content_hash": "sha256:7fa7a9386e60b1bc73921bbc2304f21a7f536240a403fd31e8a5e19cccb591c6"
      },
      "edition": "ratings-e039106f30dec177"
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": null,
    "published_at": "2026-09-11T00: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": "Achim et al., Aristotle: IMO-level Automated Theorem Proving (2025)",
            "url": "https://arxiv.org/abs/2510.01346"
          }
        }
      ],
      "origin": "AGENT_NATIVE",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "This entry is a capability benchmark. It is not a completed WRS community verification task.",
        "domain": "数学"
      },
      "sources": [
        {
          "citation": "Achim et al., Aristotle: IMO-level Automated Theorem Proving (2025)",
          "url": "https://arxiv.org/abs/2510.01346"
        }
      ],
      "statement": "# Aristotle: formal and informal reasoning\n\nCombines Lean search, informal reasoning and geometry solving, reporting IMO-level performance.\n\n## Scientific scope\n\nThis entry is a capability benchmark. It is not a completed WRS community verification task.\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\n\n\nListed source contributors; individual labor shares are not measured\n\nAristotle / Harmonic / Aristotle: Benchmark execution (source reported).\n\n## Original sources\n\n- [Achim et al., Aristotle: IMO-level Automated Theorem Proving (2025)](https://arxiv.org/abs/2510.01346)\n",
      "summary": "Combines Lean search, informal reasoning and geometry solving, reporting IMO-level performance.",
      "title": "Aristotle: formal and informal reasoning"
    },
    "record_id": "urn:uuid:9551a421-d0d1-4f8c-ad98-640cdf5e78e7",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:9551a421-d0d1-4f8c-ad98-640cdf5e78e7",
      "version": 1,
      "content_hash": "sha256:7fa7a9386e60b1bc73921bbc2304f21a7f536240a403fd31e8a5e19cccb591c6"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:daab365c82c6489ef9a853f2abeca208cfd7e0e74c41ee5b7dc37ff482630e5c"
  },
  "target": {
    "record_id": "urn:uuid:9551a421-d0d1-4f8c-ad98-640cdf5e78e7",
    "version": 1,
    "content_hash": "sha256:7fa7a9386e60b1bc73921bbc2304f21a7f536240a403fd31e8a5e19cccb591c6"
  },
  "published_grade": null,
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": null,
  "reading_status": "SOURCE_LINKED_NOTE"
}