Triple

T11365686
Position Surface form Disambiguated ID Type / Status
Subject Silver Plaque of the International Mathematical Union E269197 entity
Predicate associatedWith P37 FINISHED
Object Fermat’s Last Theorem E146188 NE FINISHED

How this triple was built (2 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: Fermat’s Last Theorem | Statement: [Silver Plaque of the International Mathematical Union, associatedWith, Fermat’s Last Theorem]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: Fermat’s Last Theorem
Context triple: [Silver Plaque of the International Mathematical Union, associatedWith, Fermat’s Last Theorem]
  • A. Fermat's Last Theorem chosen
    Fermat's Last Theorem is a famous statement in number theory asserting that there are no whole-number solutions to the equation xⁿ + yⁿ = zⁿ for integers n greater than 2, a problem that remained unsolved for over three centuries until it was proved by Andrew Wiles in the 1990s.
  • B. 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.
  • 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. Three Lectures on Fermat's Last Theorem
    "Three Lectures on Fermat's Last Theorem" is a classic expository work in number theory in which Louis Mordell surveys the history, methods, and partial results surrounding Fermat's Last Theorem prior to its eventual proof.
  • E. Fermat's Enigma
    Fermat's Enigma is a popular science book by Simon Singh that recounts the history and eventual proof of Fermat’s Last Theorem.
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.

Provenance (3 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_69d6aacca1048190b39dbbc2174616fa completed April 8, 2026, 7:21 p.m.
NER Named-entity recognition batch_69d7ea88558c8190aa18881af51a7b96 completed April 9, 2026, 6:06 p.m.
NED1 Entity disambiguation (via context triple) batch_69e58bb3bd648190affa7ee85027c958 completed April 20, 2026, 2:13 a.m.
Created at: April 8, 2026, 9:33 p.m.