Triple
T17671652
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Benedict Gross |
E440533
|
entity |
| Predicate | notableWork |
P4
|
FINISHED |
| Object | Gross–Prasad conjecture |
—
|
NE NERFINISHED |
How this triple was built (3 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: Gross–Prasad conjecture | Statement: [Benedict Gross, notableWork, Gross–Prasad conjecture]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Gross–Prasad conjecture Context triple: [Benedict Gross, notableWork, Gross–Prasad conjecture]
-
A.
Paley–Wiener theorem for real reductive groups
The Paley–Wiener theorem for real reductive groups is a fundamental result in harmonic analysis that characterizes the image of compactly supported smooth functions under the group Fourier transform in terms of holomorphic functions with specific growth and support conditions.
-
B.
Langlands program
The Langlands program is a far-reaching web of conjectures and theories in number theory and representation theory that seeks deep connections between Galois groups and automorphic forms, unifying many areas of modern mathematics.
-
C.
Automorphic Forms and Representations
Automorphic Forms and Representations is a foundational mathematical monograph that develops the theory of automorphic forms and their connections to representation theory and number theory.
-
D.
Hodge–Riemann bilinear relations
The Hodge–Riemann bilinear relations are fundamental positivity and orthogonality conditions on the intersection form in Hodge theory that underpin results such as the hard Lefschetz theorem and the Hodge index theorem.
-
E.
Fontaine–Mazur conjecture
The Fontaine–Mazur conjecture is a central open problem in number theory that predicts which p-adic Galois representations of number fields arise from geometry or from automorphic forms.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Gross–Prasad conjecture Target entity description: The Gross–Prasad conjecture is a set of deep conjectures in number theory and representation theory that predict precise relationships between branching laws of automorphic representations and special values of L-functions.
-
A.
Paley–Wiener theorem for real reductive groups
The Paley–Wiener theorem for real reductive groups is a fundamental result in harmonic analysis that characterizes the image of compactly supported smooth functions under the group Fourier transform in terms of holomorphic functions with specific growth and support conditions.
-
B.
Langlands program
The Langlands program is a far-reaching web of conjectures and theories in number theory and representation theory that seeks deep connections between Galois groups and automorphic forms, unifying many areas of modern mathematics.
-
C.
Automorphic Forms and Representations
Automorphic Forms and Representations is a foundational mathematical monograph that develops the theory of automorphic forms and their connections to representation theory and number theory.
-
D.
Hodge–Riemann bilinear relations
The Hodge–Riemann bilinear relations are fundamental positivity and orthogonality conditions on the intersection form in Hodge theory that underpin results such as the hard Lefschetz theorem and the Hodge index theorem.
-
E.
Fontaine–Mazur conjecture
The Fontaine–Mazur conjecture is a central open problem in number theory that predicts which p-adic Galois representations of number fields arise from geometry or from automorphic forms.
- F. None of above. chosen
Provenance (2 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_69d8b9e87e18819087104a44dc4dc5b1 |
completed | April 10, 2026, 8:50 a.m. |
| NER | Named-entity recognition | batch_69e46f69b11c8190b09add33f81776b3 |
completed | April 19, 2026, 6 a.m. |
Created at: April 10, 2026, 9:59 a.m.