{"id":"e2e3433c1eb7ec68c41b26fc4dbb8e76b947200c65aa9a04fc0d92994b6f2702","title":"Yao, Wang and Zhang introduce OpenFrontiers for scientific rediscovery","argument":"Jiarui Yao, Ruida Wang and Tong Zhang introduce OpenFrontiers, combining a structured corpus of open research problems with a benchmark of resolved mathematics problems. The corpus records problem statements, context and progress for 12,151 problems. The benchmark has 200 problems: 110 resolved in 2026 and 90 still open, each with a Lean 4 statement checked by automated probes and two independent reviews. The authors evaluate seven LLM agents on the HQ-50 subset, grading formal proofs with two independent checkers in an isolated sandbox under closed-book, frozen-retrieval and live-web conditions. They report that closed-book rediscovery was rare, at most 7 of 40 resolved problems, while live-web success mostly reflected retrieval of published solutions. Escape Meridian interpretation: this contrast distinguishes finding a published solution from rediscovering one without access to it. The authors describe OpenFrontiers as a foundation for measuring research-level rediscovery and studying progress toward solving open scientific problems.","topicIds":["intelligence-and-discovery"],"domain":"science","claimType":"attributed reading","limits":"The evidence is the arXiv abstract; it does not provide the detailed evaluation results for each condition or agent. The abstract names frozen-retrieval as an evaluation condition but does not report its results.","speaker":{"name":"Yao, Jiarui, Wang, Ruida, Zhang, Tong","roleAtSource":"Article author"},"source":{"title":"OpenFrontiers: A Collection of Open Research Problems and a Benchmark for Scientific Rediscovery","publisher":"arXiv cs.AI","format":"Article","url":"https://arxiv.org/abs/2610.37739","publishedAt":"2026-10-27","dateBasis":"Date basis not provided."},"evidence":[{"text":"The authors introduce a resource combining a corpus of open research problems with a benchmark of recently resolved mathematics problems.","excerpt":"We introduce OpenFrontiers, a cross-disciplinary resource that combines a structured corpus of open research problems with a retrospective benchmark of recently resolved problems in mathematics.","url":"https://arxiv.org/abs/2610.37739","relationship":"Source-stated"},{"text":"The corpus records information for 12,151 problems; the benchmark contains 200 problems, with 110 resolved in 2026 and 90 still open.","excerpt":"The corpus records problem statements, context, progress, and other information for 12,151 problems. The benchmark contains 200 problems, 110 resolved in 2026 and 90 still open","url":"https://arxiv.org/abs/2610.37739","relationship":"Source-stated"},{"text":"The authors report that closed-book rediscovery was rare, while live-web success mostly reflected retrieval of published solutions.","excerpt":"closed-book rediscovery is rare, at most 7 of 40 resolved problems, whereas live-web success mostly reflects retrieval of published solutions.","url":"https://arxiv.org/abs/2610.37739","relationship":"Source-stated"},{"text":"The reported contrast distinguishes finding a published solution from rediscovering a result without access to it.","excerpt":"closed-book rediscovery is rare, at most 7 of 40 resolved problems, whereas live-web success mostly reflects retrieval of published solutions.","url":"https://arxiv.org/abs/2610.37739","relationship":"Escape Meridian interpretation"}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2610.37739","checkedAt":"2026-11-11T04:26:10.255Z","items":[],"note":"No suitable media was found by the supported page extraction."},"assumptions":[],"openQuestion":{"attribution":"Open question","text":"What results do the authors report for the frozen-retrieval condition, and how do they compare with the closed-book and live-web results?"},"whatWouldChangeView":{"attribution":"Change condition not recorded","text":""},"editorialComparisons":[],"live":{"title":"Yao, Wang and Zhang introduce OpenFrontiers for scientific rediscovery","summary":"Jiarui Yao, Ruida Wang and Tong Zhang introduce OpenFrontiers, combining a structured corpus of open research problems with a benchmark of resolved mathematics problems. The corpus records problem statements, context and progress for 12,151 problems. The benchmark has 200 problems: 110 resolved in 2026 and 90 still open, each with a Lean 4 statement checked by automated probes and two independent reviews. The authors evaluate seven LLM agents on the HQ-50 subset, grading formal proofs with two independent checkers in an isolated sandbox under closed-book, frozen-retrieval and live-web conditions. They report that closed-book rediscovery was rare, at most 7 of 40 resolved problems, while live-web success mostly reflected retrieval of published solutions. Escape Meridian interpretation: this contrast distinguishes finding a published solution from rediscovering one without access to it. The authors describe OpenFrontiers as a foundation for measuring research-level rediscovery and studying progress toward solving open scientific problems.","question":"What results do the authors report for the frozen-retrieval condition, and how do they compare with the closed-book and live-web results?","claims":[{"text":"The authors introduce a resource combining a corpus of open research problems with a benchmark of recently resolved mathematics problems.","excerpt":"We introduce OpenFrontiers, a cross-disciplinary resource that combines a structured corpus of open research problems with a retrospective benchmark of recently resolved problems in mathematics.","support":"source-stated"},{"text":"The corpus records information for 12,151 problems; the benchmark contains 200 problems, with 110 resolved in 2026 and 90 still open.","excerpt":"The corpus records problem statements, context, progress, and other information for 12,151 problems. The benchmark contains 200 problems, 110 resolved in 2026 and 90 still open","support":"source-stated"},{"text":"The authors report that closed-book rediscovery was rare, while live-web success mostly reflected retrieval of published solutions.","excerpt":"closed-book rediscovery is rare, at most 7 of 40 resolved problems, whereas live-web success mostly reflects retrieval of published solutions.","support":"source-stated"},{"text":"The reported contrast distinguishes finding a published solution from rediscovering a result without access to it.","excerpt":"closed-book rediscovery is rare, at most 7 of 40 resolved problems, whereas live-web success mostly reflects retrieval of published solutions.","support":"interpretation"}],"limitations":["The evidence is the arXiv abstract; it does not provide the detailed evaluation results for each condition or agent.","The abstract names frozen-retrieval as an evaluation condition but does not report its results."],"mediaId":"4131f32dcc0451ab084ca6ce9f56ebfdb9054063158d07911fdfda43a0a51446","correctionReason":null,"id":"e2e3433c1eb7ec68c41b26fc4dbb8e76b947200c65aa9a04fc0d92994b6f2702","publicationId":"4852ea8e-cceb-48af-8130-dc78a4f196f0","version":1,"sourceUrl":"https://arxiv.org/abs/2610.37739","sourceTitle":"OpenFrontiers: A Collection of Open Research Problems and a Benchmark for Scientific Rediscovery","publisher":"arXiv cs.AI","publishedAt":null,"originalPublished":{"value":"2026-10-27","precision":"day","basis":"publisher_citation_date"},"firstObservedAt":"2026-10-30T06:42:50.771Z","createdAt":"2026-11-11T03:55:16.982Z","historical":true,"entityIds":["arxiv"],"topicIds":["intelligence-and-discovery"],"media":[{"id":"4131f32dcc0451ab084ca6ce9f56ebfdb9054063158d07911fdfda43a0a51446","kind":"article","url":"https://arxiv.org/abs/2610.37739","sourceUrl":"https://arxiv.org/abs/2610.37739","label":"Read original","provenance":"source_link","verification":{"status":"verified","checkedAt":"2026-10-31T11:47:21.469Z","method":"acquired_source","contentType":"text/html"},"recommendationReason":"Recommended by Jev for understanding this source; checked by Luna."}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2610.37739","checkedAt":"2026-11-11T04:26:10.255Z","items":[],"note":"No suitable media was found by the supported page extraction."},"editorialDecision":{"outcome":"accept","reasonCodes":["material_development"],"rubricVersion":"stream-admission-v5","mediaId":"4131f32dcc0451ab084ca6ce9f56ebfdb9054063158d07911fdfda43a0a51446","confidence":0.78,"provider":"typesafe","model":"jev-1.13.0","inputHash":"7a5932f69a2aa16dba26a11013c8867814bf14d5ed4aa6c904ea70e21c0e74fd","decidedAt":"2026-10-31T11:47:23.671Z","redecided":{"from":"stream-admission-v5","under":"stream-admission-v5+confidence-0.5"}},"provenance":{"textHash":"31958c758dac15b0c0459f619fca5ab10410b258d9c37b1b5d1d7cd419a3e18a","observationId":"fe001a2e2542b9d3cb5eaf7ed638586b7593198d42392973fc530d467607fc32","retrievedAt":"2026-10-31T11:47:21.230Z","kind":"publisher-page","preparer":{"model":"gpt-6-luna","runId":"e92f3769-d67f-4a43-8a71-a52cc394e46d"},"reviewer":{"model":"gpt-6-luna","runId":"cb7e91ff-45f6-48e8-8600-b2854b260208"}},"audit":{"status":"uncertain","reviewedAt":"2026-11-11T03:55:16.982Z","model":"anthropic/claude-opus-5.5"},"sourceAttribution":{"authors":[{"name":"Yao, Jiarui","url":null,"kind":"unknown"},{"name":"Wang, Ruida","url":null,"kind":"unknown"},{"name":"Zhang, Tong","url":null,"kind":"unknown"}],"authorRole":"article-author","hosts":[],"status":"stated","authorRoster":{"truncated":false,"omitted":0,"assertionGroupsOmitted":0},"participation":[{"actor":{"name":"Yao, Jiarui","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Yao, Jiarui","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2610.37739","locator":"head/meta[name=author|citation_author]"},"assertionId":"cb704a3f7f72456052df98da04b647ad7b24864ad4e8b83ec265b8d362652176:participation:0","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-11T04:26:10.255Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"cb704a3f7f72456052df98da04b647ad7b24864ad4e8b83ec265b8d362652176","sourceUrl":"https://arxiv.org/abs/2610.37739","contentSha256":"54b1c1719e4033911de8325b4c4b7bb423ab04b5cffe85648c0b118e51dab53e","textHash":"31958c758dac15b0c0459f619fca5ab10410b258d9c37b1b5d1d7cd419a3e18a","observedAt":"2026-11-11T04:26:10.255Z"}},{"actor":{"name":"Wang, Ruida","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Wang, Ruida","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2610.37739","locator":"head/meta[name=author|citation_author]"},"assertionId":"cb704a3f7f72456052df98da04b647ad7b24864ad4e8b83ec265b8d362652176:participation:1","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-11T04:26:10.255Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"cb704a3f7f72456052df98da04b647ad7b24864ad4e8b83ec265b8d362652176","sourceUrl":"https://arxiv.org/abs/2610.37739","contentSha256":"54b1c1719e4033911de8325b4c4b7bb423ab04b5cffe85648c0b118e51dab53e","textHash":"31958c758dac15b0c0459f619fca5ab10410b258d9c37b1b5d1d7cd419a3e18a","observedAt":"2026-11-11T04:26:10.255Z"}},{"actor":{"name":"Zhang, Tong","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Zhang, Tong","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2610.37739","locator":"head/meta[name=author|citation_author]"},"assertionId":"cb704a3f7f72456052df98da04b647ad7b24864ad4e8b83ec265b8d362652176:participation:2","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-11T04:26:10.255Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"cb704a3f7f72456052df98da04b647ad7b24864ad4e8b83ec265b8d362652176","sourceUrl":"https://arxiv.org/abs/2610.37739","contentSha256":"54b1c1719e4033911de8325b4c4b7bb423ab04b5cffe85648c0b118e51dab53e","textHash":"31958c758dac15b0c0459f619fca5ab10410b258d9c37b1b5d1d7cd419a3e18a","observedAt":"2026-11-11T04:26:10.255Z"}}],"participationCoverage":{"total":3,"returned":3,"complete":true,"fullAssertions":"source-metadata-endpoint"},"distribution":null,"publisher":null,"sourceUrl":"https://arxiv.org/abs/2610.37739","snapshotId":"cb704a3f7f72456052df98da04b647ad7b24864ad4e8b83ec265b8d362652176","contentSha256":"54b1c1719e4033911de8325b4c4b7bb423ab04b5cffe85648c0b118e51dab53e","textHash":"31958c758dac15b0c0459f619fca5ab10410b258d9c37b1b5d1d7cd419a3e18a","observedAt":"2026-11-11T04:26:10.255Z","basis":"publisher-page-metadata","sourceLinks":44,"linksTruncated":false,"metadataUrl":"/api/pipeline/stream/e2e3433c1eb7ec68c41b26fc4dbb8e76b947200c65aa9a04fc0d92994b6f2702/source"}},"canonicalUrl":"https://escapemeridian.com/readings/yao-wang-and-zhang-introduce-openfrontiers-for-scientific-e2e3433c","formats":{"html":"/readings/yao-wang-and-zhang-introduce-openfrontiers-for-scientific-e2e3433c","markdown":"/readings/yao-wang-and-zhang-introduce-openfrontiers-for-scientific-e2e3433c.md","json":"/readings/yao-wang-and-zhang-introduce-openfrontiers-for-scientific-e2e3433c.json"},"attribution":"Headline and summary by Escape Meridian, prepared by Luna from the attributed source. A source check is not independent confirmation of the source’s claims.","maintainedGuideLinks":[],"readerContext":{"version":"reader-context-v1","attribution":"Reference context selected by Escape Meridian; separate from source evidence. Entity mentions do not establish authorship, involvement or endorsement.","terms":[{"id":"term-benchmark","name":"Benchmark","explanation":"A defined set of tests used to compare systems. Results depend on the tasks and measures selected.","referenceUrl":"https://arxiv.org/abs/2211.09110"},{"id":"term-llm","name":"Large language model","explanation":"A language model with many learned numerical settings, used to process and generate language.","referenceUrl":"https://developers.google.com/machine-learning/glossary#large-language-model"}],"entities":[{"id":"arxiv","name":"arXiv","kind":"organization","context":"arXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed.","referenceUrls":["https://arxiv.org/","https://info.arxiv.org/help/api/index.html"],"path":"/entities/arxiv","json":"/entities/arxiv.json","markdown":"/entities/arxiv.md"},{"id":"lean","name":"Lean","kind":"concept","context":"Lean is a programming language and proof assistant used to express mathematical statements and check formal proofs.","referenceUrls":["https://lean-lang.org/","https://lean-lang.org/theorem_proving_in_lean4/Axioms-and-Computation/"],"path":"/entities/lean","json":"/entities/lean.json","markdown":"/entities/lean.md"}]},"researchQuestions":[],"withdrawn":false,"references":{"schemaVersion":1,"target":{"type":"reading","id":"e2e3433c1eb7ec68c41b26fc4dbb8e76b947200c65aa9a04fc0d92994b6f2702","revision":"4852ea8e-cceb-48af-8130-dc78a4f196f0","revisionKind":"publication-id","title":"Yao, Wang and Zhang introduce OpenFrontiers for scientific rediscovery","url":"https://escapemeridian.com/readings/yao-wang-and-zhang-introduce-openfrontiers-for-scientific-e2e3433c"},"source":{"type":"source","id":"https://arxiv.org/abs/2610.37739","revision":"31958c758dac15b0c0459f619fca5ab10410b258d9c37b1b5d1d7cd419a3e18a","revisionKind":"sha256-source-text","title":"OpenFrontiers: A Collection of Open Research Problems and a Benchmark for Scientific Rediscovery","url":"https://arxiv.org/abs/2610.37739"},"status":"available","items":[],"next":null,"scope":"Explicit citations in public readings and public file attachments to this reading. Shared topics are not citations. Other artifact types need an explicit reference adapter."},"revisions":[{"id":"e2e3433c1eb7ec68c41b26fc4dbb8e76b947200c65aa9a04fc0d92994b6f2702","title":"Yao, Wang and Zhang introduce OpenFrontiers for scientific rediscovery","argument":"Jiarui Yao, Ruida Wang and Tong Zhang introduce OpenFrontiers, combining a structured corpus of open research problems with a benchmark of resolved mathematics problems. The corpus records problem statements, context and progress for 12,151 problems. The benchmark has 200 problems: 110 resolved in 2026 and 90 still open, each with a Lean 4 statement checked by automated probes and two independent reviews. The authors evaluate seven LLM agents on the HQ-50 subset, grading formal proofs with two independent checkers in an isolated sandbox under closed-book, frozen-retrieval and live-web conditions. They report that closed-book rediscovery was rare, at most 7 of 40 resolved problems, while live-web success mostly reflected retrieval of published solutions. Escape Meridian interpretation: this contrast distinguishes finding a published solution from rediscovering one without access to it. The authors describe OpenFrontiers as a foundation for measuring research-level rediscovery and studying progress toward solving open scientific problems.","topicIds":["intelligence-and-discovery"],"domain":"science","claimType":"attributed reading","limits":"The evidence is the arXiv abstract; it does not provide the detailed evaluation results for each condition or agent. The abstract names frozen-retrieval as an evaluation condition but does not report its results.","speaker":{"name":"Yao, Jiarui, Wang, Ruida, Zhang, Tong","roleAtSource":"Article author"},"source":{"title":"OpenFrontiers: A Collection of Open Research Problems and a Benchmark for Scientific Rediscovery","publisher":"arXiv cs.AI","format":"Article","url":"https://arxiv.org/abs/2610.37739","publishedAt":"2026-10-27","dateBasis":"Date basis not provided."},"evidence":[{"text":"The authors introduce a resource combining a corpus of open research problems with a benchmark of recently resolved mathematics problems.","excerpt":"We introduce OpenFrontiers, a cross-disciplinary resource that combines a structured corpus of open research problems with a retrospective benchmark of recently resolved problems in mathematics.","url":"https://arxiv.org/abs/2610.37739","relationship":"Source-stated"},{"text":"The corpus records information for 12,151 problems; the benchmark contains 200 problems, with 110 resolved in 2026 and 90 still open.","excerpt":"The corpus records problem statements, context, progress, and other information for 12,151 problems. The benchmark contains 200 problems, 110 resolved in 2026 and 90 still open","url":"https://arxiv.org/abs/2610.37739","relationship":"Source-stated"},{"text":"The authors report that closed-book rediscovery was rare, while live-web success mostly reflected retrieval of published solutions.","excerpt":"closed-book rediscovery is rare, at most 7 of 40 resolved problems, whereas live-web success mostly reflects retrieval of published solutions.","url":"https://arxiv.org/abs/2610.37739","relationship":"Source-stated"},{"text":"The reported contrast distinguishes finding a published solution from rediscovering a result without access to it.","excerpt":"closed-book rediscovery is rare, at most 7 of 40 resolved problems, whereas live-web success mostly reflects retrieval of published solutions.","url":"https://arxiv.org/abs/2610.37739","relationship":"Escape Meridian interpretation"}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2610.37739","checkedAt":"2026-11-11T04:26:10.255Z","items":[],"note":"No suitable media was found by the supported page extraction."},"assumptions":[],"openQuestion":{"attribution":"Open question","text":"What results do the authors report for the frozen-retrieval condition, and how do they compare with the closed-book and live-web results?"},"whatWouldChangeView":{"attribution":"Change condition not recorded","text":""},"editorialComparisons":[],"live":{"title":"Yao, Wang and Zhang introduce OpenFrontiers for scientific rediscovery","summary":"Jiarui Yao, Ruida Wang and Tong Zhang introduce OpenFrontiers, combining a structured corpus of open research problems with a benchmark of resolved mathematics problems. The corpus records problem statements, context and progress for 12,151 problems. The benchmark has 200 problems: 110 resolved in 2026 and 90 still open, each with a Lean 4 statement checked by automated probes and two independent reviews. The authors evaluate seven LLM agents on the HQ-50 subset, grading formal proofs with two independent checkers in an isolated sandbox under closed-book, frozen-retrieval and live-web conditions. They report that closed-book rediscovery was rare, at most 7 of 40 resolved problems, while live-web success mostly reflected retrieval of published solutions. Escape Meridian interpretation: this contrast distinguishes finding a published solution from rediscovering one without access to it. The authors describe OpenFrontiers as a foundation for measuring research-level rediscovery and studying progress toward solving open scientific problems.","question":"What results do the authors report for the frozen-retrieval condition, and how do they compare with the closed-book and live-web results?","claims":[{"text":"The authors introduce a resource combining a corpus of open research problems with a benchmark of recently resolved mathematics problems.","excerpt":"We introduce OpenFrontiers, a cross-disciplinary resource that combines a structured corpus of open research problems with a retrospective benchmark of recently resolved problems in mathematics.","support":"source-stated"},{"text":"The corpus records information for 12,151 problems; the benchmark contains 200 problems, with 110 resolved in 2026 and 90 still open.","excerpt":"The corpus records problem statements, context, progress, and other information for 12,151 problems. The benchmark contains 200 problems, 110 resolved in 2026 and 90 still open","support":"source-stated"},{"text":"The authors report that closed-book rediscovery was rare, while live-web success mostly reflected retrieval of published solutions.","excerpt":"closed-book rediscovery is rare, at most 7 of 40 resolved problems, whereas live-web success mostly reflects retrieval of published solutions.","support":"source-stated"},{"text":"The reported contrast distinguishes finding a published solution from rediscovering a result without access to it.","excerpt":"closed-book rediscovery is rare, at most 7 of 40 resolved problems, whereas live-web success mostly reflects retrieval of published solutions.","support":"interpretation"}],"limitations":["The evidence is the arXiv abstract; it does not provide the detailed evaluation results for each condition or agent.","The abstract names frozen-retrieval as an evaluation condition but does not report its results."],"mediaId":"4131f32dcc0451ab084ca6ce9f56ebfdb9054063158d07911fdfda43a0a51446","correctionReason":null,"id":"e2e3433c1eb7ec68c41b26fc4dbb8e76b947200c65aa9a04fc0d92994b6f2702","publicationId":"4852ea8e-cceb-48af-8130-dc78a4f196f0","version":1,"sourceUrl":"https://arxiv.org/abs/2610.37739","sourceTitle":"OpenFrontiers: A Collection of Open Research Problems and a Benchmark for Scientific Rediscovery","publisher":"arXiv cs.AI","publishedAt":null,"originalPublished":{"value":"2026-10-27","precision":"day","basis":"publisher_citation_date"},"firstObservedAt":"2026-10-30T06:42:50.771Z","createdAt":"2026-11-11T03:55:16.982Z","historical":true,"entityIds":["arxiv"],"topicIds":["intelligence-and-discovery"],"media":[{"id":"4131f32dcc0451ab084ca6ce9f56ebfdb9054063158d07911fdfda43a0a51446","kind":"article","url":"https://arxiv.org/abs/2610.37739","sourceUrl":"https://arxiv.org/abs/2610.37739","label":"Read original","provenance":"source_link","verification":{"status":"verified","checkedAt":"2026-10-31T11:47:21.469Z","method":"acquired_source","contentType":"text/html"},"recommendationReason":"Recommended by Jev for understanding this source; checked by Luna."}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2610.37739","checkedAt":"2026-11-11T04:26:10.255Z","items":[],"note":"No suitable media was found by the supported page extraction."},"editorialDecision":{"outcome":"accept","reasonCodes":["material_development"],"rubricVersion":"stream-admission-v5","mediaId":"4131f32dcc0451ab084ca6ce9f56ebfdb9054063158d07911fdfda43a0a51446","confidence":0.78,"provider":"typesafe","model":"jev-1.13.0","inputHash":"7a5932f69a2aa16dba26a11013c8867814bf14d5ed4aa6c904ea70e21c0e74fd","decidedAt":"2026-10-31T11:47:23.671Z","redecided":{"from":"stream-admission-v5","under":"stream-admission-v5+confidence-0.5"}},"provenance":{"textHash":"31958c758dac15b0c0459f619fca5ab10410b258d9c37b1b5d1d7cd419a3e18a","observationId":"fe001a2e2542b9d3cb5eaf7ed638586b7593198d42392973fc530d467607fc32","retrievedAt":"2026-10-31T11:47:21.230Z","kind":"publisher-page","preparer":{"model":"gpt-6-luna","runId":"e92f3769-d67f-4a43-8a71-a52cc394e46d"},"reviewer":{"model":"gpt-6-luna","runId":"cb7e91ff-45f6-48e8-8600-b2854b260208"}},"audit":{"status":"uncertain","reviewedAt":"2026-11-11T03:55:16.982Z","model":"anthropic/claude-opus-5.5"},"sourceAttribution":{"authors":[{"name":"Yao, Jiarui","url":null,"kind":"unknown"},{"name":"Wang, Ruida","url":null,"kind":"unknown"},{"name":"Zhang, Tong","url":null,"kind":"unknown"}],"authorRole":"article-author","hosts":[],"status":"stated","authorRoster":{"truncated":false,"omitted":0,"assertionGroupsOmitted":0},"participation":[{"actor":{"name":"Yao, Jiarui","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Yao, Jiarui","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2610.37739","locator":"head/meta[name=author|citation_author]"},"assertionId":"cb704a3f7f72456052df98da04b647ad7b24864ad4e8b83ec265b8d362652176:participation:0","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-11T04:26:10.255Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"cb704a3f7f72456052df98da04b647ad7b24864ad4e8b83ec265b8d362652176","sourceUrl":"https://arxiv.org/abs/2610.37739","contentSha256":"54b1c1719e4033911de8325b4c4b7bb423ab04b5cffe85648c0b118e51dab53e","textHash":"31958c758dac15b0c0459f619fca5ab10410b258d9c37b1b5d1d7cd419a3e18a","observedAt":"2026-11-11T04:26:10.255Z"}},{"actor":{"name":"Wang, Ruida","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Wang, Ruida","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2610.37739","locator":"head/meta[name=author|citation_author]"},"assertionId":"cb704a3f7f72456052df98da04b647ad7b24864ad4e8b83ec265b8d362652176:participation:1","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-11T04:26:10.255Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"cb704a3f7f72456052df98da04b647ad7b24864ad4e8b83ec265b8d362652176","sourceUrl":"https://arxiv.org/abs/2610.37739","contentSha256":"54b1c1719e4033911de8325b4c4b7bb423ab04b5cffe85648c0b118e51dab53e","textHash":"31958c758dac15b0c0459f619fca5ab10410b258d9c37b1b5d1d7cd419a3e18a","observedAt":"2026-11-11T04:26:10.255Z"}},{"actor":{"name":"Zhang, Tong","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Zhang, Tong","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2610.37739","locator":"head/meta[name=author|citation_author]"},"assertionId":"cb704a3f7f72456052df98da04b647ad7b24864ad4e8b83ec265b8d362652176:participation:2","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-11T04:26:10.255Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"cb704a3f7f72456052df98da04b647ad7b24864ad4e8b83ec265b8d362652176","sourceUrl":"https://arxiv.org/abs/2610.37739","contentSha256":"54b1c1719e4033911de8325b4c4b7bb423ab04b5cffe85648c0b118e51dab53e","textHash":"31958c758dac15b0c0459f619fca5ab10410b258d9c37b1b5d1d7cd419a3e18a","observedAt":"2026-11-11T04:26:10.255Z"}}],"participationCoverage":{"total":3,"returned":3,"complete":true,"fullAssertions":"source-metadata-endpoint"},"distribution":null,"publisher":null,"sourceUrl":"https://arxiv.org/abs/2610.37739","snapshotId":"cb704a3f7f72456052df98da04b647ad7b24864ad4e8b83ec265b8d362652176","contentSha256":"54b1c1719e4033911de8325b4c4b7bb423ab04b5cffe85648c0b118e51dab53e","textHash":"31958c758dac15b0c0459f619fca5ab10410b258d9c37b1b5d1d7cd419a3e18a","observedAt":"2026-11-11T04:26:10.255Z","basis":"publisher-page-metadata","sourceLinks":44,"linksTruncated":false,"metadataUrl":"/api/pipeline/stream/e2e3433c1eb7ec68c41b26fc4dbb8e76b947200c65aa9a04fc0d92994b6f2702/source"}}}],"audits":[{"publicationId":"4852ea8e-cceb-48af-8130-dc78a4f196f0","verdict":"uncertain","findings":[{"dimension":"attribution","status":"pass","explanation":"The draft correctly credits Jiarui Yao, Ruida Wang and Tong Zhang. Findings stay attributed to the authors ('They report'), and the one inference is explicitly labeled as Escape Meridian interpretation.","excerpt":"Authors:Jiarui Yao, Ruida Wang, Tong Zhang"},{"dimension":"summary","status":"uncertain","explanation":"The summary is faithful, but one central term blocks a lay reader. 'The HQ-50 subset' is never explained, so a reader cannot tell that it is a quality-filtered subset of the 200-problem benchmark or connect it to the '7 of 40' figure. Smallest repair: add 'a subset filtered by quality score' after HQ-50. Lean 4 and frozen-retrieval could be handled by term-library tooltips. The draft also drops 'under a standardized budget', a minor scope condition worth restoring. The question is legitimate, since the abstract names the frozen-retrieval condition without reporting its results.","excerpt":"a subset HQ-50 further filters based on quality score, etc."},{"dimension":"date","status":"pass","explanation":"The originalPublished date of 2026-10-27 matches the v1 submission date on arXiv. The feed date of Oct 31 is later and is correctly not used.","excerpt":"[Submitted on 27 Oct 2026]"},{"dimension":"support","status":"pass","explanation":"The figures (12,151 problems; 200 problems, of which 110 were resolved and 90 are open), the Lean 4 checks, the two checkers, the three conditions and the closed-book versus live-web finding all match the abstract. The labeled interpretation follows directly from the reported contrast and is not overstated as real-world capability. The limitations correctly note that frozen-retrieval results are absent from the abstract.","excerpt":"closed-book rediscovery is rare, at most 7 of 40 resolved problems, whereas live-web success mostly reflects retrieval of published solutions."},{"dimension":"media","status":"pass","explanation":"The selected media is the verified direct arXiv abstract page for this paper, which is the most direct access to the source.","excerpt":null}],"createdAt":"2026-11-11T03:55:16.982Z","model":"anthropic/claude-opus-5.5"}],"correctionUrl":"https://escapemeridian.com/corrections/"}