{"best_oa_location":{"endpoint_id":null,"evidence":"deprecated","host_type":"publisher","is_best":true,"license":"cc-by","oa_date":"2025-11-12","pmh_id":null,"repository_institution":null,"updated":"deprecated","url":"https://www.nature.com/articles/s41586-025-09833-y_reference.pdf","url_for_landing_page":"https://doi.org/10.1038/s41586-025-09833-y","url_for_pdf":"https://www.nature.com/articles/s41586-025-09833-y_reference.pdf","version":"publishedVersion"},"data_standard":2,"doi":"10.1038/s41586-025-09833-y","doi_url":"https://doi.org/10.1038/s41586-025-09833-y","first_oa_location":{"endpoint_id":null,"evidence":"deprecated","host_type":"publisher","is_best":true,"license":"cc-by","oa_date":"2025-11-12","pmh_id":null,"repository_institution":null,"updated":"deprecated","url":"https://www.nature.com/articles/s41586-025-09833-y_reference.pdf","url_for_landing_page":"https://doi.org/10.1038/s41586-025-09833-y","url_for_pdf":"https://www.nature.com/articles/s41586-025-09833-y_reference.pdf","version":"publishedVersion"},"genre":"journal-article","has_repository_copy":true,"is_oa":true,"is_paratext":false,"journal_is_in_doaj":false,"journal_is_oa":false,"journal_issn_l":"0028-0836","journal_issns":"0028-0836,1476-4687","journal_name":"Nature","oa_locations":[{"endpoint_id":null,"evidence":"deprecated","host_type":"publisher","is_best":true,"license":"cc-by","oa_date":"2025-11-12","pmh_id":null,"repository_institution":null,"updated":"deprecated","url":"https://www.nature.com/articles/s41586-025-09833-y_reference.pdf","url_for_landing_page":"https://doi.org/10.1038/s41586-025-09833-y","url_for_pdf":"https://www.nature.com/articles/s41586-025-09833-y_reference.pdf","version":"publishedVersion"},{"endpoint_id":"ac9de7698155b820de7","evidence":"deprecated","host_type":"repository","is_best":false,"license":"cc-by","oa_date":"2025-11-12","pmh_id":"oai:pubmedcentral.nih.gov:12999475","repository_institution":"National Institutes of Health","updated":"deprecated","url":"https://pmc.ncbi.nlm.nih.gov/articles/PMC12999475/pdf/41586_2025_Article_9833.pdf","url_for_landing_page":"https://pmc.ncbi.nlm.nih.gov/articles/PMC12999475/","url_for_pdf":"https://pmc.ncbi.nlm.nih.gov/articles/PMC12999475/pdf/41586_2025_Article_9833.pdf","version":"submittedVersion"}],"oa_locations_embargoed":[],"oa_status":"hybrid","published_date":"2025-11-12","publisher":"Springer Science and Business Media LLC","title":"Olympiad-level formal mathematical reasoning with reinforcement learning","updated":"2026-03-23T07:58:15Z","year":2025,"z_authors":[{"author_position":"first","is_corresponding":true,"raw_affiliation_strings":["Google DeepMind, London, UK. tkhubert@google.com","Google DeepMind, London, UK"],"raw_author_name":"Thomas Hubert"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Rishi Mehta"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Laurent Sartran"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Mikl\u00f3s Z. Horv\u00e1th"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Goran \u017du\u017ei\u0107"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK. efw@google.com","Google DeepMind, London, UK"],"raw_author_name":"Eric Wieser"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Aja Huang"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Julian Schrittwieser"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Yannick Schroecker"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Hussain Masoom"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Ottavia Bertolli"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Tom Zahavy"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Amol Mandhane"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Jessica Yung"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Iuliya Beloshapka"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Borja Ibarz"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Vivek Veeriah"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Lei Yu"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Oliver Nash"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Paul Lezeau"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Salvatore Mercuri"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Calle S\u00f6nne"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Bhavik Mehta"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Alex Davies"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Daniel Zheng"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Fabian Pedregosa"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Yin Li"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Ingrid von Glehn"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Mark Rowland"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Samuel Albanie"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Ameya Velingker"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Simon Schmitt"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Edward Lockhart"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Edward Hughes"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Henryk Michalewski"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Nicolas Sonnerat"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"Demis Hassabis"},{"author_position":"middle","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK. pushmeet@google.com","Google DeepMind, London, UK"],"raw_author_name":"Pushmeet Kohli"},{"author_position":"last","is_corresponding":false,"raw_affiliation_strings":["Google DeepMind, London, UK"],"raw_author_name":"David Silver"}]}