Multi-Agent Scientific Discovery in Theoretical Quantum Physics
- Date
- October 14 (Wed) 15:30 - 16:30, 2026 (JST) Tomorrow
- Speaker
-
- Sirui Lu (Ph.D. Candidate, Max Planck Institute of Quantum Optics and TU Munich, Germany)
- Venue
- via Zoom
- Language
- English
- Host
- Lingxiao Wang
This is a joint seminar co-hosted by Institute for Physics of Intelligence (iπ), UTokyo.
Large language model agents have excelled on mathematical and coding benchmarks, but can they accelerate scientific discovery in quantum physics? In this talk, I will present a multi-agent framework that couples LLM reasoning with computational backends at increasing levels of rigor and demonstrate it through two applications: (i) co-design of quantum error-correcting codes with transversal diagonal gates via multi-agent numerical search, and (ii) formal verification of tensor network theory and MIP*=RE in Lean 4. The underlying system, TeXRA, orchestrates specialized agents and builds research and verification frameworks that connect informal physical reasoning to numerical computation and machine-checked proof.
References
- S. Lu, Z. Jin, T. J. Zhang, P. Kos, J. I. Cirac, and B. Schölkopf, Can Theoretical Physics Research Benefit from Language Agents?, arXiv: 2506.06214
- TeXRA
- X. He, S. Lu, and B. Zeng, Co-Designing Quantum Codes with Transversal Diagonal Gates via Multi-Agent Systems, arXiv: 2510.20728
- S. Lu, E. Tjoa, and J. I. Cirac, Multi-agent Autoformalization of Tensor Network Theory, arXiv: 2607.07857
- S. Lu, R. Deng, Y. Zhu, Z. Ji, Long-horizon autoformalization of a core theorem underlying MIP* = RE, arXiv: 2609.19814
This is a closed event for scientists. Non-scientists are not allowed to attend. If you are not a member or related person and would like to attend, please contact us using the inquiry form. Please note that the event organizer or speaker must authorize your request to attend.