{
  "schemaVersion": "proofatlas.public-release-credit.v1",
  "id": "credit.release.sendov-conjecture.v001",
  "slug": "sendov-conjecture",
  "canonicalRoute": "/formalizations/sendov-conjecture/",
  "canonicalUrl": "https://proofatlas.ai/formalizations/sendov-conjecture/",
  "title": "A Computer-Assisted Proof of Sendov's Conjecture",
  "releasedAt": "2026-08-05T00:00:00Z",
  "releaseKind": "paper",
  "limitations": [
    "No accepted-result record exists for the Sendov artifact in this snapshot.",
    "No independent external priority anchor is recorded.",
    "Specialist novelty review and independent statement-alignment review remain unrecorded.",
    "The paper, bundle, and supplied infographic are authorized for ProofAtlas distribution but have no general open-content license."
  ],
  "identities": [
    {
      "actorId": "actor.ai.openai-codex.v001",
      "actorRecord": {
        "id": "actor.ai.openai-codex.v001",
        "sha256": "sha256:d022a1afbaa619096cff658949045eb9cdafd20761a54bf4c4cf651c3371f9fd"
      },
      "citationLabel": "OpenAI Codex",
      "displayLabel": "OpenAI Codex",
      "identityMode": "pseudonym"
    },
    {
      "actorId": "actor.ai.openai-gpt-5-6-pro.v001",
      "actorRecord": {
        "id": "actor.ai.openai-gpt-5-6-pro.v001",
        "sha256": "sha256:223bc15cba0da58d1914fa4a036a27a5df6281316fb44207a9281748e1ee66b1"
      },
      "citationLabel": "OpenAI GPT-5.6 Pro",
      "displayLabel": "OpenAI GPT-5.6 Pro",
      "identityMode": "pseudonym"
    },
    {
      "actorId": "actor.human.lech-mazur.v001",
      "actorRecord": {
        "id": "actor.human.lech-mazur.v001",
        "sha256": "sha256:209175a11d71298f013b2258fa44fcc0a345550a5a14844a51f5cd11c531aef8"
      },
      "citationLabel": "Mazur, Lech",
      "displayLabel": "Lech Mazur",
      "identityMode": "real_name"
    },
    {
      "actorId": "actor.organization.advameg.v001",
      "actorRecord": {
        "id": "actor.organization.advameg.v001",
        "sha256": "sha256:d559ca99114f89a89d24cb0913bf817f9136ae19ef31b9e8670d70ea286f89f7"
      },
      "citationLabel": "Advameg, Inc.",
      "displayLabel": "Advameg, Inc.",
      "identityMode": "real_name",
      "profileUrl": "https://www.advameg.com/"
    }
  ],
  "authorship": [
    {
      "actor": {
        "actorId": "actor.human.lech-mazur.v001",
        "actorRecord": {
          "id": "actor.human.lech-mazur.v001",
          "sha256": "sha256:209175a11d71298f013b2258fa44fcc0a345550a5a14844a51f5cd11c531aef8"
        },
        "citationLabel": "Mazur, Lech",
        "displayLabel": "Lech Mazur",
        "identityMode": "real_name"
      },
      "contributionIds": [
        "contribution.sendov.lech-authorship.v001"
      ],
      "order": 1,
      "role": "paper"
    }
  ],
  "credits": [
    {
      "actors": [
        {
          "actorId": "actor.ai.openai-gpt-5-6-pro.v001",
          "actorRecord": {
            "id": "actor.ai.openai-gpt-5-6-pro.v001",
            "sha256": "sha256:223bc15cba0da58d1914fa4a036a27a5df6281316fb44207a9281748e1ee66b1"
          },
          "citationLabel": "OpenAI GPT-5.6 Pro",
          "displayLabel": "OpenAI GPT-5.6 Pro",
          "identityMode": "pseudonym"
        }
      ],
      "contributionId": "contribution.sendov.gpt-development.v001",
      "relationship": "direct",
      "roles": [
        "computation",
        "exposition",
        "gap_or_error_discovery",
        "proof_strategy"
      ],
      "summary": "OpenAI GPT-5.6 Pro contributed to exploration, proof development, exact computational testing, adversarial auditing, and exposition."
    },
    {
      "actors": [
        {
          "actorId": "actor.human.lech-mazur.v001",
          "actorRecord": {
            "id": "actor.human.lech-mazur.v001",
            "sha256": "sha256:209175a11d71298f013b2258fa44fcc0a345550a5a14844a51f5cd11c531aef8"
          },
          "citationLabel": "Mazur, Lech",
          "displayLabel": "Lech Mazur",
          "identityMode": "real_name"
        }
      ],
      "contributionId": "contribution.sendov.lech-authorship.v001",
      "relationship": "direct",
      "roles": [
        "exposition",
        "research_direction",
        "source_maintenance"
      ],
      "summary": "Lech Mazur is the sole named manuscript author, accountable curator, workflow designer, and reconciler of model outputs."
    }
  ],
  "reviews": [
    {
      "independenceStatus": "not_asserted",
      "review": {
        "id": "review.accepted.public_wording.h1d3eb1c7c883.v001",
        "sha256": "sha256:3135896fe53029f5f0250141537b3c4b3a0c9e0e873879f4d9bea2f98516a0cd"
      },
      "reviewKind": "public_wording",
      "reviewer": {
        "actorId": "actor.ai.openai-codex.v001",
        "actorRecord": {
          "id": "actor.ai.openai-codex.v001",
          "sha256": "sha256:d022a1afbaa619096cff658949045eb9cdafd20761a54bf4c4cf651c3371f9fd"
        },
        "citationLabel": "OpenAI Codex",
        "displayLabel": "OpenAI Codex",
        "identityMode": "pseudonym"
      },
      "reviewerActorId": "actor.ai.openai-codex.v001",
      "scope": {
        "limitations": [],
        "statement": "Public-wording review",
        "subjectBindings": [
          {
            "id": "artifact.sendov.conjecture.lean-package.v001",
            "sha256": "sha256:7e5ccec2b74af063e494ac449b896e97cb6459fa8ea394dd14cbb6ada8c587b7"
          },
          {
            "id": "statement.sendov.conjecture.v001",
            "sha256": "sha256:5238900f8893c7fc85270da36844143e27de7944a073fff2844f96e43e31d584"
          }
        ]
      }
    }
  ],
  "evidence": {
    "assets": [
      {
        "byteLength": 823,
        "id": "asset.sendov.formal-source",
        "mediaType": "text/plain",
        "sha256": "sha256:8d11960bfa4f2c341e2fce83917271031b9885a9be68ffedef986bc075fc8c09"
      },
      {
        "byteLength": 1239782,
        "id": "asset.sendov.infographic",
        "mediaType": "image/png",
        "sha256": "sha256:28e8df2ff8da654d36a97c8dbfb0f83c4f5751e01830112805f2a8400156cf63"
      },
      {
        "byteLength": 3461026,
        "id": "asset.sendov.paper-bundle",
        "mediaType": "application/zip",
        "sha256": "sha256:92d1d4299eeb99db36c8c704d19fde189be31be20d55f080f8f85ea51c77ebe3"
      },
      {
        "byteLength": 193919,
        "id": "asset.sendov.paper-pdf",
        "mediaType": "application/pdf",
        "sha256": "sha256:313d38ce6992180630f8509bfb7e5ef285ff4120bab3bf69b92f7d9671e955cc"
      }
    ],
    "ledgerBinding": {
      "id": "event.credit.sendov.retained.v001",
      "sha256": "sha256:1ae69e304dad810927dc4e05545e0d9f6a72ae5e7bfd84fce3bc0a91284d4af0"
    },
    "sourceCommits": [
      "f8b71644c02bf16d8e9f7e183428ac2d4b0f6bf1"
    ],
    "subjectBindings": [
      {
        "id": "artifact.sendov.conjecture.lean-package.v001",
        "sha256": "sha256:7e5ccec2b74af063e494ac449b896e97cb6459fa8ea394dd14cbb6ada8c587b7"
      },
      {
        "id": "paper.sendov-conjecture.public-2026-08-05.v001",
        "sha256": "sha256:0bd655042607e6e6cdb6ea9423f33e8504882970b437cfd7bbfaf0fb0c2adafd"
      },
      {
        "id": "statement.sendov.conjecture.v001",
        "sha256": "sha256:5238900f8893c7fc85270da36844143e27de7944a073fff2844f96e43e31d584"
      },
      {
        "id": "target.sendov.conjecture.v001",
        "sha256": "sha256:f8686439c7a5d766987f24099fe73fe1684e427fe1dcabf63225e65bb9f63851"
      }
    ]
  },
  "rights": [
    {
      "assetId": "asset.sendov.formal-source",
      "basisStatus": "rights_confirmed",
      "licenseIdentifier": "Apache-2.0",
      "licenseUrl": "https://www.apache.org/licenses/LICENSE-2.0",
      "publicPermissions": [
        {
          "basis": "license_review",
          "status": "allowed",
          "use": "inclusion_in_paper"
        },
        {
          "basis": "license_review",
          "status": "allowed",
          "use": "incorporation_into_public_result"
        },
        {
          "basis": "license_review",
          "status": "allowed",
          "use": "public_derived_summary"
        },
        {
          "basis": "license_review",
          "status": "allowed",
          "use": "public_raw_redistribution"
        }
      ],
      "rightsholders": [
        {
          "actorId": "actor.organization.advameg.v001",
          "actorRecord": {
            "id": "actor.organization.advameg.v001",
            "sha256": "sha256:d559ca99114f89a89d24cb0913bf817f9136ae19ef31b9e8670d70ea286f89f7"
          },
          "citationLabel": "Advameg, Inc.",
          "displayLabel": "Advameg, Inc.",
          "identityMode": "real_name",
          "profileUrl": "https://www.advameg.com/"
        }
      ]
    },
    {
      "assetId": "asset.sendov.infographic",
      "basisStatus": "rights_confirmed",
      "publicPermissions": [
        {
          "basis": "unresolved",
          "status": "unresolved",
          "use": "inclusion_in_paper"
        },
        {
          "basis": "rightsholder_authorization",
          "status": "allowed",
          "use": "incorporation_into_public_result"
        },
        {
          "basis": "rightsholder_authorization",
          "status": "allowed",
          "use": "public_derived_summary"
        },
        {
          "basis": "rightsholder_authorization",
          "status": "allowed",
          "use": "public_raw_redistribution"
        }
      ],
      "rightsholders": [
        {
          "actorId": "actor.human.lech-mazur.v001",
          "actorRecord": {
            "id": "actor.human.lech-mazur.v001",
            "sha256": "sha256:209175a11d71298f013b2258fa44fcc0a345550a5a14844a51f5cd11c531aef8"
          },
          "citationLabel": "Mazur, Lech",
          "displayLabel": "Lech Mazur",
          "identityMode": "real_name"
        }
      ]
    },
    {
      "assetId": "asset.sendov.paper-bundle",
      "basisStatus": "rights_confirmed",
      "publicPermissions": [
        {
          "basis": "unresolved",
          "status": "unresolved",
          "use": "inclusion_in_paper"
        },
        {
          "basis": "rightsholder_authorization",
          "status": "allowed",
          "use": "incorporation_into_public_result"
        },
        {
          "basis": "rightsholder_authorization",
          "status": "allowed",
          "use": "public_derived_summary"
        },
        {
          "basis": "rightsholder_authorization",
          "status": "allowed",
          "use": "public_raw_redistribution"
        }
      ],
      "rightsholders": [
        {
          "actorId": "actor.human.lech-mazur.v001",
          "actorRecord": {
            "id": "actor.human.lech-mazur.v001",
            "sha256": "sha256:209175a11d71298f013b2258fa44fcc0a345550a5a14844a51f5cd11c531aef8"
          },
          "citationLabel": "Mazur, Lech",
          "displayLabel": "Lech Mazur",
          "identityMode": "real_name"
        }
      ]
    },
    {
      "assetId": "asset.sendov.paper-pdf",
      "basisStatus": "rights_confirmed",
      "publicPermissions": [
        {
          "basis": "unresolved",
          "status": "unresolved",
          "use": "inclusion_in_paper"
        },
        {
          "basis": "rightsholder_authorization",
          "status": "allowed",
          "use": "incorporation_into_public_result"
        },
        {
          "basis": "rightsholder_authorization",
          "status": "allowed",
          "use": "public_derived_summary"
        },
        {
          "basis": "rightsholder_authorization",
          "status": "allowed",
          "use": "public_raw_redistribution"
        }
      ],
      "rightsholders": [
        {
          "actorId": "actor.human.lech-mazur.v001",
          "actorRecord": {
            "id": "actor.human.lech-mazur.v001",
            "sha256": "sha256:209175a11d71298f013b2258fa44fcc0a345550a5a14844a51f5cd11c531aef8"
          },
          "citationLabel": "Mazur, Lech",
          "displayLabel": "Lech Mazur",
          "identityMode": "real_name"
        }
      ]
    }
  ],
  "publicRecord": {
    "priority": {
      "status": "release_chronology"
    }
  },
  "citation": {
    "bibtex": "@misc{mazur-2026-sendov-candidate,\n  author = {Mazur, Lech},\n  title = {A Computer-Assisted Proof of Sendov's Conjecture},\n  publisher = {ProofAtlas},\n  year = {2026},\n  date = {2026-08-05},\n  version = {public version of 5 August 2026},\n  url = {https://proofatlas.ai/formalizations/sendov-conjecture/}\n}\n",
    "jsonLd": {
      "@context": "https://schema.org",
      "@id": "https://proofatlas.ai/formalizations/sendov-conjecture/",
      "@type": "ScholarlyArticle",
      "additionalType": "paper",
      "author": [
        {
          "@type": "Thing",
          "identifier": "actor.human.lech-mazur.v001",
          "name": "Mazur, Lech"
        }
      ],
      "contributor": [
        {
          "@type": "Thing",
          "identifier": "actor.ai.openai-gpt-5-6-pro.v001",
          "name": "OpenAI GPT-5.6 Pro",
          "roleName": [
            "computation",
            "exposition",
            "gap_or_error_discovery",
            "proof_strategy"
          ]
        },
        {
          "@type": "Thing",
          "identifier": "actor.human.lech-mazur.v001",
          "name": "Lech Mazur",
          "roleName": [
            "exposition",
            "research_direction",
            "source_maintenance"
          ]
        }
      ],
      "datePublished": "2026-08-05",
      "headline": "A Computer-Assisted Proof of Sendov's Conjecture",
      "identifier": [
        {
          "propertyID": "url",
          "url": "https://proofatlas.ai/formalizations/sendov-conjecture/",
          "value": "https://proofatlas.ai/formalizations/sendov-conjecture/"
        }
      ],
      "publisher": {
        "@type": "Organization",
        "name": "ProofAtlas"
      },
      "url": "https://proofatlas.ai/formalizations/sendov-conjecture/",
      "version": "public version of 5 August 2026"
    },
    "plain": "Mazur, Lech. A Computer-Assisted Proof of Sendov's Conjecture. public version of 5 August 2026. ProofAtlas, 2026-08-05. https://proofatlas.ai/formalizations/sendov-conjecture/"
  }
}