Advancing mathematics research with AI-driven formal proof search. (science.org)

Authors: Tsoukalas G … Chaudhuri S Journal: Science Published: 2026-10-08 DOI: https://doi.org/10.1126/science.aej2213