{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,9]],"date-time":"2026-10-09T16:55:42Z","timestamp":1791564942767,"version":"4.3.4"},"reference-count":89,"publisher":"SAGE Publications","license":[{"start":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T00:00:00Z","timestamp":1791331200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"funder":[{"DOI":"10.13039\/100000879","name":"Alfred P. Sloan Foundation","doi-asserted-by":"publisher","award":["G-2025-25317"],"award-info":[{"award-number":["G-2025-25317"]}],"id":[{"id":"10.13039\/100000879","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Soc Stud Sci"],"abstract":"<jats:p>The use of AI-based technologies is reshaping mathematics in ways that extend but also strain the classic Big Science analogy. As in Big Science, the new AI-based mathematical work relies on concentrated computation, specialized and hierarchical teams, sociopolitical justification, and large-scale collaboration. But AI also changes how epistemic labor is distributed and attributed: Systems now generate constructions, explore proof spaces, and formalize arguments, prompting mathematicians to renegotiate how credit, authority, and accountability are assigned across hybrid human\u2013machine assemblages. This reconfiguration redistributes epistemic authority toward corporate labs and elite hubs that control models, data, compute, and narrative, thereby gating which problems appear tractable and legitimate. Analyzing four dimensions (resource concentration, division of labor, political embedding, and collaboration), and examining recent cases, we argue that AI-based mathematics constitutes a novel sociotechnical regime we call \u2018Big AI Mathematics\u2019, in which truth claims are increasingly mediated by opaque pipelines and institutional power, making the future of mathematical knowledge as much a governance problem as an epistemic one.<\/jats:p>","DOI":"10.1177\/03063127261482050","type":"journal-article","created":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T04:28:20Z","timestamp":1791433700000},"update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":0,"title":["Big AI-Based Mathematics and the Redistribution of Epistemic Labor"],"prefix":"10.1177","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2905-0170","authenticated-orcid":false,"given":"Michael","family":"Friedman","sequence":"first","affiliation":[{"name":"Mathematical Institute, University of Bonn, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6867-3701","authenticated-orcid":false,"given":"Kati","family":"Kish Bar-On","sequence":"additional","affiliation":[{"name":"Boston University, MA, USA"},{"name":"Harvard Business School, Boston, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"179","published-online":{"date-parts":[[2026,10,7]]},"reference":[{"key":"e_1_3_4_2_1","unstructured":"Ahmed N. Wahed M. (2020). The De-democratization of AI: Deep learning and the compute divide in artificial intelligence research. arXiv. https:\/\/arxiv.org\/abs\/2010.15581"},{"key":"e_1_3_4_3_1","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/1712.001.0001"},{"key":"e_1_3_4_4_1","volume-title":"Seduced by logic: Emilie Du Chatelet, Mary Somerville and the Newtonian Revolution","author":"Arianrhod R.","year":"2012","unstructured":"Arianrhod R. (2012). Seduced by logic: Emilie Du Chatelet, Mary Somerville and the Newtonian Revolution. Oxford University Press."},{"issue":"7","key":"e_1_3_4_5_1","first-page":"736","article-title":"The status of the classification of the finite simple groups","volume":"51","author":"Aschbacher M.","year":"2004","unstructured":"Aschbacher M. (2004). The status of the classification of the finite simple groups. Notices of the American Mathematical Society, 51(7), 736\u2013740.","journal-title":"Notices of the American Mathematical Society"},{"key":"e_1_3_4_6_1","doi-asserted-by":"crossref","unstructured":"Beisbart C. (2021). Opacity thought through: On the intransparency of computer simulations. Synthese 199 11643\u201311666. https:\/\/doi.org\/10.1007\/s11229-021-03305-2","DOI":"10.1007\/s11229-021-03305-2"},{"key":"e_1_3_4_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-032-03083-2_1"},{"key":"e_1_3_4_8_1","unstructured":"Besiroglu T. Bergerson S. A. Michael A. Heim L. Luo X. Thompson N. (2024). The compute divide in machine learning: A threat to academic contribution and scrutiny? arXiv https:\/\/doi.org\/10.48550\/arXiv.2401.02452"},{"key":"e_1_3_4_9_1","doi-asserted-by":"publisher","DOI":"10.4324\/9780203954270"},{"key":"e_1_3_4_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-61716-4_4"},{"key":"e_1_3_4_11_1","doi-asserted-by":"crossref","unstructured":"Bloor D. (1978). Polyhedra and the abominations of Leviticus. The British Journal for the History of Science 11(3) 245\u2013272. https:\/\/doi.org\/10.1017\/S000708740004379X","DOI":"10.1017\/S000708740004379X"},{"key":"e_1_3_4_12_1","volume-title":"Knowledge and social imagery","author":"Bloor D.","year":"1991","unstructured":"Bloor D. (1991). Knowledge and social imagery. University of Chicago Press."},{"key":"e_1_3_4_13_1","doi-asserted-by":"publisher","DOI":"10.4324\/9780203508527"},{"key":"e_1_3_4_14_1","doi-asserted-by":"crossref","unstructured":"Bos H. J. M. Mehrtens H. (1977). The interactions of mathematics and society in history some exploratory remarks. Historia Mathematica 4 7\u201330. https:\/\/doi.org\/10.1016\/0315-0860(77)90031-3","DOI":"10.1016\/0315-0860(77)90031-3"},{"key":"e_1_3_4_15_1","doi-asserted-by":"crossref","unstructured":"Bourbaki N. (1949). Foundations of mathematics for the working mathematician. The Journal of Symbolic Logic 14(1) 1\u20138. https:\/\/doi.org\/10.2307\/2268971","DOI":"10.2307\/2268971"},{"key":"e_1_3_4_16_1","doi-asserted-by":"crossref","unstructured":"Callon M. (1984). Some elements of a sociology of translation: Domestication of the scallops and the fishermen of St Brieuc Bay. The Sociological Review 32 196\u2013233. https:\/\/doi.org\/10.1111\/j.1467-954X.1984.tb00113.x","DOI":"10.1111\/j.1467-954X.1984.tb00113.x"},{"key":"e_1_3_4_17_1","doi-asserted-by":"crossref","unstructured":"Capshew J. H. Rader K. A. (1992). Big science: Price to the present. Osiris 7 3\u201325. https:\/\/doi.org\/10.1086\/368703","DOI":"10.1086\/368703"},{"key":"e_1_3_4_18_1","doi-asserted-by":"crossref","unstructured":"Chemla K. (2015). Proof generality and the prescription of mathematical action: A nanohistorical approach to communication. Centaurus 57(4) 278\u2013300. https:\/\/doi.org\/10.1111\/1600-0498.12111","DOI":"10.1111\/1600-0498.12111"},{"key":"e_1_3_4_19_1","unstructured":"Chervonyi Y. Trinh T. H. Ol\u0161\u00e1k M. Yang X. Nguyen H. Menegali M. Jung J. Verma V. Le Q. V. Luong T. (2025). Gold-medalist performance in solving olympiad geometry with alphageometry2. arXiv. https:\/\/doi.org\/10.48550\/arXiv.2502.03544"},{"key":"e_1_3_4_20_1","doi-asserted-by":"crossref","unstructured":"Collins H. (1998). The meaning of data: Open and closed evidential cultures in the search for gravitational waves. American Journal of Sociology 104(2) 293\u2013338. https:\/\/doi.org\/10.1086\/210040","DOI":"10.1086\/210040"},{"key":"e_1_3_4_21_1","volume-title":"Plato: Complete works","author":"Cooper J. M.","year":"1997","unstructured":"Cooper J. M., Hutchinson D. S. (Eds.). (1997). Plato: Complete works. Hackett Publishing."},{"key":"e_1_3_4_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-7917-0"},{"key":"e_1_3_4_23_1","doi-asserted-by":"crossref","unstructured":"Croce M. Baghramian M. (2024). Experts\u2014Part II: The sources of epistemic authority. Philosophy Compass 19(9\u201310) Article e70005. https:\/\/doi.org\/10.1111\/phc3.70005","DOI":"10.1111\/phc3.70005"},{"key":"e_1_3_4_24_1","doi-asserted-by":"crossref","unstructured":"Davies A. Veli\u010dkovi\u0107 P. Buesing L. Blackwell S. Zheng D. Toma\u0161ev N. Tanburn R. Battaglia P. Blundell C. Juh\u00e1sz A. Lackenby M. Williamson G. Hassabis D. Kohli P. (2021). Advancing mathematics by guiding human intuition with AI. Nature 600 70\u201374. https:\/\/doi.org\/10.1038\/s41586-021-04086-x","DOI":"10.1038\/s41586-021-04086-x"},{"key":"e_1_3_4_25_1","unstructured":"Davis E. (2021). Deep learning and mathematical intuition: A review of (Davies et al. 2021). https:\/\/arxiv.org\/abs\/2112.04324"},{"key":"e_1_3_4_26_1","first-page":"315","volume-title":"From logic to practice: Italian studies in the philosophy of mathematics","author":"De Toffoli S.","year":"2014","unstructured":"De Toffoli S., Giardino V. (2014). An inquiry into the practice of proving in low-dimensional topology. In Lolli G., Panza M., Venturi G. (Eds.), From logic to practice: Italian studies in the philosophy of mathematics. Boston Studies in the History and the Philosophy of Science (Vol. 308, pp. 315\u2013336). Springer."},{"key":"e_1_3_4_27_1","doi-asserted-by":"crossref","unstructured":"Dung L. (2025). Understanding artificial agency. The Philosophical Quarterly 75(2) 450\u2013472. https:\/\/doi.org\/10.1093\/pq\/pqae010","DOI":"10.1093\/pq\/pqae010"},{"key":"e_1_3_4_28_1","volume-title":"A vast machine: Computer models, climate data, and the politics of global warming","author":"Edwards P. N.","year":"2013","unstructured":"Edwards P. N. (2013). A vast machine: Computer models, climate data, and the politics of global warming. MIT Press."},{"key":"e_1_3_4_29_1","volume-title":"Social constructivism as a philosophy of mathematics","author":"Ernest P.","year":"1998","unstructured":"Ernest P. (1998). Social constructivism as a philosophy of mathematics. State University of New York."},{"key":"e_1_3_4_30_1","doi-asserted-by":"crossref","unstructured":"Fawzi A. Balog M. Huang A. Hubert T. Romera-Paredes B. Barekatain M. Novikov A. R. Ruiz F. J. Schrittwieser J. Swirszcz G. Silver D. (2022). Discovering faster matrix multiplication algorithms with reinforcement learning. Nature 610(7930) 47\u201353. https:\/\/doi.org\/10.1038\/s41586-022-05172-4","DOI":"10.1038\/s41586-022-05172-4"},{"key":"e_1_3_4_31_1","doi-asserted-by":"publisher","DOI":"10.1515\/9781400874002"},{"key":"e_1_3_4_32_1","doi-asserted-by":"crossref","unstructured":"Floridi L. (2025). AI as Agency without Intelligence: On artificial intelligence as a new form of artificial agency and the multiple realisability of agency thesis. Philosophy & Technology 38 Article 30. https:\/\/doi.org\/10.1007\/s13347-025-00858-9","DOI":"10.1007\/s13347-025-00858-9"},{"key":"e_1_3_4_33_1","doi-asserted-by":"crossref","unstructured":"Friedman M. Kish Bar-On K. (2026). Rethinking mathematical intuition in the age of AI. The Mathematical Intelligencer. https:\/\/doi.org\/10.1007\/s00283-026-10561-y","DOI":"10.1007\/s00283-026-10561-y"},{"key":"e_1_3_4_34_1","volume-title":"Image and logic: A material culture of microphysics","author":"Galison P.","year":"1997","unstructured":"Galison P. (1997). Image and logic: A material culture of microphysics. University of Chicago Press."},{"key":"e_1_3_4_35_1","volume-title":"Big science: The growth of large-scale research","author":"Galison P.","year":"1992","unstructured":"Galison P., Hevly B. (Eds.). (1992). Big science: The growth of large-scale research. Stanford University Press."},{"key":"e_1_3_4_36_1","volume-title":"Cultural boundaries of science: Credibility on the line","author":"Gieryn T. F.","year":"1999","unstructured":"Gieryn T. F. (1999). Cultural boundaries of science: Credibility on the line. University of Chicago Press."},{"key":"e_1_3_4_37_1","unstructured":"Glazer E. Erdil E. Besiroglu T. Chicharro D. Chen E. Gunning A. Olsson C. F. Denain J.-S. Ho A. de Oliveira Santos E. J\u00e4rviniemi O. Barnett M. Sandler R. Vrzala M. Sevilla J. Ren Q. Pratt E. Levine L. Barkley G. \u2026 Wildon M. (2024). Frontiermath: A benchmark for evaluating advanced mathematical reasoning in AI. arXiv. https:\/\/doi.org\/10.48550\/arXiv.2411.04872"},{"key":"e_1_3_4_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-8497-7"},{"key":"e_1_3_4_39_1","volume-title":"Women of mathematics: A biobibliographic sourcebook","author":"Grinstein L. S.","year":"1987","unstructured":"Grinstein L. S., Campbell P. J. (Eds.). (1987). Women of mathematics: A biobibliographic sourcebook. Greenwood Press."},{"key":"e_1_3_4_40_1","volume-title":"The psychology of invention in the mathematical field","author":"Hadamard J.","year":"1945","unstructured":"Hadamard J. (1945). The psychology of invention in the mathematical field. Princeton University Press."},{"key":"e_1_3_4_41_1","doi-asserted-by":"crossref","unstructured":"Hamami Y. (2023). Agency in mathematical practice. In Sriraman B. (Ed.) Handbook of the history and philosophy of mathematical practice (pp. 1\u201319). Springer. https:\/\/doi.org\/10.1007\/978-3-030-19071-2_48-1","DOI":"10.1007\/978-3-030-19071-2_48-1"},{"key":"e_1_3_4_42_1","unstructured":"Harris M. (2025). The FrontierMath scandal. Silicon Reckoner. https:\/\/siliconreckoner.substack.com\/p\/the-frontier-math-scandal"},{"key":"e_1_3_4_43_1","unstructured":"Harris M. (2026a). Quick clarification on authorship. Silicon Reckoner. https:\/\/siliconreckoner.substack.com\/p\/quick-clarification-on-authorship"},{"key":"e_1_3_4_44_1","unstructured":"Harris M. (2026b). Mathematics is not rational really! Silicon Reckoner. https:\/\/siliconreckoner.substack.com\/p\/mathematics-is-not-rational-really"},{"key":"e_1_3_4_45_1","volume-title":"The proof in the code: How a truth machine is transforming math and AI","author":"Hartnett K.","year":"2026","unstructured":"Hartnett K. (2026). The proof in the code: How a truth machine is transforming math and AI. Quanta Books."},{"key":"e_1_3_4_46_1","volume-title":"Epistemische Autorit\u00e4ten: Individuelle und plurale [Epistemic Authorities: Individual and Plural]","author":"Hauswald R.","year":"2021","unstructured":"Hauswald R. (2021). Epistemische Autorit\u00e4ten: Individuelle und plurale [Epistemic Authorities: Individual and Plural]. Springer."},{"key":"e_1_3_4_47_1","doi-asserted-by":"crossref","unstructured":"Hauswald R. (2025). Artificial epistemic authorities. Social Epistemology 39(6) 716\u2013725. https:\/\/doi.org\/10.1080\/02691728.2025.2449602","DOI":"10.1080\/02691728.2025.2449602"},{"key":"e_1_3_4_48_1","volume-title":"Die Innenwelt der Mathematik. Zur Kultur und Praxis einer beweisenden Disziplin [The Inner World of Mathematics: On the Culture and Practice of a Discipline of Proof]","author":"Heintz B.","year":"2000","unstructured":"Heintz B. (2000). Die Innenwelt der Mathematik. Zur Kultur und Praxis einer beweisenden Disziplin [The Inner World of Mathematics: On the Culture and Practice of a Discipline of Proof]. Springer."},{"key":"e_1_3_4_49_1","doi-asserted-by":"crossref","unstructured":"Hutson J. (2025). Human-AI collaboration in writing: A multidimensional framework for creative and intellectual authorship. International Journal of Changes in Education. Advance online publication. https:\/\/doi.org\/10.47852\/bonviewIJCE52024908","DOI":"10.47852\/bonviewIJCE52024908"},{"key":"e_1_3_4_50_1","unstructured":"IEA. (2025). Energy and AI. Author. https:\/\/www.iea.org\/reports\/energy-and-ai"},{"key":"e_1_3_4_51_1","doi-asserted-by":"publisher","DOI":"10.1093\/oxfordhb\/9780190949945.013.4"},{"key":"e_1_3_4_52_1","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/12517.001.0001"},{"key":"e_1_3_4_53_1","doi-asserted-by":"publisher","DOI":"10.4159\/9780674039681"},{"key":"e_1_3_4_54_1","doi-asserted-by":"crossref","unstructured":"Larvor B. (2019). From Euclidean geometry to knots and nets. Synthese 196(7) 2715\u20132736. https:\/\/doi.org\/10.1007\/s11229-017-1558-x","DOI":"10.1007\/s11229-017-1558-x"},{"key":"e_1_3_4_55_1","volume-title":"Science in action: How to follow scientists and engineers through society","author":"Latour B.","year":"1987","unstructured":"Latour B. (1987). Science in action: How to follow scientists and engineers through society. Harvard University Press."},{"key":"e_1_3_4_56_1","unstructured":"Leiden Declaration. (2026). Leiden Declaration on Artificial Intelligence and Mathematics. https:\/\/leidendeclaration.ai\/"},{"issue":"1","key":"e_1_3_4_57_1","first-page":"17","article-title":"Musings on mathematical creativity","volume":"26","author":"Liljedahl P.","year":"2006","unstructured":"Liljedahl P., Sriraman B. (2006). Musings on mathematical creativity. For The Learning of Mathematics, 26(1), 17\u201319.","journal-title":"For The Learning of Mathematics"},{"key":"e_1_3_4_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"e_1_3_4_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-3335-4"},{"key":"e_1_3_4_60_1","first-page":"247","article-title":"Attacking the busy beaver 5","volume":"40","author":"Marxen H.","year":"1990","unstructured":"Marxen H., Buntrock J. (1990). Attacking the busy beaver 5. Bulletin of the European Association for Theoretical Computer Science, 40, 247\u2013251.","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"e_1_3_4_61_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-67419-8"},{"key":"e_1_3_4_62_1","volume-title":"Weapons of math destruction: How big data increases inequality and threatens democracy","author":"O\u2019Neil C.","year":"2017","unstructured":"O\u2019Neil C. (2017). Weapons of math destruction: How big data increases inequality and threatens democracy. Crown."},{"key":"e_1_3_4_63_1","doi-asserted-by":"crossref","unstructured":"Parshina K. (2023). Philosophical assumptions behind the rejection of computer-based proofs. KRITERION \u2013 Journal of Philosophy 37(2\u20134) 105\u2013122. https:\/\/doi.org\/10.1515\/krt-2022-0015","DOI":"10.1515\/krt-2022-0015"},{"key":"e_1_3_4_64_1","first-page":"149","article-title":"Sul massimo ordine delle calotte in S4,3","volume":"25","author":"Pellegrino G.","year":"1970","unstructured":"Pellegrino G. (1970). Sul massimo ordine delle calotte in S4,3. Matematiche (Catania), 25, 149\u2013157.","journal-title":"Matematiche (Catania)"},{"key":"e_1_3_4_65_1","doi-asserted-by":"publisher","DOI":"10.7208\/chicago\/9780226668253.001.0001"},{"key":"e_1_3_4_66_1","unstructured":"Polu S. Han J. M. Zheng K. Baksys M. Babuschkin I. Sutskever I. (2022). Formal mathematics statement curriculum learning. arXiv. https:\/\/doi.org\/10.48550\/arXiv.2202.01344"},{"key":"e_1_3_4_67_1","unstructured":"Polu S. Sutskever I. (2020). Generative language modeling for automated theorem proving. arXiv. https:\/\/doi.org\/10.48550\/arXiv.2009.03393."},{"key":"e_1_3_4_68_1","volume-title":"Scientific knowledge and its social problems","author":"Ravetz J. R.","year":"1971","unstructured":"Ravetz J. R. (1971). Scientific knowledge and its social problems. Oxford University Press."},{"key":"e_1_3_4_69_1","doi-asserted-by":"crossref","unstructured":"Remmert V. Waldecker R. (2026). Big mathematics \u2013 reflections on the history of the classification of finite simple groups 1950s to 1980s. European Mathematical Society Magazine 140 5\u201314. https:\/\/doi.org\/10.4171\/mag\/296","DOI":"10.4171\/mag\/296"},{"key":"e_1_3_4_70_1","doi-asserted-by":"crossref","unstructured":"Romera-Paredes B. Barekatain M. Novikov A. Balog M. Kumar M. P. Dupont E. R. Ruiz F. J. Ellenberg J. S. Wang P. Fawzi O. Kohli P. (2024). Mathematical discoveries from program search with large language models. Nature 625(7995) 468\u2013475. https:\/\/doi.org\/10.1038\/s41586-023-06924-6","DOI":"10.1038\/s41586-023-06924-6"},{"key":"e_1_3_4_71_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-62811-6"},{"key":"e_1_3_4_72_1","doi-asserted-by":"publisher","DOI":"10.1515\/9781400831401"},{"issue":"6","key":"e_1_3_4_73_1","first-page":"554","article-title":"The invisible technician","volume":"77","author":"Shapin S.","year":"1989","unstructured":"Shapin S. (1989). The invisible technician. American Scientist, 77(6), 554\u2013563.","journal-title":"American Scientist"},{"key":"e_1_3_4_74_1","doi-asserted-by":"publisher","DOI":"10.2307\/j.ctt7sv46"},{"key":"e_1_3_4_75_1","unstructured":"Shehabi A. Smith S. J. Hubbard A. Newkirk A. Lei N. Siddik M. A. Holecek B. Koomey J. G. Masanet E. R. Sartor D. A. (2024). 2024 United States data center energy usage report. Lawrence Berkeley National Laboratory (LBNL-2001637). https:\/\/doi.org\/10.71468\/P1WC7Q"},{"key":"e_1_3_4_76_1","doi-asserted-by":"crossref","unstructured":"Sorgner H. (2026). Symbolic capital or social glue? Recognition in collaborative high-energy physics research. Social Studies of Science. Advance online publication. https:\/\/doi.org\/10.1177\/03063127261474439","DOI":"10.1177\/03063127261474439"},{"key":"e_1_3_4_77_1","doi-asserted-by":"crossref","unstructured":"Srdarov S. Leaver T. (2024). Generative AI glitches: The artificial everything. M\/C Journal 27(6). https:\/\/doi.org\/10.5204\/mcj.3123","DOI":"10.5204\/mcj.3123"},{"key":"e_1_3_4_78_1","doi-asserted-by":"crossref","unstructured":"Steingart A. (2012). A group theory of group theory: Collaborative mathematics and the \u2018uninvention\u2019 of a 1000-page proof. Social Studies of Science 42(2) 185\u2013213. https:\/\/doi.org\/10.1177\/0306312712436547","DOI":"10.1177\/0306312712436547"},{"key":"e_1_3_4_79_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P19-1355"},{"key":"e_1_3_4_80_1","doi-asserted-by":"crossref","unstructured":"Taylor Z. W. Stan K. (2024). Exploring the stratified nature of artificial intelligence research funding in United States educational systems: A bibliometric and network analysis. Education Sciences 14(11) Article 1248. https:\/\/doi.org\/10.3390\/educsci14111248","DOI":"10.3390\/educsci14111248"},{"key":"e_1_3_4_81_1","doi-asserted-by":"crossref","unstructured":"Trinh T. H. Wu Y. Le Q. V. He H. Luong T. (2024). Solving olympiad geometry without human demonstrations. Nature 625 476\u2013482. https:\/\/doi.org\/10.1038\/s41586-023-06747-5","DOI":"10.1038\/s41586-023-06747-5"},{"key":"e_1_3_4_82_1","unstructured":"Tyrrell F. (2022). New lower bounds for cap sets. arXiv. https:\/\/arxiv.org\/abs\/2209.10045"},{"key":"e_1_3_4_83_1","doi-asserted-by":"crossref","unstructured":"Urman A. Smirnov I. Lasser J. (2024). The right to audit and power asymmetries in algorithm auditing. EPJ Data Science 13(1) Article 19. https:\/\/epjds.epj.org\/articles\/epjdata\/abs\/2024\/01\/13688_2024_Article_454\/13688_2024_Article_454.html","DOI":"10.1140\/epjds\/s13688-024-00454-5"},{"key":"e_1_3_4_84_1","doi-asserted-by":"crossref","unstructured":"Weber K. Tanswell F. S. (2022). Instructions and recipes in mathematical proofs. Educational Studies in Mathematics 111(1) 73\u201387. https:\/\/doi.org\/10.1007\/s10649-022-10156-2","DOI":"10.1007\/s10649-022-10156-2"},{"key":"e_1_3_4_85_1","doi-asserted-by":"crossref","unstructured":"Weinberg A. (1961). Impact of large-scale science on the United States. Science 134(3473) 161\u2013164. https:\/\/doi.org\/10.1126\/science.134.3473.161","DOI":"10.1126\/science.134.3473.161"},{"key":"e_1_3_4_86_1","doi-asserted-by":"crossref","unstructured":"Wilholt T. (2013). Epistemic trust in science. The British Journal for the Philosophy of Science 64(2) 233\u2013253. https:\/\/doi.org\/10.1093\/bjps\/axs007","DOI":"10.1093\/bjps\/axs007"},{"key":"e_1_3_4_87_1","doi-asserted-by":"crossref","unstructured":"Wink R. Di Meglio A. Streit-Bianchi M. Liyanage S. (2024). Big science and social responsibility of the digital world. In Liyanage S. Nordberg M. Streit-Bianchi M. (Eds.) Big science innovation and societal contributions: The organisations and collaborations in big science experiments (pp. 264\u2013286). Oxford Academic. https:\/\/doi.org\/10.1093\/oso\/9780198881193.003.0012","DOI":"10.1093\/oso\/9780198881193.003.0012"},{"key":"e_1_3_4_88_1","volume-title":"Epistemic authority: A theory of trust, authority, and autonomy in belief","author":"Zagzebski L.","year":"2015","unstructured":"Zagzebski L. (2015). Epistemic authority: A theory of trust, authority, and autonomy in belief. Oxford University Press."},{"key":"e_1_3_4_89_1","doi-asserted-by":"crossref","unstructured":"Zhao J. Zhang T. Sun J. Tian M. Huang H. (2025). Pi-GPS: Enhancing geometry problem solving by unleashing the power of diagrammatic information. arXiv. https:\/\/doi.org\/10.48550\/arXiv.2503.05543.","DOI":"10.1109\/ICCV51701.2025.00150"},{"key":"e_1_3_4_90_1","doi-asserted-by":"crossref","unstructured":"Zhang C. Song J. Li S. Liang Y. Ma Y. Wang W. Zhu Y. Zhu S.-C. (2026) Proposing and solving olympiad geometry with guided tree search. Nature Machine Intelligence 8 84\u201395. https:\/\/doi.org\/10.1038\/s42256-025-01164-x","DOI":"10.1038\/s42256-025-01164-x"}],"container-title":["Social Studies of Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/03063127261482050","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.1177\/03063127261482050","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/03063127261482050","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,10,9]],"date-time":"2026-10-09T16:22:33Z","timestamp":1791562953000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/03063127261482050"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,10,7]]},"references-count":89,"alternative-id":["10.1177\/03063127261482050"],"URL":"https:\/\/doi.org\/10.1177\/03063127261482050","relation":{},"ISSN":["0306-3127","1460-3659"],"issn-type":[{"value":"0306-3127","type":"print"},{"value":"1460-3659","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,10,7]]},"article-number":"03063127261482050"}}