Triple

T7078801
Position Surface form Disambiguated ID Type / Status
Subject Louis Mordell E164890 entity
Predicate knownFor P22 FINISHED
Object Mordell–Weil theorem
The Mordell–Weil theorem is a fundamental result in number theory stating that the group of rational points on an abelian variety (in particular, an elliptic curve) over a number field is finitely generated.
E641515 NE FINISHED

How this triple was built (4 steps)

Every LLM step that produced this triple, in pipeline order — named-entity classification, the disambiguation choices (the exact options shown, with the pick highlighted), and the generated description. The batch + timestamp of each is in the Provenance table below.

NER Named-entity recognition gpt-5-mini
Instruction
Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).
Input
Phrase: Mordell–Weil theorem | Statement: [Louis Mordell, knownFor, Mordell–Weil theorem]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Mordell–Weil theorem
Context triple: [Louis Mordell, knownFor, Mordell–Weil theorem]
  • A. Faltings' theorem
    Faltings' theorem is a landmark result in arithmetic geometry that proves every algebraic curve of genus greater than one over a number field has only finitely many rational points.
  • B. Mordell curve
    A Mordell curve is an elliptic curve of the form \(y^2 = x^3 + k\) over a field, central to number theory and Diophantine geometry.
  • C. Birch and Swinnerton-Dyer Conjecture
    The Birch and Swinnerton-Dyer Conjecture is a central unsolved problem in number theory that predicts a deep connection between the arithmetic of rational points on an elliptic curve and the behavior of its associated L-function at a specific value.
  • D. Hermite–Minkowski theorem
    The Hermite–Minkowski theorem is a fundamental result in algebraic number theory that gives a finiteness bound on the number of number fields of a given degree and discriminant.
  • E. Taniyama–Shimura–Weil conjecture
    The Taniyama–Shimura–Weil conjecture, now the modularity theorem, asserts that every elliptic curve over the rational numbers is modular and played a central role in the proof of Fermat’s Last Theorem.
  • F. None of above. chosen
  • G. Unsure - the case is ambiguous/there is not enough information to decide.
NEDg Description generation gpt-5.1
Instruction
Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"
Input
Entity: Mordell–Weil theorem
Triple: [Louis Mordell, knownFor, Mordell–Weil theorem]
Generated description
The Mordell–Weil theorem is a fundamental result in number theory stating that the group of rational points on an abelian variety (in particular, an elliptic curve) over a number field is finitely generated.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Mordell–Weil theorem
Target entity description: The Mordell–Weil theorem is a fundamental result in number theory stating that the group of rational points on an abelian variety (in particular, an elliptic curve) over a number field is finitely generated.
  • A. Faltings' theorem
    Faltings' theorem is a landmark result in arithmetic geometry that proves every algebraic curve of genus greater than one over a number field has only finitely many rational points.
  • B. Mordell curve
    A Mordell curve is an elliptic curve of the form \(y^2 = x^3 + k\) over a field, central to number theory and Diophantine geometry.
  • C. Birch and Swinnerton-Dyer Conjecture
    The Birch and Swinnerton-Dyer Conjecture is a central unsolved problem in number theory that predicts a deep connection between the arithmetic of rational points on an elliptic curve and the behavior of its associated L-function at a specific value.
  • D. Hermite–Minkowski theorem
    The Hermite–Minkowski theorem is a fundamental result in algebraic number theory that gives a finiteness bound on the number of number fields of a given degree and discriminant.
  • E. Taniyama–Shimura–Weil conjecture
    The Taniyama–Shimura–Weil conjecture, now the modularity theorem, asserts that every elliptic curve over the rational numbers is modular and played a central role in the proof of Fermat’s Last Theorem.
  • F. None of above. chosen

Provenance (5 batches)

The batch behind each pipeline step, in order, with when it ran. Timestamps are batch-level — stages were processed in waves, so the object chain (NER → NED1 → NEDg → NED2) reads in order, but predicate / elicitation batches can sit in a different wave.

Step Stage Batch ID Status When
creating Elicitation batch_69c6887cbc6c8190bdfac42d940f4d8a completed March 27, 2026, 1:39 p.m.
NER Named-entity recognition batch_69c6e4ef47d48190b31125d1b57f7bec completed March 27, 2026, 8:13 p.m.
NED1 Entity disambiguation (via context triple) batch_69c79c8ca5a48190bbfbf640fb1f778d completed March 28, 2026, 9:17 a.m.
NEDg Description generation batch_69c79d31a9e8819096e6a3040b1852a9 completed March 28, 2026, 9:19 a.m.
NED2 Entity disambiguation (via description) batch_69c79dc7d7d8819097e423ef70b03040 completed March 28, 2026, 9:22 a.m.
Created at: March 27, 2026, 2:40 p.m.