@article{tsoukalas2026advancing
      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 Codrut Grosu  and Edward Lockhart  and Thomas Hubert  and Matej Balog  and Pushmeet Kohli  and Swarat Chaudhuri},
      title = {Advancing mathematics research with {AI}-driven formal proof search},
      journal = {Science},
      volume = {394},
      number = {6820},
      pages = {234--239},
      year = {2026},
      doi = {10.1126/science.aej2213},
      URL = {https://www.science.org/doi/abs/10.1126/science.aej2213},
      eprint = {https://www.science.org/doi/pdf/10.1126/science.aej2213},
}