Triple

T11365711
Position Surface form Disambiguated ID Type / Status
Subject Gerhard Frey E269198 entity
Predicate knownFor P22 FINISHED
Object Frey curve construction
The Frey curve construction is a method in number theory that associates an elliptic curve to a putative solution of Fermat’s Last Theorem, playing a key role in the proof by linking the theorem to modularity.
E921624 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: Frey curve construction | Statement: [Gerhard Frey, knownFor, Frey curve construction]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Frey curve construction
Context triple: [Gerhard Frey, knownFor, Frey curve construction]
  • A. Peano curve
    The Peano curve is a space-filling fractal curve that continuously maps a one-dimensional interval onto a two-dimensional area, demonstrating that a line can completely fill a square.
  • B. Random Curves
    Random Curves is a mathematics book by Neal Koblitz that explores probabilistic and heuristic methods in number theory and algebraic geometry, particularly in relation to elliptic curves and cryptographic applications.
  • C. Bezier curves
    Bézier curves are mathematically defined parametric curves widely used in computer graphics and digital design to model smooth, scalable shapes and paths.
  • D. Fermat curve
    A Fermat curve is an algebraic curve defined by an equation of the form \(x^n + y^n = 1\), studied in number theory and algebraic geometry for its rich arithmetic and geometric properties.
  • E. Page curve
    The Page curve is a theoretical prediction in black hole physics that describes how the entanglement entropy of Hawking radiation should rise and then fall over time if black hole evaporation is ultimately unitary.
  • 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: Frey curve construction
Triple: [Gerhard Frey, knownFor, Frey curve construction]
Generated description
The Frey curve construction is a method in number theory that associates an elliptic curve to a putative solution of Fermat’s Last Theorem, playing a key role in the proof by linking the theorem to modularity.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Frey curve construction
Target entity description: The Frey curve construction is a method in number theory that associates an elliptic curve to a putative solution of Fermat’s Last Theorem, playing a key role in the proof by linking the theorem to modularity.
  • A. Peano curve
    The Peano curve is a space-filling fractal curve that continuously maps a one-dimensional interval onto a two-dimensional area, demonstrating that a line can completely fill a square.
  • B. Random Curves
    Random Curves is a mathematics book by Neal Koblitz that explores probabilistic and heuristic methods in number theory and algebraic geometry, particularly in relation to elliptic curves and cryptographic applications.
  • C. Bezier curves
    Bézier curves are mathematically defined parametric curves widely used in computer graphics and digital design to model smooth, scalable shapes and paths.
  • D. Fermat curve
    A Fermat curve is an algebraic curve defined by an equation of the form \(x^n + y^n = 1\), studied in number theory and algebraic geometry for its rich arithmetic and geometric properties.
  • E. Page curve
    The Page curve is a theoretical prediction in black hole physics that describes how the entanglement entropy of Hawking radiation should rise and then fall over time if black hole evaporation is ultimately unitary.
  • 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_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_69e55667d4908190b6290135eba41e54 completed April 19, 2026, 10:25 p.m.
NEDg Description generation batch_69e562c6e7c8819098d22a6e0daa4a51 completed April 19, 2026, 11:18 p.m.
NED2 Entity disambiguation (via description) batch_69e56a472f0c819086c1cccaa5ca0ae7 completed April 19, 2026, 11:50 p.m.
Created at: April 8, 2026, 9:33 p.m.