{"as_of":"2026-08-13T22:03:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:261e77153543ae313b9982dfa1643e3b7a4286305dee9bc5786f917a19c68590","coverage":[{"denominator":15,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":15,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T00:54:45.567284Z","state":"measured"},{"denominator":15,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":15,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.28632/citation-record","integrity":"/paper/2607.28632/integrity","json":"/paper/2607.28632/citation-record.json","paper":"/paper/2607.28632"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2502.15795","last_updated":"2025-02-18T19:16:54Z","snapshot_observed_at":"2026-08-12T19:14:08.705630Z","submitted_at":"2025-02-18T19:16:54Z","title":"Lean-ing on Quality: How High-Quality Data Beats Diverse Multilingual Data in AutoFormalization","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.15795","snapshot_observed_at":"2026-08-03T00:54:44.275353Z","title":"Lean- ing on quality how high quality data beats diverse multilingual data in autoformalization.arXiv preprint arXiv:2502.15795,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28632","last_updated":"2026-04-19T11:13:41Z","snapshot_observed_at":"2026-08-11T17:36:38.333162Z","submitted_at":"2026-04-19T11:13:41Z","title":"LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-03T00:54:44.275353Z"},"links":{"cited_paper":"/paper/2502.15795","citing_paper":"/paper/2607.28632"},"observation_digest":"sha256:301de5057ec0074352e6e23716e185123974dff35b438b3eeb2d4e0e29007612","observation_id":"ea673a81-74bf-4d23-a7e2-446ca0602281","resolution":{"observed_at":"2026-08-03T00:54:44.275353Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.00566","last_updated":"2024-11-01T13:23:58Z","snapshot_observed_at":"2026-08-12T22:09:46.096221Z","submitted_at":"2024-11-01T13:23:58Z","title":"PatternBoost: Constructions in Mathematics with a Little Help from AI","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.00566","snapshot_observed_at":"2026-08-03T00:54:44.345214Z","title":"S., Wagner, A","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28632","last_updated":"2026-04-19T11:13:41Z","snapshot_observed_at":"2026-08-11T17:36:38.333162Z","submitted_at":"2026-04-19T11:13:41Z","title":"LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-03T00:54:44.345214Z"},"links":{"cited_paper":"/paper/2411.00566","citing_paper":"/paper/2607.28632"},"observation_digest":"sha256:d15e4f180d745e6c5db318e6f8bfdc2213c785a7a4c24aa1d844bb3069c49fc7","observation_id":"9e643cb0-bcf2-4956-be07-f248ce6566b3","resolution":{"observed_at":"2026-08-03T00:54:44.345214Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2511.02864","last_updated":"2025-12-22T12:49:01Z","snapshot_observed_at":"2026-08-07T08:27:55.662438Z","submitted_at":"2025-11-03T16:04:07Z","title":"Mathematical exploration and discovery at scale","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2511.02864","snapshot_observed_at":"2026-08-03T00:54:44.668481Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28632","last_updated":"2026-04-19T11:13:41Z","snapshot_observed_at":"2026-08-11T17:36:38.333162Z","submitted_at":"2026-04-19T11:13:41Z","title":"LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-03T00:54:44.668481Z"},"links":{"cited_paper":"/paper/2511.02864","citing_paper":"/paper/2607.28632"},"observation_digest":"sha256:4668312b491cf32947c6a2b33dd6876aabd08913d44fc5bdd681c34d7be8efee","observation_id":"b6cea296-cc93-46be-88ab-5338164d488b","resolution":{"observed_at":"2026-08-03T00:54:44.668481Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.18864","last_updated":"2025-02-26T06:17:13Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-02-26T06:17:13Z","title":"Towards an AI co-scientist","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.18864","snapshot_observed_at":"2026-08-03T00:54:44.749092Z","title":"H., Daryin, A., et al","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28632","last_updated":"2026-04-19T11:13:41Z","snapshot_observed_at":"2026-08-11T17:36:38.333162Z","submitted_at":"2026-04-19T11:13:41Z","title":"LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-03T00:54:44.749092Z"},"links":{"cited_paper":"/paper/2502.18864","citing_paper":"/paper/2607.28632"},"observation_digest":"sha256:bb84e481c07e47fd11e278dfb9e5a05ed556a7860b0e3728394fc247363df444","observation_id":"cd589e41-945c-4fab-8ae2-3dfd7531c68b","resolution":{"observed_at":"2026-08-03T00:54:44.749092Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.06292","last_updated":"2024-09-01T00:41:18Z","snapshot_observed_at":"2026-07-06T18:59:43.564435Z","submitted_at":"2024-08-12T16:58:11Z","title":"The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.06292","snapshot_observed_at":"2026-08-03T00:54:44.919969Z","title":"T., et al","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28632","last_updated":"2026-04-19T11:13:41Z","snapshot_observed_at":"2026-08-11T17:36:38.333162Z","submitted_at":"2026-04-19T11:13:41Z","title":"LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-03T00:54:44.919969Z"},"links":{"cited_paper":"/paper/2408.06292","citing_paper":"/paper/2607.28632"},"observation_digest":"sha256:c60e07c48414f0014045f32798bd97346d217a38c6064b513f84ab36782f0be8","observation_id":"3775433a-4158-4b92-b073-34689a62734d","resolution":{"observed_at":"2026-08-03T00:54:44.919969Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.22005","last_updated":"2025-06-27T08:17:18Z","snapshot_observed_at":"2026-08-13T08:08:55.921390Z","submitted_at":"2025-06-27T08:17:18Z","title":"LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.22005","snapshot_observed_at":"2026-08-03T00:54:45.093419Z","title":"Leanconjecturer automatic generation of mathematical conjectures for theorem proving.arXiv preprint arXiv:2506.22005,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28632","last_updated":"2026-04-19T11:13:41Z","snapshot_observed_at":"2026-08-11T17:36:38.333162Z","submitted_at":"2026-04-19T11:13:41Z","title":"LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-03T00:54:45.093419Z"},"links":{"cited_paper":"/paper/2506.22005","citing_paper":"/paper/2607.28632"},"observation_digest":"sha256:6cc1c55a17601e64cd77ea01fef10de91d11784db2b165788aa62cac1977486c","observation_id":"4753efac-833b-410c-921a-5ab87041db00","resolution":{"observed_at":"2026-08-03T00:54:45.093419Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:54:45.220759Z","title":"minif2f lean re- visited reviewing limitations and charting a path forward","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28632","last_updated":"2026-04-19T11:13:41Z","snapshot_observed_at":"2026-08-11T17:36:38.333162Z","submitted_at":"2026-04-19T11:13:41Z","title":"LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-03T00:54:45.220759Z"},"links":{"citing_paper":"/paper/2607.28632"},"observation_digest":"sha256:fba722af16e7981fd838ca363c4ab90490156b085c6382a34bee89fffe95eb97","observation_id":"81f4c240-3a8f-484f-97a2-824b4feb9f6b","resolution":{"observed_at":"2026-08-03T00:54:45.220759Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.05199","last_updated":"2025-01-30T19:43:34Z","snapshot_observed_at":"2026-08-10T08:44:58.111811Z","submitted_at":"2025-01-30T19:43:34Z","title":"Advancing Geometry with AI: Multi-agent Generation of Polytopes","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.05199","snapshot_observed_at":"2026-08-03T00:54:45.290298Z","title":"Z., Williamson, G., et al","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28632","last_updated":"2026-04-19T11:13:41Z","snapshot_observed_at":"2026-08-11T17:36:38.333162Z","submitted_at":"2026-04-19T11:13:41Z","title":"LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-03T00:54:45.290298Z"},"links":{"cited_paper":"/paper/2502.05199","citing_paper":"/paper/2607.28632"},"observation_digest":"sha256:02ea92c1f3685aad97be4f8ef9f2448874128b9c24361b5b015cdff2c7bbe60c","observation_id":"37ce9808-6799-40f6-bb51-c03e1ec9c157","resolution":{"observed_at":"2026-08-03T00:54:45.290298Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2104.14516","last_updated":"2021-04-29T17:32:56Z","snapshot_observed_at":"2026-08-10T14:03:31.216755Z","submitted_at":"2021-04-29T17:32:56Z","title":"Constructions in combinatorics via neural networks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2104.14516","snapshot_observed_at":"2026-08-03T00:54:45.358699Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28632","last_updated":"2026-04-19T11:13:41Z","snapshot_observed_at":"2026-08-11T17:36:38.333162Z","submitted_at":"2026-04-19T11:13:41Z","title":"LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-03T00:54:45.358699Z"},"links":{"cited_paper":"/paper/2104.14516","citing_paper":"/paper/2607.28632"},"observation_digest":"sha256:1be1a7883aeed1c4ad1c481aece06d2cca9f2be84ba49a370ff8c9ecd9b929e8","observation_id":"86ef7331-4dac-4b56-a8e4-601f10825e24","resolution":{"observed_at":"2026-08-03T00:54:45.358699Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.14333","last_updated":"2024-05-23T09:03:42Z","snapshot_observed_at":"2026-08-13T00:00:48.229211Z","submitted_at":"2024-05-23T09:03:42Z","title":"DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.14333","snapshot_observed_at":"2026-08-03T00:54:45.503858Z","title":"Deepseek prover advancing theorem proving in llms through large scale synthetic data","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28632","last_updated":"2026-04-19T11:13:41Z","snapshot_observed_at":"2026-08-11T17:36:38.333162Z","submitted_at":"2026-04-19T11:13:41Z","title":"LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-03T00:54:45.503858Z"},"links":{"cited_paper":"/paper/2405.14333","citing_paper":"/paper/2607.28632"},"observation_digest":"sha256:8fe82c59927b93bad640cb147b5f0dfd135be6f286da8f9e1bee6d6782f6dfc0","observation_id":"ac4ab369-44d0-4a5e-b6b4-7ecd6fc2a496","resolution":{"observed_at":"2026-08-03T00:54:45.503858Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:54:45.434621Z","title":"TheoremLlama: Transforming general-purpose LLMs into lean4 experts","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28632","last_updated":"2026-04-19T11:13:41Z","snapshot_observed_at":"2026-08-11T17:36:38.333162Z","submitted_at":"2026-04-19T11:13:41Z","title":"LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis","version":1},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-03T00:54:45.434621Z"},"links":{"citing_paper":"/paper/2607.28632"},"observation_digest":"sha256:4689842f167de5a7606dc777d3f5cb82eb3ef0cd175f7833de614ed23a12be83","observation_id":"829960a9-5a56-4eee-a327-f17c4f2c250d","resolution":{"observed_at":"2026-08-03T00:54:45.434621Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.02735","last_updated":"2025-05-05T15:37:00Z","snapshot_observed_at":"2026-08-07T23:36:07.412083Z","submitted_at":"2025-05-05T15:37:00Z","title":"FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.02735","snapshot_observed_at":"2026-08-03T00:54:45.567284Z","title":"Formalmath benchmarking formal mathematical reasoning of large language models","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28632","last_updated":"2026-04-19T11:13:41Z","snapshot_observed_at":"2026-08-11T17:36:38.333162Z","submitted_at":"2026-04-19T11:13:41Z","title":"LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-03T00:54:45.567284Z"},"links":{"cited_paper":"/paper/2505.02735","citing_paper":"/paper/2607.28632"},"observation_digest":"sha256:98d95e07483221342812fa6a41c95038adcf8ad04aa9ee23b236bc0e8da94a73","observation_id":"b9c6dc8b-e124-4081-9eb0-3419b8d9c17d","resolution":{"observed_at":"2026-08-03T00:54:45.567284Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.15224","last_updated":"2026-05-29T09:49:21Z","snapshot_observed_at":"2026-08-07T17:59:49.245849Z","submitted_at":"2025-02-21T05:35:20Z","title":"Auto-Discovery-Bench: Diagnosing Structured State Tracking in Oracle-Guided Discovery","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.15224","snapshot_observed_at":"2026-08-03T00:54:44.551140Z","title":"Auto bench an auto- mated benchmark for scientific discovery in llms.arXiv preprint arXiv:2502.15224, 2025a","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28632","last_updated":"2026-04-19T11:13:41Z","snapshot_observed_at":"2026-08-11T17:36:38.333162Z","submitted_at":"2026-04-19T11:13:41Z","title":"LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-03T00:54:44.551140Z"},"links":{"cited_paper":"/paper/2502.15224","citing_paper":"/paper/2607.28632"},"observation_digest":"sha256:bcb54ef9eae9378bdcba7a1ce06af495c97428e45f402996f5ae8c7e4e525151","observation_id":"eeac6e89-c7b3-40eb-a8d0-a7a49b675785","resolution":{"observed_at":"2026-08-03T00:54:44.551140Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:54:44.221851Z","title":"K., Cucerzan, S., and Hwang, S","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.28632","last_updated":"2026-04-19T11:13:41Z","snapshot_observed_at":"2026-08-11T17:36:38.333162Z","submitted_at":"2026-04-19T11:13:41Z","title":"LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-03T00:54:44.221851Z"},"links":{"citing_paper":"/paper/2607.28632"},"observation_digest":"sha256:afbbad0d54b4dbf5bc01f71ba5436f432f3d87c4c1d3293d14181fee18dc56a9","observation_id":"d557bc86-206a-4ecb-87d0-fa6ea68a43b6","resolution":{"observed_at":"2026-08-03T00:54:44.221851Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.08066","last_updated":"2025-04-10T18:44:41Z","snapshot_observed_at":"2026-08-10T03:18:36.275195Z","submitted_at":"2025-04-10T18:44:41Z","title":"The AI Scientist-v2: Workshop-Level Automated Scientific Discovery via Agentic Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.08066","snapshot_observed_at":"2026-08-03T00:54:45.551036Z","title":"T., Lu, C., et al","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28632","last_updated":"2026-04-19T11:13:41Z","snapshot_observed_at":"2026-08-11T17:36:38.333162Z","submitted_at":"2026-04-19T11:13:41Z","title":"LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis","version":1},"reference_index":2026,"source":"pdf_text","source_observed_at":"2026-08-03T00:54:45.551036Z"},"links":{"cited_paper":"/paper/2504.08066","citing_paper":"/paper/2607.28632"},"observation_digest":"sha256:8dce2cfe2c634d3dab85d7343ca876a9032d4d2be9eb3bfc630cca1361039510","observation_id":"d78683a4-bc89-43cc-beec-16f8d43226c3","resolution":{"observed_at":"2026-08-03T00:54:45.551036Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.28632","last_updated":"2026-04-19T11:13:41Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-11T17:36:38.333162Z","submitted_at":"2026-04-19T11:13:41Z","title":"LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis"},"reference_resolution":{"displayed":15,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":15,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":15},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"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."}