{"data":[{"_id":"41225005","authors":[{"lastName":"Hubert","fullName":"Hubert, Thomas","firstName":"Thomas"},{"lastName":"Mehta","fullName":"Mehta, Rishi","firstName":"Rishi"},{"lastName":"Sartran","fullName":"Sartran, Laurent","firstName":"Laurent"},{"lastName":"Horváth","fullName":"Horváth, Miklós Z","firstName":"Miklós Z"},{"lastName":"Žužić","fullName":"Žužić, Goran","firstName":"Goran"},{"lastName":"Wieser","fullName":"Wieser, Eric","firstName":"Eric"},{"lastName":"Huang","fullName":"Huang, Aja","firstName":"Aja"},{"lastName":"Schrittwieser","fullName":"Schrittwieser, Julian","firstName":"Julian"},{"lastName":"Schroecker","fullName":"Schroecker, Yannick","firstName":"Yannick"},{"lastName":"Masoom","fullName":"Masoom, Hussain","firstName":"Hussain"},{"lastName":"Bertolli","fullName":"Bertolli, Ottavia","firstName":"Ottavia"},{"lastName":"Zahavy","fullName":"Zahavy, Tom","firstName":"Tom"},{"lastName":"Mandhane","fullName":"Mandhane, Amol","firstName":"Amol"},{"lastName":"Yung","fullName":"Yung, Jessica","firstName":"Jessica"},{"lastName":"Beloshapka","fullName":"Beloshapka, Iuliya","firstName":"Iuliya"},{"lastName":"Ibarz","fullName":"Ibarz, Borja","firstName":"Borja"},{"lastName":"Veeriah","fullName":"Veeriah, Vivek","firstName":"Vivek"},{"lastName":"Yu","fullName":"Yu, Lei","firstName":"Lei"},{"lastName":"Nash","fullName":"Nash, Oliver","firstName":"Oliver"},{"lastName":"Lezeau","fullName":"Lezeau, Paul","firstName":"Paul"},{"lastName":"Mercuri","fullName":"Mercuri, Salvatore","firstName":"Salvatore"},{"lastName":"Sönne","fullName":"Sönne, Calle","firstName":"Calle"},{"lastName":"Mehta","fullName":"Mehta, Bhavik","firstName":"Bhavik"},{"lastName":"Davies","fullName":"Davies, Alex","firstName":"Alex"},{"lastName":"Zheng","fullName":"Zheng, Daniel","firstName":"Daniel"},{"lastName":"Pedregosa","fullName":"Pedregosa, Fabian","firstName":"Fabian"},{"lastName":"Li","fullName":"Li, Yin","firstName":"Yin"},{"lastName":"Von Glehn","fullName":"Von Glehn, Ingrid","firstName":"Ingrid"},{"lastName":"Rowland","fullName":"Rowland, Mark","firstName":"Mark"},{"lastName":"Albanie","fullName":"Albanie, Samuel","firstName":"Samuel"},{"lastName":"Velingker","fullName":"Velingker, Ameya","firstName":"Ameya"},{"lastName":"Schmitt","fullName":"Schmitt, Simon","firstName":"Simon"},{"lastName":"Lockhart","fullName":"Lockhart, Edward","firstName":"Edward"},{"lastName":"Hughes","fullName":"Hughes, Edward","firstName":"Edward"},{"lastName":"Michalewski","fullName":"Michalewski, Henryk","firstName":"Henryk"},{"lastName":"Sonnerat","fullName":"Sonnerat, Nicolas","firstName":"Nicolas"},{"lastName":"Hassabis","fullName":"Hassabis, Demis","firstName":"Demis"},{"lastName":"Kohli","fullName":"Kohli, Pushmeet","firstName":"Pushmeet"},{"lastName":"Silver","fullName":"Silver, David","firstName":"David"}],"doi":"10.1038/s41586-025-09833-y","pmid":41225005,"title":"Olympiad-level formal mathematical reasoning with reinforcement learning.","animal":0.0,"human":1.0,"apt":0.05,"citedByClinicalArticle":false,"citedByPmidsByYear":[{"41768702":2026},{"41829395":2026},{"42300014":2026},{"41224928":2026}],"year":2026,"journal":"Nature","is_research_article":true,"citation_count":4,"field_citation_rate":8.833702718676161,"expected_citations_per_year":null,"citations_per_year":4.0,"relative_citation_ratio":null,"nih_percentile":null,"molecular_cellular":0.0,"x_coord":0.0,"y_coord":1.0,"is_clinical":false,"cited_by_clin":null,"cited_by":[41768702,41829395,42300014,41224928],"references":[37286649,29052630,40962978,30523106,33361790,36480631,26819042,36198780],"provisional":false}]}