Olympiad-level formal mathematical reasoning with reinforcement learning. (nature.com)

Authors: Hubert T … Silver D Journal: Nature Published: 2026-03-01 DOI: https://doi.org/10.1038/s41586-025-09833-y