{
  "annotation_id": "4ccaa223-7860-4af1-a663-a8263d00b73f",
  "date_created": "2026-02-17T05:53:20.168000Z",
  "date_modified": "2026-02-17T05:53:20.168000Z",
  "file_hash": "107c7ead7ab2fc36ef729cc3192b900229fa124c7a040dce959518512f7556c5",
  "private": false,
  "record": {
    "abstract": "We formally disprove a recently conjectured artificial intelligence trade-off between epistemic certainty and scope in the universal hyperbolic product form in which it was published. Certainty is defined as the worst-case correctness probability over the input space, and scope as the sum of the Kolmogorov complexities of the input and output sets. Using standard facts from coding theory and algorithmic information theory, we show, first, that when the conjecture is instantiated with prefix (self-delimiting, prefix-free) Kolmogorov complexity, it leads to an internal inconsistency, and second, that when it is instantiated with plain Kolmogorov complexity, it is refuted by a constructive counterexample. These results establish a general theorem: contrary to the conjecture\u0027s claim, no universal \"certainty-scope\" hyperbola holds as a general bound under the published definitions.",
    "arxiv_id": "2601.08845",
    "authors": [
      "Generoso Immediato"
    ],
    "categories": [
      "cs.CY",
      "cs.AI",
      "cs.IT",
      "math.IT"
    ],
    "license": "http://creativecommons.org/licenses/by-nc-nd/4.0/",
    "title": "No Universal Hyperbola: A Formal Disproof of the Epistemic Trade-Off Between Certainty and Scope in Symbolic and Generative AI",
    "url": "https://arxiv.org/abs/2601.08845",
    "version": "v1"
  },
  "schema_id": "dorsal/arxiv",
  "source": {
    "execution_id": "5c65e63e-38a2-4d85-abaa-109240ece939",
    "id": "arXiv Dataset",
    "type": "Model",
    "variant": "snapshot-2026-01-17",
    "version": "0.1.0"
  },
  "user_id": 1000002
}