Reading source record fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb. View default cited record →
OpenAI · proposed Milne rationality theorem
Provider preprint in the October 2026 public collection. The selected manuscript is a proposal here; a release announcement is not independent expert acceptance.
1 cited passage ↓1 problem ↓Record fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb ↓
The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.
The provider claims that specialized rational Hodge classes pair with complementary products of divisors as one rational number in prime-to-p and crystalline realizations.
Passage ID: hodge-conjecture:hodge-openai-milne:v1
Source item: Theorem 1.1, PDF pages 1–2
Source record: openai-milne-rationality@git-fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb
Explicit citations in versioned problem publications. A citation records a use; it does not confer proof or independent verification.
Problem publication v15
Source assessment
Proposed
Proposed source assertion awaiting assessment
Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.
Observed Oct 10, 2026
Research activity
Company AI proposals: CM algebraicity and specialized rationality
The October release proposes two distinct mathematical scopes: CM Hodge classes and rationality of pairings after good reduction.
The original manuscripts are pinned and linked. Their dependencies, independent review and any formal correspondence remain unassessed; neither is promoted to established progress.
History
A proposed rationality theorem after good reduction
Linked manuscripts, code and data. External proof reports, statement correspondence and OpenMath execution are separate checks.
No OpenMath execution recorded
External manuscript. No OpenMath proof execution, formalization or independent mathematical acceptance is inferred.
Resource revision: fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb
SHA-256 for this linked file. A matching checksum identifies the same bytes; it does not assess the mathematics.
640701a0ea8d8026d2f019e571e052f2d106cad3f5216cf6f7fca0d643873234Recorded authorship
OpenAI
The provider attributes this manuscript to its internal AI model. Mathematical acceptance, paper-to-formal correspondence and independent reproduction are not established by OpenMath.
OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.
OpenAI · proposed Milne rationality theorem
Only metadata and original OpenMath paraphrases are published; full text stays upstream.
Source terms ↗