{"schema_version":"source-reader-v1","record":{"source_id":"openai-milne-rationality","versions":[{"work":{"authors":["OpenAI"],"kind":"research_paper","publication":"preprint","publication_note":"Provider preprint in the October 2026 public collection. The selected manuscript is a proposal here; a release announcement is not independent expert acceptance.","ai_role":"self_reported","ai_note":"The provider attributes this manuscript to its internal AI model. Mathematical acceptance, paper-to-formal correspondence and independent reproduction are not established by OpenMath.","artifacts":[{"kind":"pdf","title":"OpenAI · proposed Milne rationality theorem — manuscript","url":"https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Milnes-rationality-conjecture-for-abelian-varieties-October-7-2026/paper.pdf","version":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","assessment":"not_executed","note":"External manuscript. No OpenMath proof execution, formalization or independent mathematical acceptance is inferred.","sha256":"640701a0ea8d8026d2f019e571e052f2d106cad3f5216cf6f7fca0d643873234"}],"published":{"value":"2026-10-07"}},"id":"openai-milne-rationality@git-fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","source_id":"openai-milne-rationality","title":"OpenAI · proposed Milne rationality theorem","owner":"OpenAI","url":"https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Milnes-rationality-conjecture-for-abelian-varieties-October-7-2026/paper.pdf","subject_scope":"OpenAI · proposed Milne rationality theorem","revision":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","content_sha256":"640701a0ea8d8026d2f019e571e052f2d106cad3f5216cf6f7fca0d643873234","update_method":"Manual primary-source revision check; changes require a new immutable source version.","identifier_policy":"Stable bibliographic identity, explicit revision and exact source-entry locators.","observed_on":"2026-10-10","source_updated_on":null,"rights":"metadata-link","license":"External full-text redistribution rights not asserted","terms_url":"https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Milnes-rationality-conjecture-for-abelian-varieties-October-7-2026/paper.pdf","attribution":"OpenAI","rights_note":"Only metadata and original OpenMath paraphrases are published; full text stays upstream.","check_interval_days":30}],"entries":[{"id":"hodge-conjecture:hodge-openai-milne:v1","source_version_id":"openai-milne-rationality@git-fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","item_id":"Theorem 1.1, PDF pages 1–2","url":"https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Milnes-rationality-conjecture-for-abelian-varieties-October-7-2026/paper.pdf","wording":"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.","wording_kind":"paraphrase","locator":"Theorem 1.1, PDF pages 1–2","supersedes":null}],"problems":[{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15}],"selected_version_id":"openai-milne-rationality@git-fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","available_versions":[{"id":"openai-milne-rationality@git-fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","revision":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","observed_on":"2026-10-10","title":"OpenAI · proposed Milne rationality theorem","publication":"preprint","content_sha256":"640701a0ea8d8026d2f019e571e052f2d106cad3f5216cf6f7fca0d643873234","used_in_current_publications":true}],"usages":[{"id":"source-use-f9f9d590bb5ca97442ac","entry_id":"hodge-conjecture:hodge-openai-milne:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"activity","title":"Company AI proposals: CM algebraicity and specialized rationality","claim":null,"fragment":"activity","assessment":null,"superseded":false,"formalization":null,"update":{"id":"hodge-openai-proposals","title":"Company AI proposals: CM algebraicity and specialized rationality","kind":"research_direction","source_entry_ids":["hodge-conjecture:hodge-openai-cm:v1","hodge-conjecture:hodge-openai-milne:v1"],"summary":"The October release proposes two distinct mathematical scopes: CM Hodge classes and rationality of pairings after good reduction.","limitation":"The original manuscripts are pinned and linked. Their dependencies, independent review and any formal correspondence remain unassessed; neither is promoted to established progress.","related_claim_ids":["claim-hodge-openai-cm-proposal","claim-hodge-openai-milne-proposal"]}},{"id":"source-use-ca9357b662a3efd543d6","entry_id":"hodge-conjecture:hodge-openai-milne:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"assessment","title":"Proposed source assertion awaiting assessment","claim":{"id":"claim-hodge-openai-milne-proposal","version":2,"slug":"hodge-openai-milne-proposal","title":"Proposed rationality of specialized Hodge pairings"},"fragment":"claim-hodge-openai-milne-proposal","assessment":{"id":"hodge-conjecture:hodge-openai-milne-proposal:report:v1","entry_id":"hodge-conjecture:hodge-openai-milne:v1","state":"proposed_solution","source_label":"Proposed source assertion awaiting assessment","scope":"Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Milnes-rationality-conjecture-for-abelian-varieties-October-7-2026/paper.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-a800172428b9e78065d1","entry_id":"hodge-conjecture:hodge-openai-milne:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"milestone","title":"A proposed rationality theorem after good reduction","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-3e62ac27492acc74176d","entry_id":"hodge-conjecture:hodge-openai-milne:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"question","title":"Hodge conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-df7bb92d0c43159b2ecb","entry_id":"hodge-conjecture:hodge-openai-milne:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"statement","title":"Proposed rationality of specialized Hodge pairings","claim":{"id":"claim-hodge-openai-milne-proposal","version":2,"slug":"hodge-openai-milne-proposal","title":"Proposed rationality of specialized Hodge pairings"},"fragment":"claim-hodge-openai-milne-proposal","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}