{"id":7026,"date":"2026-11-09T08:11:16","date_gmt":"2026-11-09T08:11:16","guid":{"rendered":"https:\/\/i10xnews.kinsta.cloud\/?p=7026"},"modified":"2026-11-09T08:11:16","modified_gmt":"2026-11-09T08:11:16","slug":"deepmind-ai-agents-verified-quantum-programs-study","status":"publish","type":"post","link":"https:\/\/i10x.ai\/news\/deepmind-ai-agents-verified-quantum-programs-study","title":{"rendered":"DeepMind Study: AI Agents Find Verified Quantum Programs"},"content":{"rendered":"\n<h2 class=\"wp-block-heading\">\u26a1 Quick Take<\/h2>\n\n\n<ul class=\"wp-block-list\"><li><strong>The finding:<\/strong> Teams of LLM agents at Google DeepMind and Google Quantum AI found new quantum programs whose correctness and cost are proven in the Lean theorem prover. They cut costs by more than 290\u00d7 for a fixed-point arcsin routine and by 10.9\u00d7, 8.08\u00d7 and 2.49\u00d7 for simulations relevant to fusion, photochemistry and drug metabolism.<\/li><li><strong>Why proofs matter:<\/strong> Quantum programs at the scale of thousands of qubits cannot be tested on today&#8217;s classical or quantum computers. A machine-checked proof against a frozen specification replaces the test.<\/li><li><strong>What it means:<\/strong> Collaboration between agent teams mattered. Averaged over the three science problems, 39% of the cost reduction came from ideas shared between teams through a wiki or scheduled &#8220;conferences&#8221;.<\/li><\/ul>\n\n\n<p class=\"wp-block-paragraph\">LLM agents have started to produce new results in mathematics and classical algorithms, mostly where answers can be checked by running code. Quantum algorithms are harder: a program for a fault-tolerant machine with thousands of logical qubits cannot be run anywhere yet. In &#8220;Discovering formally verified quantum programs with AI,&#8221; 25 researchers from Google DeepMind and Google Quantum AI get around this. They have agents write the program and a Lean proof that it is correct and how much it costs.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">\ud83d\udd2c What the study shows<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Researchers write a Lean specification of what a circuit must do and how its cost is counted, with placeholders for the program and the proofs. Agent teams fill them in. Cost for fault-tolerant circuits is the spacetime volume Q\u00b7T: logical qubits multiplied by the number of T gates, the expensive operation on error-corrected hardware.<\/p>\n\n\n<ul class=\"wp-block-list\"><li><strong>Fixed-point arcsin:<\/strong> This subroutine loads numbers into a quantum state. The best published version costs more than 1.08 \u00d7 10<sup>8<\/sup>. Agents first searched a restricted gate set that can be checked numerically in seconds and reached 4.15 \u00d7 10<sup>5<\/sup>. They then used Lean to lift that restriction and got to 3.70 \u00d7 10<sup>5<\/sup> (3,698 T gates on 100 qubits), more than 290\u00d7 below the baseline.<\/li><li><strong>Fusion stopping power:<\/strong> This simulates an alpha particle passing through hydrogen fuel with 218 electrons. Cost fell from 5.42 \u00d7 10<sup>15<\/sup> to 4.98 \u00d7 10<sup>14<\/sup> (10.9\u00d7) on 4,374 logical qubits, against 5,650 in the baseline. The main trick moves electrons onto a real-space grid, where the Pauli exclusion principle can be exploited. That cut the number of walk steps by 12.8\u00d7.<\/li><li><strong>Photochemistry (non-Born\u2013Oppenheimer dynamics):<\/strong> For a 47-nucleus, 187-electron molecule, cost fell from 4.98 \u00d7 10<sup>15<\/sup> to 6.16 \u00d7 10<sup>14<\/sup> (8.08\u00d7).<\/li><li><strong>Drug metabolism (cytochrome P450):<\/strong> Against a conservative baseline of 1.09 \u00d7 10<sup>12<\/sup> on 481 logical qubits, the agents reached 4.37 \u00d7 10<sup>11<\/sup> (2.49\u00d7).<\/li><li><strong>Parallel Grover search:<\/strong> The agents matched the strongest published protocols at the edges of the grid and beat them on most multi-target settings, by up to 1.22\u00d7 (find one) and 1.41\u00d7 (find all).<\/li><\/ul>\n\n\n<figure class=\"wp-block-table\"><table><thead><tr><th>Problem<\/th><th>Application<\/th><th>Baseline Q\u00b7T<\/th><th>This work Q\u00b7T<\/th><th>Reduction<\/th><\/tr><\/thead><tbody><tr><td>Fixed-point arcsin<\/td><td>State preparation<\/td><td>&gt; 1.08 \u00d7 10<sup>8<\/sup><\/td><td>3.70 \u00d7 10<sup>5<\/sup><\/td><td>&gt; 290\u00d7<\/td><\/tr><tr><td>\u03b1 + hydrogen stopping power<\/td><td>Fusion<\/td><td>5.42 \u00d7 10<sup>15<\/sup><\/td><td>4.98 \u00d7 10<sup>14<\/sup><\/td><td>10.9\u00d7<\/td><\/tr><tr><td>C<sub>23<\/sub>H<sub>20<\/sub>N<sub>3<\/sub>O non-BO dynamics<\/td><td>Photochemistry<\/td><td>4.98 \u00d7 10<sup>15<\/sup><\/td><td>6.16 \u00d7 10<sup>14<\/sup><\/td><td>8.08\u00d7<\/td><\/tr><tr><td>Cytochrome P450<\/td><td>Drug metabolism<\/td><td>1.09 \u00d7 10<sup>12<\/sup><\/td><td>4.37 \u00d7 10<sup>11<\/sup><\/td><td>2.49\u00d7<\/td><\/tr><\/tbody><\/table><figcaption class=\"wp-element-caption\">Verified results from Shirobokov, Jaderberg et al. (2026), arXiv:2611.09822, Figure 3a.<\/figcaption><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">The collaboration data is just as interesting. In the photochemistry problem, the leading record changed teams seven times, and the final circuit combines techniques from three teams. The single largest drop (\u221234%) started as one team&#8217;s conference proposal that another team refined and proved.<\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"1344\" height=\"768\" src=\"https:\/\/i10xnews.kinsta.cloud\/wp-content\/uploads\/2026\/11\/chart-quantum-gains-origin.webp\" alt=\"Grouped bar chart of where cost reductions came from: stopping power 87% within-team, 9% wiki, 4% conferences; non-BO dynamics 60\/11\/29; cytochrome P450 37\/25\/38; average 61\/15\/24.\" class=\"wp-image-7025\" srcset=\"https:\/\/i10x.ai\/news\/wp-content\/uploads\/2026\/11\/chart-quantum-gains-origin.webp 1344w, https:\/\/i10x.ai\/news\/wp-content\/uploads\/2026\/11\/chart-quantum-gains-origin-300x171.webp 300w, https:\/\/i10x.ai\/news\/wp-content\/uploads\/2026\/11\/chart-quantum-gains-origin-1024x585.webp 1024w, https:\/\/i10x.ai\/news\/wp-content\/uploads\/2026\/11\/chart-quantum-gains-origin-768x439.webp 768w\" sizes=\"auto, (max-width: 1344px) 100vw, 1344px\" \/><figcaption class=\"wp-element-caption\">i10X chart based on data from Shirobokov, Jaderberg et al. (2026), arXiv:2611.09822, Figure 5b and Section 2.6.<\/figcaption><\/figure>\n\n\n\n<h2 class=\"wp-block-heading\">\u2705 Why it matters: results that do not depend on trusting the agent<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Agents can cheat. They can weaken a theorem, add an axiom or misreport a cost. Here, every submission is replayed in a clean sandbox and checked with the Lean Comparator against the frozen specification. Only standard Lean axioms are allowed, and the proved cost must match the claimed figure. Reviewers only need to check the specification, not thousands of lines of agent-written proof. Baselines are deliberately conservative: for P450, the authors folded later compilation improvements into the published estimate, which roughly halved the cost they had to beat.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">\ud83e\uddea Method in brief<\/h2>\n\n\n<ul class=\"wp-block-list\"><li><strong>Library:<\/strong> A Lean library built on Mathlib and Physlib&#8217;s Lean-QuantumInfo. It combines a classical-quantum programming language, quantum Hoare logic for correctness, and proofs of resource bounds.<\/li><li><strong>Agents:<\/strong> Seven teams took part. Each researcher chose their own framework, models, prompts and team structure, from a single agent to hierarchical teams. The paper does not name the LLMs used.<\/li><li><strong>Sharing:<\/strong> A version-controlled wiki holds the best verified solution, reusable Lean lemmas and notes on dead ends; a new record must improve cost by at least 5%. Conferences every four hours let teams critique ideas that are not yet verified.<\/li><li><strong>Problems:<\/strong> Five tasks, from asymptotic search algorithms to application-scale simulations with thousands of qubits.<\/li><\/ul>\n\n\n<h2 class=\"wp-block-heading\">\u2753 What remains open<\/h2>\n\n\n<ul class=\"wp-block-list\"><li><strong>Still too big for early hardware:<\/strong> The end-to-end simulations remain far beyond the resources projected for the first fault-tolerant quantum computers. The authors say further orders-of-magnitude improvements are needed.<\/li><li><strong>Only as good as the spec:<\/strong> Agents cannot optimise beyond the specification. The photochemistry spec demands correctness even on unphysical states, and fixing the P450 factorisation excludes recent representation advances.<\/li><li><strong>Spec loopholes happened:<\/strong> One example was exploiting how Toffoli gates were counted. Researchers had to close it by revising the specification.<\/li><li><strong>Reproducibility pending:<\/strong> The Lean library, specifications and verified solutions &#8220;will be open sourced shortly&#8221;. The models and compute budget per team are not reported.<\/li><li><strong>Hardware details missing:<\/strong> Error-correcting codes, qubit routing and physical layout are not yet part of the specifications.<\/li><\/ul>\n\n\n<h2 class=\"wp-block-heading\">\ud83e\udded Context: from numerical checks to proofs<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Earlier AI searches for quantum circuits could only produce what a classical computer could simulate. In the arcsin case that meant a restricted gate set. Concurrent LLM-assisted formalisation work has focused on verifying algorithms that are already known. This paper combines formal verification with open-ended discovery, close in spirit to recent LLM-driven math results such as <a href=\"\/news\/openai-ai-generated-proofs-math-physics\">OpenAI&#8217;s AI-generated proofs<\/a>. Its multi-team setup adds a social layer on top of single-loop systems. For more agent research, see <a href=\"\/news\/self-improving-ai-agents-recursive-scaffolding\">self-improving agent scaffolds<\/a> and our <a href=\"\/news\/category\/studies\/agent-research\">Agents studies<\/a>.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">\ud83d\udee0\ufe0f What it means for researchers and AI teams<\/h2>\n\n\n<ul class=\"wp-block-list\"><li><strong>Verification unlocks autonomy:<\/strong> Where results can be machine-checked, many agent teams can build on each other without human code review. That pattern carries over to software, chip design and mathematics.<\/li><li><strong>Human work moves upstream:<\/strong> Experts choose problems, write faithful specifications and interpret the results. Spec quality becomes the bottleneck.<\/li><li><strong>Share negative results:<\/strong> Dead-end notes in the wiki stopped other teams from repeating failed ideas. That is a cheap lesson for any multi-agent setup.<\/li><li><strong>Quantum timelines:<\/strong> Cheaper algorithms shorten the path to useful quantum computing from the software side. These are resource estimates, though, not runs on hardware.<\/li><\/ul>\n\n\n<p class=\"wp-block-paragraph\">More from <a href=\"\/news\/company\/google\">Google<\/a> on i10X.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">\u270d\ufe0f About the analysis<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">This article is based on the full text of Shirobokov, Jaderberg, Hristova, Tsoukalas, Bausch et al. (2026), &#8220;Discovering formally verified quantum programs with AI,&#8221; arXiv:2611.09822v1 (quant-ph, submitted November 6, 2026), including the main results, the discussion and the appendices on verification and multi-agent orchestration. All numbers come from the paper; i10X did not rerun any proofs. The paper is licensed CC BY 4.0; the chart was redrawn by i10X from Figure 5b. The authors are with Google DeepMind and Google Quantum AI; three worked as research consultants on assignment at Google. No funding or conflict-of-interest statement is included. AI tools assisted with research and drafting; selection, fact-checking and final editing were done by the i10X editorial team.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">\ud83d\udd2d i10x Perspective<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">The headline numbers are impressive, but the bigger idea is the workflow. Formal proofs turn agent output from &#8220;plausible&#8221; into &#8220;checked&#8221;, and that is what lets many agent teams share work safely at scale. The open question is who writes the specifications, because that is now where both the leverage and the risk sit. We will watch whether the Lean library ships as promised and whether outside groups can reproduce the gains.<\/p>\n\n","protected":false},"excerpt":{"rendered":"<p>Google DeepMind and Google Quantum AI agent teams prove new quantum circuits in Lean, cutting costs by over 290\u00d7 for arcsin and 2.49\u201310.9\u00d7 for fusion, photochemistry and drug simulations.<\/p>\n","protected":false},"author":2,"featured_media":7024,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"paper_title":"Discovering formally verified quantum programs with AI","paper_url":"https:\/\/arxiv.org\/abs\/2611.09822","pdf_url":"https:\/\/arxiv.org\/pdf\/2611.09822","doi":"","arxiv_id":"2611.09822","authors":"Sergey Shirobokov, Ben Jaderberg, Katerina Hristova, George Tsoukalas, Johannes Bausch, Eric Wieser, Francisco J.H. Heras, Nicholas C. Rubin, Guang Hao Low, S\u00e9bastien Racani\u00e8re, Nenad Toma\u0161ev, Lei M. Zhang, James Watson, Tanuj Khattar, Aws Albarghouthi, Stavan Jain, Harun Khan, Leopoldo Sarra, Andrew W. Senior, Michael Broughton, Hussain Masoom, Sergio Boixo, Ryan Babbush, Swarat Chaudhuri, Pushmeet Kohli","institutions":"Google DeepMind; Google Quantum AI","paper_date":"2026-11-06","venue":"arXiv (quant-ph), version 1","peer_reviewed":false,"code_url":"","data_url":"","funding_coi":"Authors from Google DeepMind and Google Quantum AI; three authors worked as research consultants on assignment at Google. No funding or conflict-of-interest statement.","figure_license":"Own chart redrawn from Figure 5b (paper CC BY 4.0)","paper_license":"CC BY 4.0","replication":"no","study_models":"LLM agent teams (models chosen per team; not named in the paper); Lean 4 with quantum Hoare logic library","study_sample":"5 problems (parallel Grover search, fixed-point arcsin, fusion stopping power, non-Born\u2013Oppenheimer dynamics, cytochrome P450); 7 agent teams","footnotes":"","_yoast_wpseo_primary_category":""},"categories":[55,52],"tags":[],"companies":[37],"products":[],"class_list":["post-7026","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-agent-research","category-studies","company-google"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v28.7 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>DeepMind AI Agents Find Verified Quantum Programs - i10X News<\/title>\n<meta name=\"description\" content=\"Google DeepMind agent teams prove new quantum circuits in Lean: over 290\u00d7 cheaper arcsin and 10.9\u00d7, 8.08\u00d7 and 2.49\u00d7 gains for science simulations.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/i10xnews.kinsta.cloud\/deepmind-ai-agents-verified-quantum-programs-study\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"DeepMind AI Agents Find Verified Quantum Programs - i10X News\" \/>\n<meta property=\"og:description\" content=\"Google DeepMind agent teams prove new quantum circuits in Lean: over 290\u00d7 cheaper arcsin and 10.9\u00d7, 8.08\u00d7 and 2.49\u00d7 gains for science simulations.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/i10xnews.kinsta.cloud\/deepmind-ai-agents-verified-quantum-programs-study\" \/>\n<meta property=\"og:site_name\" content=\"i10X News\" \/>\n<meta property=\"article:published_time\" content=\"2026-11-09T08:11:16+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/i10xnews.kinsta.cloud\/wp-content\/uploads\/2026\/11\/deepmind-ai-agents-verified-quantum-programs-study-title.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"1344\" \/>\n\t<meta property=\"og:image:height\" content=\"768\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/webp\" \/>\n<meta name=\"author\" content=\"Christopher Ort\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:creator\" content=\"@i10x_ai\" \/>\n<meta name=\"twitter:site\" content=\"@i10x_ai\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Christopher Ort\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"6 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"NewsArticle\",\"@id\":\"https:\\\/\\\/i10xnews.kinsta.cloud\\\/deepmind-ai-agents-verified-quantum-programs-study#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/i10xnews.kinsta.cloud\\\/deepmind-ai-agents-verified-quantum-programs-study\"},\"author\":{\"name\":\"Christopher Ort\",\"@id\":\"https:\\\/\\\/i10x.ai\\\/news\\\/#\\\/schema\\\/person\\\/d410bb7ee72febefca2c9c369939219a\"},\"headline\":\"DeepMind Study: AI Agents Find Verified Quantum Programs\",\"datePublished\":\"2026-11-09T08:11:16+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/i10xnews.kinsta.cloud\\\/deepmind-ai-agents-verified-quantum-programs-study\"},\"wordCount\":1259,\"publisher\":{\"@id\":\"https:\\\/\\\/i10x.ai\\\/news\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/i10xnews.kinsta.cloud\\\/deepmind-ai-agents-verified-quantum-programs-study#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/i10x.ai\\\/news\\\/wp-content\\\/uploads\\\/2026\\\/11\\\/deepmind-ai-agents-verified-quantum-programs-study-title.webp\",\"articleSection\":[\"Agent Research\",\"Studies\"],\"inLanguage\":\"en-US\",\"dateModified\":\"2026-11-09T08:11:16+00:00\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/i10xnews.kinsta.cloud\\\/deepmind-ai-agents-verified-quantum-programs-study\",\"url\":\"https:\\\/\\\/i10xnews.kinsta.cloud\\\/deepmind-ai-agents-verified-quantum-programs-study\",\"name\":\"DeepMind AI Agents Find Verified Quantum Programs - i10X News\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/i10x.ai\\\/news\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/i10xnews.kinsta.cloud\\\/deepmind-ai-agents-verified-quantum-programs-study#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/i10xnews.kinsta.cloud\\\/deepmind-ai-agents-verified-quantum-programs-study#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/i10x.ai\\\/news\\\/wp-content\\\/uploads\\\/2026\\\/11\\\/deepmind-ai-agents-verified-quantum-programs-study-title.webp\",\"datePublished\":\"2026-11-09T08:11:16+00:00\",\"description\":\"Google DeepMind agent teams prove new quantum circuits in Lean: over 290\u00d7 cheaper arcsin and 10.9\u00d7, 8.08\u00d7 and 2.49\u00d7 gains for science simulations.\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/i10xnews.kinsta.cloud\\\/deepmind-ai-agents-verified-quantum-programs-study#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/i10xnews.kinsta.cloud\\\/deepmind-ai-agents-verified-quantum-programs-study\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/i10xnews.kinsta.cloud\\\/deepmind-ai-agents-verified-quantum-programs-study#primaryimage\",\"url\":\"https:\\\/\\\/i10x.ai\\\/news\\\/wp-content\\\/uploads\\\/2026\\\/11\\\/deepmind-ai-agents-verified-quantum-programs-study-title.webp\",\"contentUrl\":\"https:\\\/\\\/i10x.ai\\\/news\\\/wp-content\\\/uploads\\\/2026\\\/11\\\/deepmind-ai-agents-verified-quantum-programs-study-title.webp\",\"width\":1344,\"height\":768,\"caption\":\"Illustration: i10X\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/i10xnews.kinsta.cloud\\\/deepmind-ai-agents-verified-quantum-programs-study#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/i10x.ai\\\/news\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"DeepMind Study: AI Agents Find Verified Quantum Programs\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/i10x.ai\\\/news\\\/#website\",\"url\":\"https:\\\/\\\/i10x.ai\\\/news\",\"name\":\"i10X News\",\"description\":\"Stay updated with the latest news and announcements from i10X.\",\"publisher\":{\"@id\":\"https:\\\/\\\/i10x.ai\\\/news\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/i10x.ai\\\/news?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/i10x.ai\\\/news\\\/#organization\",\"name\":\"i10X\",\"url\":\"https:\\\/\\\/i10x.ai\\\/news\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/i10x.ai\\\/news\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/i10xnews.kinsta.cloud\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/i10x-logo-180.png\",\"contentUrl\":\"https:\\\/\\\/i10xnews.kinsta.cloud\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/i10x-logo-180.png\",\"width\":180,\"height\":180,\"caption\":\"i10X\"},\"image\":{\"@id\":\"https:\\\/\\\/i10x.ai\\\/news\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/x.com\\\/i10x_ai\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/i10x-ai\",\"https:\\\/\\\/instagram.com\\\/i10x.ai\",\"https:\\\/\\\/www.youtube.com\\\/@i10X_ai_official\"]},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/i10x.ai\\\/news\\\/#\\\/schema\\\/person\\\/d410bb7ee72febefca2c9c369939219a\",\"name\":\"Christopher Ort\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/i10x.ai\\\/news\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/christopher-ort-192.webp\",\"url\":\"https:\\\/\\\/i10x.ai\\\/news\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/christopher-ort-192.webp\",\"contentUrl\":\"https:\\\/\\\/i10x.ai\\\/news\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/christopher-ort-192.webp\",\"caption\":\"Christopher Ort\"},\"description\":\"Christopher Ort handles SEO, AI agent workflows and PR & partnerships at i10x.ai, the all-in-one AI workspace built by i10X Global Pte. Ltd. in Singapore. He is a graduate of Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg (FAU). He is the author of \u201cThe Style Penalty\u201d, a study published on SSRN that analyses 1,576 evaluation decisions by four frontier AI models to show how AI-written CVs fare in automated hiring screens; the research has been covered by heise online and t3n.\",\"url\":\"https:\\\/\\\/i10x.ai\\\/news\\\/author\\\/christopher-ort\",\"sameAs\":[\"https:\\\/\\\/i10x.ai\\\/blog\\\/author\\\/christopher-ort\"],\"worksFor\":{\"@id\":\"https:\\\/\\\/i10x.ai\\\/news\\\/#organization\"},\"alumniOf\":{\"@type\":\"EducationalOrganization\",\"name\":\"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg (FAU)\",\"url\":\"https:\\\/\\\/www.fau.eu\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"DeepMind AI Agents Find Verified Quantum Programs - i10X News","description":"Google DeepMind agent teams prove new quantum circuits in Lean: over 290\u00d7 cheaper arcsin and 10.9\u00d7, 8.08\u00d7 and 2.49\u00d7 gains for science simulations.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/i10xnews.kinsta.cloud\/deepmind-ai-agents-verified-quantum-programs-study","og_locale":"en_US","og_type":"article","og_title":"DeepMind AI Agents Find Verified Quantum Programs - i10X News","og_description":"Google DeepMind agent teams prove new quantum circuits in Lean: over 290\u00d7 cheaper arcsin and 10.9\u00d7, 8.08\u00d7 and 2.49\u00d7 gains for science simulations.","og_url":"https:\/\/i10xnews.kinsta.cloud\/deepmind-ai-agents-verified-quantum-programs-study","og_site_name":"i10X News","article_published_time":"2026-11-09T08:11:16+00:00","og_image":[{"width":1344,"height":768,"url":"https:\/\/i10xnews.kinsta.cloud\/wp-content\/uploads\/2026\/11\/deepmind-ai-agents-verified-quantum-programs-study-title.webp","type":"image\/webp"}],"author":"Christopher Ort","twitter_card":"summary_large_image","twitter_creator":"@i10x_ai","twitter_site":"@i10x_ai","twitter_misc":{"Written by":"Christopher Ort","Est. reading time":"6 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"NewsArticle","@id":"https:\/\/i10xnews.kinsta.cloud\/deepmind-ai-agents-verified-quantum-programs-study#article","isPartOf":{"@id":"https:\/\/i10xnews.kinsta.cloud\/deepmind-ai-agents-verified-quantum-programs-study"},"author":{"name":"Christopher Ort","@id":"https:\/\/i10x.ai\/news\/#\/schema\/person\/d410bb7ee72febefca2c9c369939219a"},"headline":"DeepMind Study: AI Agents Find Verified Quantum Programs","datePublished":"2026-11-09T08:11:16+00:00","mainEntityOfPage":{"@id":"https:\/\/i10xnews.kinsta.cloud\/deepmind-ai-agents-verified-quantum-programs-study"},"wordCount":1259,"publisher":{"@id":"https:\/\/i10x.ai\/news\/#organization"},"image":{"@id":"https:\/\/i10xnews.kinsta.cloud\/deepmind-ai-agents-verified-quantum-programs-study#primaryimage"},"thumbnailUrl":"https:\/\/i10x.ai\/news\/wp-content\/uploads\/2026\/11\/deepmind-ai-agents-verified-quantum-programs-study-title.webp","articleSection":["Agent Research","Studies"],"inLanguage":"en-US","dateModified":"2026-11-09T08:11:16+00:00"},{"@type":"WebPage","@id":"https:\/\/i10xnews.kinsta.cloud\/deepmind-ai-agents-verified-quantum-programs-study","url":"https:\/\/i10xnews.kinsta.cloud\/deepmind-ai-agents-verified-quantum-programs-study","name":"DeepMind AI Agents Find Verified Quantum Programs - i10X News","isPartOf":{"@id":"https:\/\/i10x.ai\/news\/#website"},"primaryImageOfPage":{"@id":"https:\/\/i10xnews.kinsta.cloud\/deepmind-ai-agents-verified-quantum-programs-study#primaryimage"},"image":{"@id":"https:\/\/i10xnews.kinsta.cloud\/deepmind-ai-agents-verified-quantum-programs-study#primaryimage"},"thumbnailUrl":"https:\/\/i10x.ai\/news\/wp-content\/uploads\/2026\/11\/deepmind-ai-agents-verified-quantum-programs-study-title.webp","datePublished":"2026-11-09T08:11:16+00:00","description":"Google DeepMind agent teams prove new quantum circuits in Lean: over 290\u00d7 cheaper arcsin and 10.9\u00d7, 8.08\u00d7 and 2.49\u00d7 gains for science simulations.","breadcrumb":{"@id":"https:\/\/i10xnews.kinsta.cloud\/deepmind-ai-agents-verified-quantum-programs-study#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/i10xnews.kinsta.cloud\/deepmind-ai-agents-verified-quantum-programs-study"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/i10xnews.kinsta.cloud\/deepmind-ai-agents-verified-quantum-programs-study#primaryimage","url":"https:\/\/i10x.ai\/news\/wp-content\/uploads\/2026\/11\/deepmind-ai-agents-verified-quantum-programs-study-title.webp","contentUrl":"https:\/\/i10x.ai\/news\/wp-content\/uploads\/2026\/11\/deepmind-ai-agents-verified-quantum-programs-study-title.webp","width":1344,"height":768,"caption":"Illustration: i10X"},{"@type":"BreadcrumbList","@id":"https:\/\/i10xnews.kinsta.cloud\/deepmind-ai-agents-verified-quantum-programs-study#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/i10x.ai\/news"},{"@type":"ListItem","position":2,"name":"DeepMind Study: AI Agents Find Verified Quantum Programs"}]},{"@type":"WebSite","@id":"https:\/\/i10x.ai\/news\/#website","url":"https:\/\/i10x.ai\/news","name":"i10X News","description":"Stay updated with the latest news and announcements from i10X.","publisher":{"@id":"https:\/\/i10x.ai\/news\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/i10x.ai\/news?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/i10x.ai\/news\/#organization","name":"i10X","url":"https:\/\/i10x.ai\/news\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/i10x.ai\/news\/#\/schema\/logo\/image\/","url":"https:\/\/i10xnews.kinsta.cloud\/wp-content\/uploads\/2026\/10\/i10x-logo-180.png","contentUrl":"https:\/\/i10xnews.kinsta.cloud\/wp-content\/uploads\/2026\/10\/i10x-logo-180.png","width":180,"height":180,"caption":"i10X"},"image":{"@id":"https:\/\/i10x.ai\/news\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/x.com\/i10x_ai","https:\/\/www.linkedin.com\/company\/i10x-ai","https:\/\/instagram.com\/i10x.ai","https:\/\/www.youtube.com\/@i10X_ai_official"]},{"@type":"Person","@id":"https:\/\/i10x.ai\/news\/#\/schema\/person\/d410bb7ee72febefca2c9c369939219a","name":"Christopher Ort","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/i10x.ai\/news\/wp-content\/uploads\/2026\/10\/christopher-ort-192.webp","url":"https:\/\/i10x.ai\/news\/wp-content\/uploads\/2026\/10\/christopher-ort-192.webp","contentUrl":"https:\/\/i10x.ai\/news\/wp-content\/uploads\/2026\/10\/christopher-ort-192.webp","caption":"Christopher Ort"},"description":"Christopher Ort handles SEO, AI agent workflows and PR & partnerships at i10x.ai, the all-in-one AI workspace built by i10X Global Pte. Ltd. in Singapore. He is a graduate of Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg (FAU). He is the author of \u201cThe Style Penalty\u201d, a study published on SSRN that analyses 1,576 evaluation decisions by four frontier AI models to show how AI-written CVs fare in automated hiring screens; the research has been covered by heise online and t3n.","url":"https:\/\/i10x.ai\/news\/author\/christopher-ort","sameAs":["https:\/\/i10x.ai\/blog\/author\/christopher-ort"],"worksFor":{"@id":"https:\/\/i10x.ai\/news\/#organization"},"alumniOf":{"@type":"EducationalOrganization","name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg (FAU)","url":"https:\/\/www.fau.eu"}}]}},"_links":{"self":[{"href":"https:\/\/i10x.ai\/news\/wp-json\/wp\/v2\/posts\/7026","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/i10x.ai\/news\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/i10x.ai\/news\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/i10x.ai\/news\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/i10x.ai\/news\/wp-json\/wp\/v2\/comments?post=7026"}],"version-history":[{"count":1,"href":"https:\/\/i10x.ai\/news\/wp-json\/wp\/v2\/posts\/7026\/revisions"}],"predecessor-version":[{"id":7031,"href":"https:\/\/i10x.ai\/news\/wp-json\/wp\/v2\/posts\/7026\/revisions\/7031"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/i10x.ai\/news\/wp-json\/wp\/v2\/media\/7024"}],"wp:attachment":[{"href":"https:\/\/i10x.ai\/news\/wp-json\/wp\/v2\/media?parent=7026"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/i10x.ai\/news\/wp-json\/wp\/v2\/categories?post=7026"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/i10x.ai\/news\/wp-json\/wp\/v2\/tags?post=7026"},{"taxonomy":"company","embeddable":true,"href":"https:\/\/i10x.ai\/news\/wp-json\/wp\/v2\/companies?post=7026"},{"taxonomy":"product","embeddable":true,"href":"https:\/\/i10x.ai\/news\/wp-json\/wp\/v2\/products?post=7026"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}