@misc{indiciae9d877dcf9db8,
  title = {Advancing Mathematics Research with AI-Driven Formal Proof Search},
  author = {George Tsoukalas and Anton Kovsharov and Sergey Shirobokov and Anja Surina and Moritz Firsching and Gergely Bérczi and Francisco J. R. Ruiz and Arun Suggala and Adam Zsolt Wagner and Eric Wieser and Lei Yu and Aja Huang and Miklós Z. Horváth and Andrew Ferraiuolo and Henryk Michalewski and Edward Lockhart and Codrut Grosu and Thomas Hubert and Matej Balog and Pushmeet Kohli and Swarat Chaudhuri},
  year = {2026},
  url = {https://arxiv.org/abs/2605.22763},
  note = {Source identifier: 2605.22763}
}