Triple

T13893962
Position Surface form Disambiguated ID Type / Status
Subject Hadamard matrix E334040 entity
Predicate hasConjecture P38260 FINISHED
Object Hadamard conjecture
The Hadamard conjecture is an unsolved problem in combinatorial matrix theory asserting that Hadamard matrices exist for every order that is a multiple of four.
E334040 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: Hadamard conjecture | Statement: [Hadamard matrix, hasConjecture, Hadamard conjecture]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Hadamard conjecture
Context triple: [Hadamard matrix, hasConjecture, Hadamard conjecture]
  • A. Hadamard matrices
    Hadamard matrices are square matrices with entries ±1 whose rows are mutually orthogonal, playing a key role in combinatorics, coding theory, and signal processing.
  • B. Alon–Tarsi conjecture
    The Alon–Tarsi conjecture is a prominent open problem in combinatorics and graph theory concerning orientations and colorings of graphs, with deep connections to Latin squares and polynomial method techniques.
  • C. Conway's 99-graph problem
    Conway's 99-graph problem is an unsolved combinatorial question in graph theory, posed by John H. Conway, concerning the existence and properties of a hypothetical 99-vertex graph with highly constrained adjacency conditions.
  • D. Bieberbach conjecture
    The Bieberbach conjecture, now a theorem, is a landmark result in complex analysis that characterizes the size of Taylor coefficients of normalized univalent (injective) holomorphic functions on the unit disk.
  • E. Erdős–Turán conjecture
    The Erdős–Turán conjecture is an unsolved problem in additive number theory asserting that any subset of the positive integers with divergent sum of reciprocals must contain arbitrarily long arithmetic progressions.
  • 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: Hadamard conjecture
Triple: [Hadamard matrix, hasConjecture, Hadamard conjecture]
Generated description
The Hadamard conjecture is an unsolved problem in combinatorial matrix theory asserting that Hadamard matrices exist for every order that is a multiple of four.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Hadamard conjecture
Target entity description: The Hadamard conjecture is an unsolved problem in combinatorial matrix theory asserting that Hadamard matrices exist for every order that is a multiple of four.
  • A. Hadamard matrices chosen
    Hadamard matrices are square matrices with entries ±1 whose rows are mutually orthogonal, playing a key role in combinatorics, coding theory, and signal processing.
  • B. Alon–Tarsi conjecture
    The Alon–Tarsi conjecture is a prominent open problem in combinatorics and graph theory concerning orientations and colorings of graphs, with deep connections to Latin squares and polynomial method techniques.
  • C. Conway's 99-graph problem
    Conway's 99-graph problem is an unsolved combinatorial question in graph theory, posed by John H. Conway, concerning the existence and properties of a hypothetical 99-vertex graph with highly constrained adjacency conditions.
  • D. Bieberbach conjecture
    The Bieberbach conjecture, now a theorem, is a landmark result in complex analysis that characterizes the size of Taylor coefficients of normalized univalent (injective) holomorphic functions on the unit disk.
  • E. Erdős–Turán conjecture
    The Erdős–Turán conjecture is an unsolved problem in additive number theory asserting that any subset of the positive integers with divergent sum of reciprocals must contain arbitrarily long arithmetic progressions.
  • F. None of above.

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_69d81c5dd2d48190b7a5fc1e009de936 completed April 9, 2026, 9:38 p.m.
NER Named-entity recognition batch_69de23a741908190bdf46d76c5f1411a completed April 14, 2026, 11:23 a.m.
NED1 Entity disambiguation (via context triple) batch_69f7c71ca8a881908ac02687fbfe62fb completed May 3, 2026, 10:07 p.m.
NEDg Description generation batch_69f7c7e1247481908073c1e282c3619f completed May 3, 2026, 10:10 p.m.
NED2 Entity disambiguation (via description) batch_69f7c8f2b5588190b6143d676eb648a0 completed May 3, 2026, 10:15 p.m.
Created at: April 9, 2026, 10:15 p.m.