{"id":"7210c74cd55fb49b9e508ad3ec59d0f8773120906da96a73d684d921abab5a8f","title":"arXiv paper: Discovering formally verified quantum programs with AI","argument":"The paper’s authors report using Gemini 4 agents to discover quantum programs that they say improve on prior baselines, including programs for quantum arithmetic and simulations relevant to fusion, photochemistry and drug metabolism. They build a quantum program library in the Lean theorem prover, where agents synthesize programs against formal problem specifications and verify correctness and cost. The authors argue this approach reaches beyond small instances that classical computers can evaluate, allowing researchers to design algorithms that current classical and quantum computers cannot test. Their central point is that progress toward practical quantum computation may depend on better algorithms as well as better hardware, and that automated discovery can contribute to that work when paired with human collaboration and mathematical proof. The abstract describes agent teams sharing results through wikis and organized conferences, but does not detail how the reported baseline comparisons were established.","topicIds":["intelligence-and-discovery"],"domain":"science","claimType":"attributed reading","limits":"The supplied evidence is the arXiv page and abstract, not the paper’s full methods or results; it does not provide details for assessing how the baseline comparisons were conducted. The authors’ claims about verification and performance are reported in the abstract and are not independently assessed by this evidence.","speaker":{"name":"Shirobokov, Sergey, Jaderberg, Ben, Hristova, Katerina, Tsoukalas, George, Bausch, Johannes, Wieser, Eric, Heras, Francisco J. H., Rubin, Nicholas C., Low, Guang Hao, Racanière, Sébastien, Tomašev, Nenad, Zhang, Lei M., Watson, James D., Khattar, Tanuj, Albarghouthi, Aws, Jain, Stavan, Khan, Harun, Sarra, Leopoldo, Senior, Andrew W., Broughton, Michael, Masoom, Hussain, Boixo, Sergio, Babbush, Ryan, Chaudhuri, Swarat, Kohli, Pushmeet","roleAtSource":"Article author"},"source":{"title":"Discovering formally verified quantum programs with AI","publisher":"arXiv cs.AI","format":"Article","url":"https://arxiv.org/abs/2611.09822","publishedAt":"2026-11-06","dateBasis":"Date basis not provided."},"evidence":[{"text":"The authors say Gemini 4 agents synthesize quantum programs against formal specifications and verify their correctness and cost in a Lean theorem prover.","excerpt":"Gemini 4 agents synthesize novel programs against formal problem specifications and verify their correctness and cost.","url":"https://arxiv.org/abs/2611.09822","relationship":"Source-stated"},{"text":"The authors report improvements over prior baselines in parallel search, quantum arithmetic, and simulations relevant to fusion, photochemistry and drug metabolism.","excerpt":"Our results improve on prior baselines for parallel search (up to 2.55x), quantum arithmetic (290x), and simulations relevant to fusion, photochemistry and drug-metabolism by 11x, 8x and 2.5x respectively.","url":"https://arxiv.org/abs/2611.09822","relationship":"Source-stated"},{"text":"The authors argue that their approach can design algorithms that current classical and quantum computers cannot test.","excerpt":"lets researchers design algorithms that today's classical and quantum computers cannot test","url":"https://arxiv.org/abs/2611.09822","relationship":"Source-stated"},{"text":"The authors present improved quantum algorithms as one contributor to the timeline for quantum computers to solve breakthrough problems in science.","excerpt":"The timeline by which quantum computers can solve breakthrough problems in science depends on improved quantum algorithms as much as on better hardware.","url":"https://arxiv.org/abs/2611.09822","relationship":"Source-stated"},{"text":"The abstract describes agent teams collaborating by sharing results and knowledge through wikis and discussing ideas at organized conferences.","excerpt":"Agent teams collaborate, sharing results and knowledge through wikis and discussing ideas at organized conferences.","url":"https://arxiv.org/abs/2611.09822","relationship":"Source-stated"}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2611.09822","checkedAt":"2026-11-12T14:18:11.173Z","items":[],"note":"No suitable media was found by the supported page extraction."},"assumptions":[],"openQuestion":{"attribution":"Open question","text":"What evaluation details establish how the reported improvements compare with prior baselines, especially for programs that classical computers cannot test?"},"whatWouldChangeView":{"attribution":"Change condition not recorded","text":""},"editorialComparisons":[],"live":{"title":"arXiv paper: Discovering formally verified quantum programs with AI","summary":"The paper’s authors report using Gemini 4 agents to discover quantum programs that they say improve on prior baselines, including programs for quantum arithmetic and simulations relevant to fusion, photochemistry and drug metabolism. They build a quantum program library in the Lean theorem prover, where agents synthesize programs against formal problem specifications and verify correctness and cost. The authors argue this approach reaches beyond small instances that classical computers can evaluate, allowing researchers to design algorithms that current classical and quantum computers cannot test. Their central point is that progress toward practical quantum computation may depend on better algorithms as well as better hardware, and that automated discovery can contribute to that work when paired with human collaboration and mathematical proof. The abstract describes agent teams sharing results through wikis and organized conferences, but does not detail how the reported baseline comparisons were established.","question":"What evaluation details establish how the reported improvements compare with prior baselines, especially for programs that classical computers cannot test?","claims":[{"text":"The authors say Gemini 4 agents synthesize quantum programs against formal specifications and verify their correctness and cost in a Lean theorem prover.","excerpt":"Gemini 4 agents synthesize novel programs against formal problem specifications and verify their correctness and cost.","support":"source-stated"},{"text":"The authors report improvements over prior baselines in parallel search, quantum arithmetic, and simulations relevant to fusion, photochemistry and drug metabolism.","excerpt":"Our results improve on prior baselines for parallel search (up to 2.55x), quantum arithmetic (290x), and simulations relevant to fusion, photochemistry and drug-metabolism by 11x, 8x and 2.5x respectively.","support":"source-stated"},{"text":"The authors argue that their approach can design algorithms that current classical and quantum computers cannot test.","excerpt":"lets researchers design algorithms that today's classical and quantum computers cannot test","support":"source-stated"},{"text":"The authors present improved quantum algorithms as one contributor to the timeline for quantum computers to solve breakthrough problems in science.","excerpt":"The timeline by which quantum computers can solve breakthrough problems in science depends on improved quantum algorithms as much as on better hardware.","support":"source-stated"},{"text":"The abstract describes agent teams collaborating by sharing results and knowledge through wikis and discussing ideas at organized conferences.","excerpt":"Agent teams collaborate, sharing results and knowledge through wikis and discussing ideas at organized conferences.","support":"source-stated"}],"limitations":["The supplied evidence is the arXiv page and abstract, not the paper’s full methods or results; it does not provide details for assessing how the baseline comparisons were conducted.","The authors’ claims about verification and performance are reported in the abstract and are not independently assessed by this evidence."],"mediaId":"b54bf7867849b97e77b7f4b89bde2b04748807c886bfcea45ba41337d8483d11","correctionReason":null,"id":"7210c74cd55fb49b9e508ad3ec59d0f8773120906da96a73d684d921abab5a8f","publicationId":"804d62c6-8316-4c8a-874b-782c618bc497","version":1,"sourceUrl":"https://arxiv.org/abs/2611.09822","sourceTitle":"Discovering formally verified quantum programs with AI","publisher":"arXiv cs.AI","publishedAt":null,"originalPublished":{"value":"2026-11-06","precision":"day","basis":"publisher_citation_date"},"firstObservedAt":"2026-11-09T05:07:04.899Z","createdAt":"2026-11-12T14:02:03.791Z","historical":true,"entityIds":["arxiv"],"topicIds":["intelligence-and-discovery"],"media":[{"id":"b54bf7867849b97e77b7f4b89bde2b04748807c886bfcea45ba41337d8483d11","kind":"article","url":"https://arxiv.org/abs/2611.09822","sourceUrl":"https://arxiv.org/abs/2611.09822","label":"Read original","provenance":"source_link","verification":{"status":"verified","checkedAt":"2026-11-12T13:47:33.008Z","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/2611.09822","checkedAt":"2026-11-12T14:18:11.173Z","items":[],"note":"No suitable media was found by the supported page extraction."},"editorialDecision":{"outcome":"accept","reasonCodes":["material_development"],"rubricVersion":"stream-admission-v6","mediaId":"b54bf7867849b97e77b7f4b89bde2b04748807c886bfcea45ba41337d8483d11","confidence":0.48,"provider":"typesafe","model":"jev-1.13.0","inputHash":"4a465e0272637975244c91cc7840da28ce813e8207698e780bd21b6d4b5d2de5","decidedAt":"2026-11-12T13:47:34.029Z","secondOpinion":{"verdict":"fit","model":"claude-opus-5-5","at":"2026-11-12T14:00:37.134Z","reason":"Reports AI agents autonomously discovering formally verified quantum programs, beating prior human baselines (e.g., 290x arithmetic, 11x fusion sim): evaluated AI research work vs prior capability.","rubric":"stream-admission-v6"}},"provenance":{"textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observationId":"c41fb0f41fd6fa4c9370f976a7e55bc85f691c4f271094b79ccd03a9d58851f1","retrievedAt":"2026-11-12T13:47:32.881Z","kind":"publisher-page","preparer":{"model":"gpt-6-luna","runId":"7f449080-b267-4379-8650-98f391368945"},"reviewer":{"model":"gpt-6-luna","runId":"42884981-2351-4bcf-8794-cef2d4bd2199"}},"audit":{"status":"uncertain","reviewedAt":"2026-11-12T14:02:03.791Z","model":"anthropic/claude-opus-5.5"},"sourceAttribution":{"authors":[{"name":"Shirobokov, Sergey","url":null,"kind":"unknown"},{"name":"Jaderberg, Ben","url":null,"kind":"unknown"},{"name":"Hristova, Katerina","url":null,"kind":"unknown"},{"name":"Tsoukalas, George","url":null,"kind":"unknown"},{"name":"Bausch, Johannes","url":null,"kind":"unknown"},{"name":"Wieser, Eric","url":null,"kind":"unknown"},{"name":"Heras, Francisco J. H.","url":null,"kind":"unknown"},{"name":"Rubin, Nicholas C.","url":null,"kind":"unknown"},{"name":"Low, Guang Hao","url":null,"kind":"unknown"},{"name":"Racanière, Sébastien","url":null,"kind":"unknown"},{"name":"Tomašev, Nenad","url":null,"kind":"unknown"},{"name":"Zhang, Lei M.","url":null,"kind":"unknown"},{"name":"Watson, James D.","url":null,"kind":"unknown"},{"name":"Khattar, Tanuj","url":null,"kind":"unknown"},{"name":"Albarghouthi, Aws","url":null,"kind":"unknown"},{"name":"Jain, Stavan","url":null,"kind":"unknown"},{"name":"Khan, Harun","url":null,"kind":"unknown"},{"name":"Sarra, Leopoldo","url":null,"kind":"unknown"},{"name":"Senior, Andrew W.","url":null,"kind":"unknown"},{"name":"Broughton, Michael","url":null,"kind":"unknown"},{"name":"Masoom, Hussain","url":null,"kind":"unknown"},{"name":"Boixo, Sergio","url":null,"kind":"unknown"},{"name":"Babbush, Ryan","url":null,"kind":"unknown"},{"name":"Chaudhuri, Swarat","url":null,"kind":"unknown"},{"name":"Kohli, Pushmeet","url":null,"kind":"unknown"}],"authorRole":"article-author","hosts":[],"status":"stated","authorRoster":{"truncated":false,"omitted":0,"assertionGroupsOmitted":0},"participation":[{"actor":{"name":"Shirobokov, Sergey","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Shirobokov, Sergey","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:0","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Jaderberg, Ben","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Jaderberg, Ben","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:1","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Hristova, Katerina","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Hristova, Katerina","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:2","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Tsoukalas, George","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Tsoukalas, George","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:3","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Bausch, Johannes","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Bausch, Johannes","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:4","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Wieser, Eric","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Wieser, Eric","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:5","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Heras, Francisco J. H.","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Heras, Francisco J. H.","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:6","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Rubin, Nicholas C.","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Rubin, Nicholas C.","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:7","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Low, Guang Hao","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Low, Guang Hao","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:8","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Racanière, Sébastien","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Racanière, Sébastien","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:9","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Tomašev, Nenad","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Tomašev, Nenad","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:10","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Zhang, Lei M.","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Zhang, Lei M.","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:11","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Watson, James D.","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Watson, James D.","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:12","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Khattar, Tanuj","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Khattar, Tanuj","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:13","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Albarghouthi, Aws","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Albarghouthi, Aws","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:14","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Jain, Stavan","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Jain, Stavan","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:15","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Khan, Harun","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Khan, Harun","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:16","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Sarra, Leopoldo","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Sarra, Leopoldo","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:17","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Senior, Andrew W.","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Senior, Andrew W.","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:18","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Broughton, Michael","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Broughton, Michael","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:19","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Masoom, Hussain","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Masoom, Hussain","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:20","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Boixo, Sergio","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Boixo, Sergio","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:21","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Babbush, Ryan","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Babbush, Ryan","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:22","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Chaudhuri, Swarat","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Chaudhuri, Swarat","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:23","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Kohli, Pushmeet","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Kohli, Pushmeet","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:24","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}}],"participationCoverage":{"total":25,"returned":25,"complete":true,"fullAssertions":"source-metadata-endpoint"},"distribution":null,"publisher":null,"sourceUrl":"https://arxiv.org/abs/2611.09822","snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z","basis":"publisher-page-metadata","sourceLinks":67,"linksTruncated":false,"metadataUrl":"/api/pipeline/stream/7210c74cd55fb49b9e508ad3ec59d0f8773120906da96a73d684d921abab5a8f/source"}},"canonicalUrl":"https://escapemeridian.com/readings/arxiv-paper-discovering-formally-verified-quantum-programs-with-7210c74c","formats":{"html":"/readings/arxiv-paper-discovering-formally-verified-quantum-programs-with-7210c74c","markdown":"/readings/arxiv-paper-discovering-formally-verified-quantum-programs-with-7210c74c.md","json":"/readings/arxiv-paper-discovering-formally-verified-quantum-programs-with-7210c74c.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-formal-verification","name":"Formal verification","explanation":"Using software to check every step of a proof or a program against precise rules.","referenceUrl":"https://en.wikipedia.org/wiki/Formal_verification"}],"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":"7210c74cd55fb49b9e508ad3ec59d0f8773120906da96a73d684d921abab5a8f","revision":"804d62c6-8316-4c8a-874b-782c618bc497","revisionKind":"publication-id","title":"arXiv paper: Discovering formally verified quantum programs with AI","url":"https://escapemeridian.com/readings/arxiv-paper-discovering-formally-verified-quantum-programs-with-7210c74c"},"source":{"type":"source","id":"https://arxiv.org/abs/2611.09822","revision":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","revisionKind":"sha256-source-text","title":"Discovering formally verified quantum programs with AI","url":"https://arxiv.org/abs/2611.09822"},"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":"7210c74cd55fb49b9e508ad3ec59d0f8773120906da96a73d684d921abab5a8f","title":"arXiv paper: Discovering formally verified quantum programs with AI","argument":"The paper’s authors report using Gemini 4 agents to discover quantum programs that they say improve on prior baselines, including programs for quantum arithmetic and simulations relevant to fusion, photochemistry and drug metabolism. They build a quantum program library in the Lean theorem prover, where agents synthesize programs against formal problem specifications and verify correctness and cost. The authors argue this approach reaches beyond small instances that classical computers can evaluate, allowing researchers to design algorithms that current classical and quantum computers cannot test. Their central point is that progress toward practical quantum computation may depend on better algorithms as well as better hardware, and that automated discovery can contribute to that work when paired with human collaboration and mathematical proof. The abstract describes agent teams sharing results through wikis and organized conferences, but does not detail how the reported baseline comparisons were established.","topicIds":["intelligence-and-discovery"],"domain":"science","claimType":"attributed reading","limits":"The supplied evidence is the arXiv page and abstract, not the paper’s full methods or results; it does not provide details for assessing how the baseline comparisons were conducted. The authors’ claims about verification and performance are reported in the abstract and are not independently assessed by this evidence.","speaker":{"name":"Shirobokov, Sergey, Jaderberg, Ben, Hristova, Katerina, Tsoukalas, George, Bausch, Johannes, Wieser, Eric, Heras, Francisco J. H., Rubin, Nicholas C., Low, Guang Hao, Racanière, Sébastien, Tomašev, Nenad, Zhang, Lei M., Watson, James D., Khattar, Tanuj, Albarghouthi, Aws, Jain, Stavan, Khan, Harun, Sarra, Leopoldo, Senior, Andrew W., Broughton, Michael, Masoom, Hussain, Boixo, Sergio, Babbush, Ryan, Chaudhuri, Swarat, Kohli, Pushmeet","roleAtSource":"Article author"},"source":{"title":"Discovering formally verified quantum programs with AI","publisher":"arXiv cs.AI","format":"Article","url":"https://arxiv.org/abs/2611.09822","publishedAt":"2026-11-06","dateBasis":"Date basis not provided."},"evidence":[{"text":"The authors say Gemini 4 agents synthesize quantum programs against formal specifications and verify their correctness and cost in a Lean theorem prover.","excerpt":"Gemini 4 agents synthesize novel programs against formal problem specifications and verify their correctness and cost.","url":"https://arxiv.org/abs/2611.09822","relationship":"Source-stated"},{"text":"The authors report improvements over prior baselines in parallel search, quantum arithmetic, and simulations relevant to fusion, photochemistry and drug metabolism.","excerpt":"Our results improve on prior baselines for parallel search (up to 2.55x), quantum arithmetic (290x), and simulations relevant to fusion, photochemistry and drug-metabolism by 11x, 8x and 2.5x respectively.","url":"https://arxiv.org/abs/2611.09822","relationship":"Source-stated"},{"text":"The authors argue that their approach can design algorithms that current classical and quantum computers cannot test.","excerpt":"lets researchers design algorithms that today's classical and quantum computers cannot test","url":"https://arxiv.org/abs/2611.09822","relationship":"Source-stated"},{"text":"The authors present improved quantum algorithms as one contributor to the timeline for quantum computers to solve breakthrough problems in science.","excerpt":"The timeline by which quantum computers can solve breakthrough problems in science depends on improved quantum algorithms as much as on better hardware.","url":"https://arxiv.org/abs/2611.09822","relationship":"Source-stated"},{"text":"The abstract describes agent teams collaborating by sharing results and knowledge through wikis and discussing ideas at organized conferences.","excerpt":"Agent teams collaborate, sharing results and knowledge through wikis and discussing ideas at organized conferences.","url":"https://arxiv.org/abs/2611.09822","relationship":"Source-stated"}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2611.09822","checkedAt":"2026-11-12T14:18:11.173Z","items":[],"note":"No suitable media was found by the supported page extraction."},"assumptions":[],"openQuestion":{"attribution":"Open question","text":"What evaluation details establish how the reported improvements compare with prior baselines, especially for programs that classical computers cannot test?"},"whatWouldChangeView":{"attribution":"Change condition not recorded","text":""},"editorialComparisons":[],"live":{"title":"arXiv paper: Discovering formally verified quantum programs with AI","summary":"The paper’s authors report using Gemini 4 agents to discover quantum programs that they say improve on prior baselines, including programs for quantum arithmetic and simulations relevant to fusion, photochemistry and drug metabolism. They build a quantum program library in the Lean theorem prover, where agents synthesize programs against formal problem specifications and verify correctness and cost. The authors argue this approach reaches beyond small instances that classical computers can evaluate, allowing researchers to design algorithms that current classical and quantum computers cannot test. Their central point is that progress toward practical quantum computation may depend on better algorithms as well as better hardware, and that automated discovery can contribute to that work when paired with human collaboration and mathematical proof. The abstract describes agent teams sharing results through wikis and organized conferences, but does not detail how the reported baseline comparisons were established.","question":"What evaluation details establish how the reported improvements compare with prior baselines, especially for programs that classical computers cannot test?","claims":[{"text":"The authors say Gemini 4 agents synthesize quantum programs against formal specifications and verify their correctness and cost in a Lean theorem prover.","excerpt":"Gemini 4 agents synthesize novel programs against formal problem specifications and verify their correctness and cost.","support":"source-stated"},{"text":"The authors report improvements over prior baselines in parallel search, quantum arithmetic, and simulations relevant to fusion, photochemistry and drug metabolism.","excerpt":"Our results improve on prior baselines for parallel search (up to 2.55x), quantum arithmetic (290x), and simulations relevant to fusion, photochemistry and drug-metabolism by 11x, 8x and 2.5x respectively.","support":"source-stated"},{"text":"The authors argue that their approach can design algorithms that current classical and quantum computers cannot test.","excerpt":"lets researchers design algorithms that today's classical and quantum computers cannot test","support":"source-stated"},{"text":"The authors present improved quantum algorithms as one contributor to the timeline for quantum computers to solve breakthrough problems in science.","excerpt":"The timeline by which quantum computers can solve breakthrough problems in science depends on improved quantum algorithms as much as on better hardware.","support":"source-stated"},{"text":"The abstract describes agent teams collaborating by sharing results and knowledge through wikis and discussing ideas at organized conferences.","excerpt":"Agent teams collaborate, sharing results and knowledge through wikis and discussing ideas at organized conferences.","support":"source-stated"}],"limitations":["The supplied evidence is the arXiv page and abstract, not the paper’s full methods or results; it does not provide details for assessing how the baseline comparisons were conducted.","The authors’ claims about verification and performance are reported in the abstract and are not independently assessed by this evidence."],"mediaId":"b54bf7867849b97e77b7f4b89bde2b04748807c886bfcea45ba41337d8483d11","correctionReason":null,"id":"7210c74cd55fb49b9e508ad3ec59d0f8773120906da96a73d684d921abab5a8f","publicationId":"804d62c6-8316-4c8a-874b-782c618bc497","version":1,"sourceUrl":"https://arxiv.org/abs/2611.09822","sourceTitle":"Discovering formally verified quantum programs with AI","publisher":"arXiv cs.AI","publishedAt":null,"originalPublished":{"value":"2026-11-06","precision":"day","basis":"publisher_citation_date"},"firstObservedAt":"2026-11-09T05:07:04.899Z","createdAt":"2026-11-12T14:02:03.791Z","historical":true,"entityIds":["arxiv"],"topicIds":["intelligence-and-discovery"],"media":[{"id":"b54bf7867849b97e77b7f4b89bde2b04748807c886bfcea45ba41337d8483d11","kind":"article","url":"https://arxiv.org/abs/2611.09822","sourceUrl":"https://arxiv.org/abs/2611.09822","label":"Read original","provenance":"source_link","verification":{"status":"verified","checkedAt":"2026-11-12T13:47:33.008Z","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/2611.09822","checkedAt":"2026-11-12T14:18:11.173Z","items":[],"note":"No suitable media was found by the supported page extraction."},"editorialDecision":{"outcome":"accept","reasonCodes":["material_development"],"rubricVersion":"stream-admission-v6","mediaId":"b54bf7867849b97e77b7f4b89bde2b04748807c886bfcea45ba41337d8483d11","confidence":0.48,"provider":"typesafe","model":"jev-1.13.0","inputHash":"4a465e0272637975244c91cc7840da28ce813e8207698e780bd21b6d4b5d2de5","decidedAt":"2026-11-12T13:47:34.029Z","secondOpinion":{"verdict":"fit","model":"claude-opus-5-5","at":"2026-11-12T14:00:37.134Z","reason":"Reports AI agents autonomously discovering formally verified quantum programs, beating prior human baselines (e.g., 290x arithmetic, 11x fusion sim): evaluated AI research work vs prior capability.","rubric":"stream-admission-v6"}},"provenance":{"textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observationId":"c41fb0f41fd6fa4c9370f976a7e55bc85f691c4f271094b79ccd03a9d58851f1","retrievedAt":"2026-11-12T13:47:32.881Z","kind":"publisher-page","preparer":{"model":"gpt-6-luna","runId":"7f449080-b267-4379-8650-98f391368945"},"reviewer":{"model":"gpt-6-luna","runId":"42884981-2351-4bcf-8794-cef2d4bd2199"}},"audit":{"status":"uncertain","reviewedAt":"2026-11-12T14:02:03.791Z","model":"anthropic/claude-opus-5.5"},"sourceAttribution":{"authors":[{"name":"Shirobokov, Sergey","url":null,"kind":"unknown"},{"name":"Jaderberg, Ben","url":null,"kind":"unknown"},{"name":"Hristova, Katerina","url":null,"kind":"unknown"},{"name":"Tsoukalas, George","url":null,"kind":"unknown"},{"name":"Bausch, Johannes","url":null,"kind":"unknown"},{"name":"Wieser, Eric","url":null,"kind":"unknown"},{"name":"Heras, Francisco J. H.","url":null,"kind":"unknown"},{"name":"Rubin, Nicholas C.","url":null,"kind":"unknown"},{"name":"Low, Guang Hao","url":null,"kind":"unknown"},{"name":"Racanière, Sébastien","url":null,"kind":"unknown"},{"name":"Tomašev, Nenad","url":null,"kind":"unknown"},{"name":"Zhang, Lei M.","url":null,"kind":"unknown"},{"name":"Watson, James D.","url":null,"kind":"unknown"},{"name":"Khattar, Tanuj","url":null,"kind":"unknown"},{"name":"Albarghouthi, Aws","url":null,"kind":"unknown"},{"name":"Jain, Stavan","url":null,"kind":"unknown"},{"name":"Khan, Harun","url":null,"kind":"unknown"},{"name":"Sarra, Leopoldo","url":null,"kind":"unknown"},{"name":"Senior, Andrew W.","url":null,"kind":"unknown"},{"name":"Broughton, Michael","url":null,"kind":"unknown"},{"name":"Masoom, Hussain","url":null,"kind":"unknown"},{"name":"Boixo, Sergio","url":null,"kind":"unknown"},{"name":"Babbush, Ryan","url":null,"kind":"unknown"},{"name":"Chaudhuri, Swarat","url":null,"kind":"unknown"},{"name":"Kohli, Pushmeet","url":null,"kind":"unknown"}],"authorRole":"article-author","hosts":[],"status":"stated","authorRoster":{"truncated":false,"omitted":0,"assertionGroupsOmitted":0},"participation":[{"actor":{"name":"Shirobokov, Sergey","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Shirobokov, Sergey","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:0","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Jaderberg, Ben","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Jaderberg, Ben","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:1","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Hristova, Katerina","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Hristova, Katerina","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:2","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Tsoukalas, George","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Tsoukalas, George","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:3","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Bausch, Johannes","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Bausch, Johannes","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:4","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Wieser, Eric","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Wieser, Eric","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:5","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Heras, Francisco J. H.","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Heras, Francisco J. H.","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:6","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Rubin, Nicholas C.","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Rubin, Nicholas C.","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:7","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Low, Guang Hao","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Low, Guang Hao","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:8","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Racanière, Sébastien","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Racanière, Sébastien","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:9","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Tomašev, Nenad","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Tomašev, Nenad","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:10","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Zhang, Lei M.","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Zhang, Lei M.","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:11","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Watson, James D.","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Watson, James D.","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:12","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Khattar, Tanuj","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Khattar, Tanuj","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:13","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Albarghouthi, Aws","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Albarghouthi, Aws","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:14","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Jain, Stavan","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Jain, Stavan","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:15","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Khan, Harun","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Khan, Harun","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:16","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Sarra, Leopoldo","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Sarra, Leopoldo","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:17","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Senior, Andrew W.","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Senior, Andrew W.","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:18","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Broughton, Michael","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Broughton, Michael","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:19","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Masoom, Hussain","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Masoom, Hussain","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:20","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Boixo, Sergio","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Boixo, Sergio","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:21","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Babbush, Ryan","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Babbush, Ryan","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:22","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Chaudhuri, Swarat","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Chaudhuri, Swarat","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:23","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}},{"actor":{"name":"Kohli, Pushmeet","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Kohli, Pushmeet","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.09822","locator":"head/meta[name=author|citation_author]"},"assertionId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9:participation:24","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-12T14:18:11.173Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","sourceUrl":"https://arxiv.org/abs/2611.09822","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z"}}],"participationCoverage":{"total":25,"returned":25,"complete":true,"fullAssertions":"source-metadata-endpoint"},"distribution":null,"publisher":null,"sourceUrl":"https://arxiv.org/abs/2611.09822","snapshotId":"4b244c8df8a61c9ae9f385acafcb2b500fe5e37bd019a822a4d25c0edbaf2fb9","contentSha256":"3eef81406916e3e53f37df929c4affce03620497b39172a943572f8ab86efc99","textHash":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","observedAt":"2026-11-12T14:18:11.173Z","basis":"publisher-page-metadata","sourceLinks":67,"linksTruncated":false,"metadataUrl":"/api/pipeline/stream/7210c74cd55fb49b9e508ad3ec59d0f8773120906da96a73d684d921abab5a8f/source"}}}],"audits":[{"publicationId":"804d62c6-8316-4c8a-874b-782c618bc497","verdict":"uncertain","findings":[{"dimension":"attribution","status":"pass","explanation":"The reading attributes the claims to the paper's authors, whose names are listed on the arXiv page. It keeps performance and verification claims as the authors' assertions rather than established facts.","excerpt":"Authors:Sergey Shirobokov, Ben Jaderberg, Katerina Hristova"},{"dimension":"summary","status":"uncertain","explanation":"The reading is mostly faithful and clear, but it softens the authors' central thesis. The source says the timeline depends on algorithms 'as much as' on hardware. The summary says progress 'may depend on better algorithms as well as better hardware,' and claim 4 calls algorithms 'one contributor.' This adds hedging the source does not use and drops its claim of parity. It also omits the authors' framing of 'order-of-magnitude improvements' and 'shortening the path to practical quantum computation.' Smallest repair: state that the authors argue the timeline depends on improved algorithms as much as on better hardware.","excerpt":"depends on improved quantum algorithms as much as on better hardware"},{"dimension":"date","status":"pass","explanation":"The displayed original publication date, 2026-11-06, matches the v1 submission date. It is not the date of the later v2 revision (9 Nov) or the feed entry.","excerpt":"Submitted on 6 Nov 2026 (v1), last revised 9 Nov 2026 (this version, v2)"},{"dimension":"support","status":"pass","explanation":"Each claim quotes an exact supporting excerpt and is marked as source-stated. The question and limitations correctly note that the evidence is only the abstract, without methods or baseline details. The reading does not imply unsupported benefits or treat the reported improvements as independently verified.","excerpt":"Our results improve on prior baselines for parallel search (up to 2.55x), quantum arithmetic (290x)"},{"dimension":"media","status":"pass","explanation":"The selected media is the verified direct link to the original arXiv abstract page, which matches the source URL. No better source media was found.","excerpt":null}],"createdAt":"2026-11-12T14:02:03.791Z","model":"anthropic/claude-opus-5.5"}],"correctionUrl":"https://escapemeridian.com/corrections/"}