Paper Citation Record · LEDGER

LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis

As of 13 August 2026, this Paper Citation Record lists 15 of 15 outbound references and 0 inbound Pith citation observations for arXiv:2607.28632.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.28632 v1

Coverage vector

measured 15 of 15 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-03T00:54:45.567284Z

measured 15 of 15 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

15 of 15 outbound references displayed

verified exact0
verified fuzzy0
unresolved15
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation ea673a81-74bf-4d23-a7e2-446ca0602281 · outbound

This paper cites Lean-ing on Quality: How High-Quality Data Beats Diverse Multilingual Data in AutoFormalization.

LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis Lean-ing on Quality: How High-Quality Data Beats Diverse Multilingual Data in AutoFormalization

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-03T00:54:44.275353Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e643cb0-bcf2-4956-be07-f248ce6566b3 · outbound

This paper cites PatternBoost: Constructions in Mathematics with a Little Help from AI.

LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis PatternBoost: Constructions in Mathematics with a Little Help from AI

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T00:54:44.345214Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6cea296-cc93-46be-88ab-5338164d488b · outbound

This paper cites Mathematical exploration and discovery at scale.

LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis Mathematical exploration and discovery at scale

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-03T00:54:44.668481Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd589e41-945c-4fab-8ae2-3dfd7531c68b · outbound

This paper cites Towards an AI co-scientist.

LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis Towards an AI co-scientist

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-03T00:54:44.749092Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3775433a-4158-4b92-b073-34689a62734d · outbound

This paper cites The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery.

LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-03T00:54:44.919969Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4753efac-833b-410c-921a-5ab87041db00 · outbound

This paper cites LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving.

LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-03T00:54:45.093419Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 81f4c240-3a8f-484f-97a2-824b4feb9f6b · outbound

This paper cites minif2f lean re- visited reviewing limitations and charting a path forward.

LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis minif2f lean re- visited reviewing limitations and charting a path forward

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-03T00:54:45.220759Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37ce9808-6799-40f6-bb51-c03e1ec9c157 · outbound

This paper cites Advancing Geometry with AI: Multi-agent Generation of Polytopes.

LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis Advancing Geometry with AI: Multi-agent Generation of Polytopes

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-03T00:54:45.290298Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 86ef7331-4dac-4b56-a8e4-601f10825e24 · outbound

This paper cites Constructions in combinatorics via neural networks.

LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis Constructions in combinatorics via neural networks

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-03T00:54:45.358699Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac4ab369-44d0-4a5e-b6b4-7ecd6fc2a496 · outbound

This paper cites DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data.

LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-03T00:54:45.503858Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 829960a9-5a56-4eee-a327-f17c4f2c250d · outbound

This paper cites TheoremLlama: Transforming general-purpose LLMs into lean4 experts.

LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis TheoremLlama: Transforming general-purpose LLMs into lean4 experts

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-03T00:54:45.434621Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9c6dc8b-e124-4081-9eb0-3419b8d9c17d · outbound

This paper cites FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models.

LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-03T00:54:45.567284Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eeac6e89-c7b3-40eb-a8d0-a7a49b675785 · outbound

This paper cites Auto-Discovery-Bench: Diagnosing Structured State Tracking in Oracle-Guided Discovery.

LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis Auto-Discovery-Bench: Diagnosing Structured State Tracking in Oracle-Guided Discovery

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-03T00:54:44.551140Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d557bc86-206a-4ecb-87d0-fa6ea68a43b6 · outbound

This paper cites K., Cucerzan, S., and Hwang, S.

LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis K., Cucerzan, S., and Hwang, S

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-03T00:54:44.221851Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d78683a4-bc89-43cc-beec-16f8d43226c3 · outbound

This paper cites The AI Scientist-v2: Workshop-Level Automated Scientific Discovery via Agentic Tree Search.

LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis The AI Scientist-v2: Workshop-Level Automated Scientific Discovery via Agentic Tree Search

Reference 2026

Resolution: unresolved; no resolver link, observed 2026-08-03T00:54:45.551036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.