Elamur Research⌕
☰
home / papers / 2026 / The Past and Future of AI Scientists

The Past and Future of AI Scientists

Paper · 2026 · Ross D. King

Summary

This survey by Ross D. King reviews how AI has been used to automate science and outlines where the field is heading. It introduces no new dataset, model or benchmark. Instead, it offers a history, a taxonomy of scientific AI systems, and a research and governance agenda. The author separates four overlapping categories: AI scientific assistants, agentic scientific systems, self-driving laboratories, and full AI Scientists that close the loop from hypothesis through experiment to belief revision. The history runs from DENDRAL and BACON, through literature-based discovery and statistical QSAR modelling, to the robot scientists Adam and Eve and foundation-model agents. The core claim is that individual research steps can already be automated, so the real bottleneck is integration. Neural learning must be joined with logic, probability, causal reasoning, simulation, experiment design, robotics and formal records. Science is described as a favourable domain for AI because its problems are narrow and the physical world does not try to deceive. The paper serves as a roadmap toward the Nobel Turing Challenge. It also argues that such systems need provenance, accountability and safety controls.

Key points

  • Adam and Eve: Adam is credited as the first machine to make novel discoveries by cycling between hypothesis generation and physical experiments. Eve is described as the template for today's self-driving laboratories.
  • Nobel Turing Challenge: the goal is AI capable of Nobel-level discoveries by 2050, and the author judges progress to be ahead of schedule.
  • DENDRAL/Meta-DENDRAL: developed at Stanford in the 1960s–70s and led by Joshua Lederberg with Feigenbaum, Djerassi and Buchanan. It inferred molecular structures from mass-spectrometry data and is presented as the first expert system.
  • Other milestones: BACON (Langley, Bradshaw, Żytkow, Simon) rediscovered scientific laws through what is now called symbolic regression. Lenat's AM and EURISKO explored concept invention. Swanson (1986) linked fish oil to Raynaud's syndrome via unconnected literature.
  • Stated risks: concentration of scientific power, errors repeated automatically at scale, and direct coupling of AI reasoning to hazardous lab actions. The proposed remedies are rigorous evaluation, full provenance and governance.

Our summary of the paper, in our own words — not its text. The work belongs to its authors; read it at the links above.

 Institutions

 Fields, topics and concepts

Cite

Cite as Ross D. King. 2026. The Past and Future of AI Scientists. arXiv:2608.14407.

The paper itself, not this page. BibTeX from the library's record of the work. DOI 10.48550/arxiv.2608.14407 · arXiv 2608.14407

@misc{king2026past,
  title = {{The Past and Future of AI Scientists}},
  author = {Ross D. King},
  year = {2026},
  doi = {10.48550/arxiv.2608.14407},
  eprint = {2608.14407},
  archivePrefix = {arXiv},
  url = {https://doi.org/10.48550/arxiv.2608.14407}
}

References

214 references, 20 of them with a card of ours. ↗ leads to the work, «find» searches for one we have no id for yet.

  1. Abramson, J. et al. Accurate structure prediction of biomolecular interactions with AlphaFold 3. Nature 630, 493–500 (2024). find
  2. Ahmed, N. & Wahed, M. The de-democratization of AI: deep learning and the compute divide in artificial intelligence research. arXiv:2010.15581 (2020). — [arXiv:2010.15581](https://arxiv.org/abs/2010.15581) find
  3. Alon, N., Bloom, T. F., Gowers, W. T., Litt, D., Sawin, W., Shankar, A., Tsimerman, J., Wang, V. & Wood, M. M. Remarks on the disproof of the unit distance conjecture. arXiv:2605.20695 (2026). — [arXiv:2605.20695](https://arxiv.org/abs/2605.20695) find
  4. Altschul, S. F., Gish, W., Miller, W., Myers, E. W. & Lipman, D. J. Basic local alignment search tool. Journal of Molecular Biology 215, 403–410 (1990). find
  5. Anfinsen, C. B. Principles that govern the folding of protein chains. Science 181, 223–230 (1973). find
  6. Angermueller, C. et al. Model-based reinforcement learning for biological sequence design. In International Conference on Learning Representations (2020). find
  7. Armer, C., Letronne, F. & DeBenedictis, E. Support academic access to automated cloud labs to improve reproducibility. PLoS Biology 21, e3001919 (2023). find
  8. Asai, A. et al. Synthesizing scientific literature with retrieval-augmented language models. Nature 650, 857–863 (2026). find
  9. Bai, J. et al. A dynamic knowledge graph approach to distributed self-driving laboratories. Nature Communications 15, 462 (2024). find
  10. Baker, M. 1,500 scientists lift the lid on reproducibility. Nature 533, 452–454 (2016). find
  11. Bandrowski, A. et al. The Ontology for Biomedical Investigations. PLoS ONE 11, e0154556 (2016). find
  12. Bartley, B. A. et al. Building an open representation for biological protocols. ACM Journal on Emerging Technologies in Computing Systems 19, 1–21 (2023). find
  13. Batzner, S. et al. E(3)-equivariant graph neural networks for data-efficient and accurate interatomic potentials. Nature Communications 13, 2453 (2022). find
  14. Baydin, A. G., Pearlmutter, B. A., Radul, A. A. & Siskind, J. M. Automatic differentiation in machine learning: a survey. Journal of Machine Learning Research 18, 1–43 (2018). find
  15. Beltagy, I., Lo, K. & Cohan, A. SciBERT: a pretrained language model for scientific text. In Proceedings of EMNLP-IJCNLP, 3615–3620 (2019).
  16. Bengio, Y. et al. International AI Safety Report 2026. UK Department for Science, Innovation and Technology (2026). find
  17. Bennett, J. A. et al. Autonomous reaction Pareto-front mapping with a self-driving catalysis laboratory. Nature Chemical Engineering 1, 240–250 (2024). find
  18. Berger, J. O. Statistical Decision Theory and Bayesian Analysis, 2nd edn. Springer (1985). find
  19. Berners-Lee, T., Hendler, J. & Lassila, O. The Semantic Web. Scientific American 284, 34–43 (2001). find
  20. Bi, K. et al. Accurate medium-range global weather forecasting with 3D neural networks. Nature 619, 533– 538 (2023). find
  21. Bingham, E. et al. Pyro: deep universal probabilistic programming. Journal of Machine Learning Research 20, 1–6 (2019). find
  22. Boden, M. A. Artificial Intelligence and Natural Man. Basic Books (1977). find
  23. Boden, M. A. Mind as Machine: A History of Cognitive Science. Oxford University Press (2006). find
  24. Bodnar, C. et al. A foundation model for the Earth system. Nature 641, 1180–1187 (2025). find
  25. Boiko, D. A., MacKnight, R., Kline, B. & Gomes, G. Autonomous chemical research with large language models. Nature 624, 570–578 (2023).
  26. Bonabeau, E. Agent-based modeling: methods and techniques for simulating human systems. Proceedings of the National Academy of Sciences USA 99, 7280–7287 (2002). find
  27. Bran, A. M. et al. Augmenting large language models with chemistry tools. Nature Machine Intelligence 6, 525–535 (2024). find
  28. Brence, J., Džeroski, S. & Todorovski, L. Dimensionally-consistent equation discovery through probabilistic attribute grammars. Information Sciences 632, 742–756 (2023). find
  29. Brence, J., Todorovski, L. & Džeroski, S. Probabilistic grammars for equation discovery. Knowledge-Based Systems 224, 107077 (2021). find
  30. Brunton, S. L., Proctor, J. L. & Kutz, J. N. Discovering governing equations from data by sparse identification of nonlinear dynamical systems. Proceedings of the National Academy of Sciences USA 113, 3932– 3937 (2016). find
  31. Buchanan, B. G. & Shortliffe, E. H. (eds). Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project. Addison-Wesley (1984). find
  32. Buchanan, B. G., Sutherland, G. L. & Feigenbaum, E. A. Heuristic DENDRAL: a program for generating explanatory hypotheses in organic chemistry. In Machine Intelligence 4, 209–254 (1969). find
  33. Burger, B. et al. A mobile robotic chemist. Nature 583, 237–241 (2020). find
  34. Canty, R. B. & Abolhasani, M. Reproducibility in automated chemistry laboratories using computer science abstractions. Nature Synthesis 3, 1327–1339 (2024). find
  35. Carnap, R. An Introduction to the Philosophy of Science (ed. Gardner, M.). Basic Books (1974). find
  36. Carnegie Mellon University. Carnegie Mellon University and Emerald Cloud Lab to build world’s first university cloud lab. Carnegie Mellon University (30 August 2021). find
  37. Carpenter, B. et al. Stan: a probabilistic programming language. Journal of Statistical Software 76, 1–32 (2017). find
  38. Cerrato, M. et al. Science-Gym: a simple testbed for AI-driven scientific discovery. Machine Learning 115, 16 (2026). find
  39. Chaloner, K. & Verdinelli, I. Bayesian experimental design: a review. Statistical Science 10, 273–304 (1995). find
  40. Champion, K., Lusch, B., Kutz, J. N. & Brunton, S. L. Data-driven discovery of coordinates and governing equations. Proceedings of the National Academy of Sciences USA 116, 22445–22451 (2019). find
  41. Cherkasov, A. et al. QSAR modeling: where have you been and where are you going to? Journal of Medicinal Chemistry 57, 4977–5010 (2014). find
  42. Christensen, M. et al. Automation isn’t automatic. Chemical Science 12, 15473–15490 (2021). find
  43. Church, A. An unsolvable problem of elementary number theory. American Journal of Mathematics 58, 345–363 (1936). find
  44. Cochran, W. G. & Cox, G. M. Experimental Designs, 2nd edn. Wiley (1957). find
  45. Cohn, D. A., Ghahramani, Z. & Jordan, M. I. Active learning with statistical models. Journal of Artificial Intelligence Research 4, 129–145 (1996). find
  46. Cornelio, C. et al. Combining data and theory for derivable scientific discovery with AI-Descartes. Nature Communications 14, 1777 (2023). find
  47. Cory-Wright, R., Cornelio, C., Dash, S., El Khadir, B. & Horesh, L. Evolving scientific discovery by unifying data and background knowledge with AI-Hilbert. Nature Communications 15, 5922 (2024). find
  48. Council of Canadian Academies. Leaps and Boundaries: The Expert Panel on Artificial Intelligence for Science and Engineering. Council of Canadian Academies (2022). find
  49. Cranmer, K., Brehmer, J. & Louppe, G. The frontier of simulation-based inference. Proceedings of the National Academy of Sciences USA 117, 30055–30062 (2020). find
  50. Cropper, A., Dumančić, S., Evans, R. & Muggleton, S. H. Inductive logic programming at 30. Machine Learning 111, 147–172 (2022). find
  51. Cusumano-Towner, M. F., Saad, F. A., Lew, A. K. & Mansinghka, V. K. Gen: a general-purpose probabilistic programming system with programmable inference. In Proceedings of PLDI, 221–236 (2019). find
  52. Dagdelen, J. et al. Structured information extraction from scientific text with large language models. Nature Communications 15, 1418 (2024).
  53. Davies, A. et al. Advancing mathematics by guiding human intuition with AI. Nature 600, 70–74 (2021). find
  54. De Raedt, L. Logical and Relational Learning. Springer (2008). find
  55. De Raedt, L., Frasconi, P., Kersting, K. & Muggleton, S. H. (eds). Probabilistic Inductive Logic Programming. Springer (2008). find
  56. Duhem, P. The Aim and Structure of Physical Theory. Princeton University Press (1954). find
  57. Durbin, R., Eddy, S. R., Krogh, A. & Mitchison, G. Biological Sequence Analysis: Probabilistic Models of Proteins and Nucleic Acids. Cambridge University Press (1998). find
  58. Džeroski, S. & Todorovski, L. Discovering dynamics. In Proceedings of the Tenth International Conference on Machine Learning, 97–103 (1993). find
  59. Eddy, S. R. Profile hidden Markov models. Bioinformatics 14, 755–763 (1998). find
  60. European Parliament and Council of the European Union. Regulation (EU) 2024/1689 laying down harmonised rules on artificial intelligence (Artificial Intelligence Act). Official Journal of the European Union (2024). find
  61. Feigenbaum, E. A. The art of artificial intelligence: themes and case studies of knowledge engineering. In Proceedings of IJCAI-77, 1014–1029 (1977). find
  62. Feldman, R. & Sanger, J. The Text Mining Handbook. Cambridge University Press (2007). find
  63. Fisher, R. A. The Design of Experiments. Oliver & Boyd (1935). find
  64. Flach, P. A. & Kakas, A. C. (eds). Abduction and Induction: Essays on Their Relation and Integration. Kluwer Academic Publishers (2000). find
  65. Frazier, P. I. A tutorial on Bayesian optimization. arXiv:1807.02811 (2018). — [arXiv:1807.02811](https://arxiv.org/abs/1807.02811) find
  66. Gentner, D. Structure-mapping: a theoretical framework for analogy. Cognitive Science 7, 155–170 (1983).
  67. Getoor, L. & Taskar, B. (eds). Introduction to Statistical Relational Learning. MIT Press (2007). find
  68. Ghareeb, A. E. et al. A multi-agent system for automating scientific discovery. Nature 655, 497–505 (2026). find
  69. Gillespie, D. T. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81, 2340–2361 (1977). find
  70. Goodfellow, I., Bengio, Y. & Courville, A. Deep Learning. MIT Press (2016). find
  71. Goodman, N. D., Mansinghka, V. K., Roy, D. M., Bonawitz, K. & Tenenbaum, J. B. Church: a language for generative models. In Proceedings of UAI, 220–229 (2008). find
  72. Gottweis, J. et al. Accelerating scientific discovery with Co-Scientist. Nature 655, 487–496 (2026).
  73. Gruber, T. R. A translation approach to portable ontology specifications. Knowledge Acquisition 5, 199– 220 (1993). find
  74. Gu, Y. et al. Domain-specific language model pretraining for biomedical natural language processing. ACM Transactions on Computing for Healthcare 3, 1–23 (2021).
  75. Gödel, K. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik 38, 173–198 (1931). find
  76. Harman, P. M. (ed.). The Scientific Letters and Papers of James Clerk Maxwell, Vol. 1. Cambridge University Press (1990). find
  77. Hayes, T. et al. Simulating 500 million years of evolution with a language model. Science 387, 850–858 (2025). find
  78. He, J., Houde, S. & Weisz, J. D. Which contributions deserve credit? Perceptions of attribution in human– AI co-creation. arXiv:2502.18357 (2025). — [arXiv:2502.18357](https://arxiv.org/abs/2502.18357) find
  79. Heidorn, P. B. Shedding light on the dark data in the long tail of science. Library Trends 57, 280–299 (2008). find
  80. Hennessy, J. L. & Patterson, D. A. A new golden age for computer architecture. Communications of the ACM 62, 48–60 (2019). find
  81. Hey, T., Tansley, S. & Tolle, K. (eds). The Fourth Paradigm: Data-Intensive Scientific Discovery. Microsoft Research (2009). find
  82. Hilbert, D. & Ackermann, W. Grundzüge der theoretischen Logik. Springer (1928). find
  83. Hoeting, J. A., Madigan, D., Raftery, A. E. & Volinsky, C. T. Bayesian model averaging: a tutorial. Statistical Science 14, 382–417 (1999). find
  84. Holyoak, K. J. & Thagard, P. Mental Leaps: Analogy in Creative Thought. MIT Press (1995). find
  85. Hsu, F.-H. Behind Deep Blue: Building the Computer That Defeated the World Chess Champion. Princeton University Press (2002). find
  86. Hubert, T. et al. Olympiad-level formal mathematical reasoning with reinforcement learning. Nature 651, 607–613 (2026). find
  87. Hume, D. An Enquiry Concerning Human Understanding. A. Millar (1748). Hyafil, L. & Rivest, R. L. Constructing optimal binary decision trees is NP-complete. Information Processing Letters 5, 15–17 (1976). find
  88. Ifargan, T. et al. Autonomous LLM-driven research—from data to human-verifiable research papers. NEJM AI 2, AIoa2400555 (2025). — Autonomous LLM-driven research from data to human-verifiable research papers
  89. Innes, M. et al. A differentiable programming system to bridge machine learning and scientific computing. arXiv:1907.07587 (2019). — [arXiv:1907.07587](https://arxiv.org/abs/1907.07587) find
  90. Ioannidis, J. P. A. Why most published research findings are false. PLoS Medicine 2, e124 (2005). find
  91. Isenberg, N. et al. Identifying Bayesian optimal experiments for uncertain biochemical pathway models. Scientific Reports 14, 15237 (2024). find
  92. Jaynes, E. T. Probability Theory: The Logic of Science. Cambridge University Press (2003). find
  93. Jefferys, W. H. & Berger, J. O. Ockham’s razor and Bayesian analysis. American Scientist 80, 64–72 (1992). find
  94. Juchli, M. SiLA 2: the next generation lab automation standard. Advances in Biochemical Engineering/Biotechnology 182, 147–174 (2022). find
  95. Jumper, J. et al. Highly accurate protein structure prediction with AlphaFold. Nature 596, 583–589 (2021).
  96. Kauffman, S. A. Metabolic stability and epigenesis in randomly constructed genetic nets. Journal of Theoretical Biology 22, 437–467 (1969). find
  97. Kennedy, M. C. & O’Hagan, A. Bayesian calibration of computer models. Journal of the Royal Statistical Society B 63, 425–464 (2001). find
  98. King, R. D. & Sternberg, M. J. E. Machine learning approach for the prediction of protein secondary structure. Journal of Molecular Biology 216, 441–457 (1990). find
  99. King, R. D. An inductive learning approach to the problem of predicting a protein’s secondary structure from its amino acid sequence. In Bratko, I. & Lavrač, N. (eds), Progress in Machine Learning, 230–250. Sigma Press (1987). find
  100. King, R. D. et al. Functional genomic hypothesis generation and experimentation by a robot scientist. Nature 427, 247–252 (2004). find
  101. King, R. D. et al. The automation of science. Science 324, 85–89 (2009). find
  102. King, R. D., Muggleton, S., Lewis, R. A. & Sternberg, M. J. E. Drug design by machine learning: the use of inductive logic programming to model the structure–activity relationships of trimethoprim analogues binding to dihydrofolate reductase. Proceedings of the National Academy of Sciences USA 89, 1… find
  103. Kitano, H. Nobel Turing Challenge: creating the engine for scientific discovery. npj Systems Biology and Applications 7, 29 (2021). find
  104. Kneale, W. & Kneale, M. The Development of Logic. Oxford University Press (1962). find
  105. Kochkov, D. et al. Neural general circulation models for weather and climate. Nature 632, 1060–1066 (2024). find
  106. Koller, D. & Friedman, N. Probabilistic Graphical Models: Principles and Techniques. MIT Press (2009). find
  107. Kowalski, R. A. Predicate logic as programming language. In Proceedings of IFIP Congress 74, 569–574 (1974). find
  108. Koza, J. R. Genetic Programming. MIT Press (1992). find
  109. Kramer, S., Cerrato, M., Džeroski, S. & King, R. D. Automated scientific discovery: from equation discovery to autonomous discovery systems. Machine Learning 115, 109 (2026). find
  110. Krogh, A., Brown, M., Mian, I. S., Sjölander, K. & Haussler, D. Hidden Markov models in computational biology: applications to protein modeling. Journal of Molecular Biology 235, 1501–1531 (1994). find
  111. Kronström, F., Gower, A. H., Tiukova, I. A. & King, R. D. RIMBO—an ontology for model revision databases. In Discovery Science 2023, Lecture Notes in Computer Science 14276, 496–510. find
  112. Kubinyi, H. QSAR: Hansch Analysis and Related Approaches. VCH (1993). find
  113. Lam, R. et al. Learning skillful medium-range global weather forecasting. Science 382, 1416–1421 (2023). find
  114. Landau, L. D. & Lifshitz, E. M. Mechanics, 3rd edn. Pergamon Press (1976). find
  115. Langley, P., Simon, H. A., Bradshaw, G. L. & Żytkow, J. M. Scientific Discovery: Computational Explorations of the Creative Processes. MIT Press (1987). find
  116. Lavin, A. et al. Simulation intelligence: towards a new generation of scientific methods. arXiv:2112.03235 (2021). — [arXiv:2112.03235](https://arxiv.org/abs/2112.03235) find
  117. Lebo, T., Sahoo, S. & McGuinness, D. PROV-O: The PROV Ontology. W3C Recommendation (2013). find
  118. LeCun, Y., Bengio, Y. & Hinton, G. Deep learning. Nature 521, 436–444 (2015). find
  119. Lee, C. Y., Hasegawa, H. & Gao, S. C. Complex-valued neural networks: a comprehensive survey. IEEE/CAA Journal of Automatica Sinica 9, 1406–1426 (2022). find
  120. Lee, J. et al. BioBERT: a pre-trained biomedical language representation model for biomedical text mining. Bioinformatics 36, 1234–1240 (2020).
  121. Lenat, D. B. Automated theory formation in mathematics. In Proceedings of IJCAI-77, 833–842 (1977). find
  122. Lenat, D. B. EURISKO: a program that learns new heuristics and domain concepts. Artificial Intelligence 21, 61–98 (1983). find
  123. Lewis, P. et al. Retrieval-augmented generation for knowledge-intensive NLP tasks. In Advances in Neural Information Processing Systems 33, 9459–9474 (2020).
  124. Li, Z. et al. Fourier neural operator for parametric partial differential equations. In International Conference on Learning Representations (2021). find
  125. Liang, W. et al. Quantifying large language model usage in scientific papers. Nature Human Behaviour 9, 2599–2609 (2025). find
  126. Lin, Z. et al. Evolutionary-scale prediction of atomic-level protein structure with a language model. Science 379, 1123–1130 (2023). find
  127. Lindsay, R. K., Buchanan, B. G., Feigenbaum, E. A. & Lederberg, J. Applications of Artificial Intelligence for Organic Chemistry: The DENDRAL Project. McGraw-Hill (1980). find
  128. Ljung, L. System Identification: Theory for the User, 2nd edn. Prentice Hall (1999). find
  129. Lloyd, J. W. Foundations of Logic Programming, 2nd extended edn. Springer (1987). find
  130. Lu, C. et al. The AI Scientist: towards fully automated open-ended scientific discovery. arXiv:2408.06292 (2024).
  131. Lu, L., Jin, P., Pang, G., Zhang, Z. & Karniadakis, G. E. Learning nonlinear operators via DeepONet based on the universal approximation theorem of operators. Nature Machine Intelligence 3, 218–229 (2021). find
  132. MacKay, D. J. C. Bayesian interpolation. Neural Computation 4, 415–447 (1992). find
  133. Marshall, I. J. & Wallace, B. C. Toward systematic review automation: a practical guide to using machine learning tools in research synthesis. Systematic Reviews 8, 163 (2019). find
  134. Maxwell, J. C. Letter to Lewis Campbell, 7 March 1850. In The Scientific Letters and Papers of James Clerk Maxwell, Vol. 1 (ed. Harman, P. M.). find
  135. Cambridge University Press (1990). find
  136. Mayo, D. G. Error and the Growth of Experimental Knowledge. University of Chicago Press (1996). find
  137. McCarthy, J., Minsky, M. L., Rochester, N. & Shannon, C. E. A proposal for the Dartmouth Summer Research Project on Artificial Intelligence (1955). find
  138. McNutt, M. K. et al. Transparency in authors’ contributions and responsibilities to promote integrity in scientific publication. Proceedings of the National Academy of Sciences USA 115, 2557–2560 (2018). find
  139. Mehr, S. H. M. et al. A universal system for digitization and automatic execution of the chemical synthesis literature. Science 370, 101–108 (2020). find
  140. Merchant, A. et al. Scaling deep learning for materials discovery. Nature 624, 80–85 (2023). find
  141. Mežnar, S., Džeroski, S. & Todorovski, L. Efficient generator of mathematical expressions for symbolic regression. Machine Learning 112, 4563–4596 (2023). find
  142. Michie, D. Machine learning in the next five years. In Proceedings of the Third European Working Session on Learning, 107–122. Pitman (1988). find
  143. Mizoguchi, R. Tutorial on ontological engineering—Part 3: advanced course of ontological engineering. New Generation Computing 22, 193–220 (2004). find
  144. Moult, J., Pedersen, J. T., Judson, R. & Fidelis, K. A large-scale experiment to assess protein structure prediction methods. Proteins 23, ii–v (1995). find
  145. Muggleton, S. H., Schmid, U., Zeller, C., Tamaddoni-Nezhad, A. & Besold, T. Ultra-strong machine learning: comprehensibility of programs learned with ILP. Machine Learning 107, 1119–1140 (2018). find
  146. Muggleton, S. Inductive logic programming. New Generation Computing 8, 295–318 (1991). find
  147. Nabika, M. et al. Bayesian active learning with model selection for spectral experiments. Scientific Reports 14, 3680 (2024). find
  148. Nature Portfolio. Artificial intelligence: editorial and publishing policies. Nature Portfolio (accessed 4 August 2026). find
  149. Neumann, M., King, D., Beltagy, I. & Ammar, W. ScispaCy: fast and robust models for biomedical natural language processing. In Proceedings of the BioNLP Workshop, 319–327 (2019).
  150. Newell, A., Shaw, J. C. & Simon, H. A. Empirical explorations of the logic theory machine. In Proceedings of the Western Joint Computer Conference, 218–230 (1957). find
  151. Niederer, S. A. et al. Creation and application of virtual patient cohorts of heart models. Philosophical Transactions of the Royal Society A 379, 20200219 (2021). find
  152. Noy, N. et al. Industry-scale knowledge graphs: lessons and challenges. Communications of the ACM 62, 36–43 (2019). find
  153. OpenAI. An OpenAI model has disproved a central conjecture in discrete geometry. OpenAI Research (20 May 2026). find
  154. Orhobor, O. I., French, J., Soldatova, L. N. & King, R. D. Generating explainable and effective data descriptors using relational learning: application to cancer biology. In Discovery Science 2020, Lecture Notes in Computer Science 12323, 375–390 (2020). find
  155. Orth, J. D., Thiele, I. & Palsson, B. Ø. What is flux balance analysis? Nature Biotechnology 28, 245–248 (2010). find
  156. Pagel, M., Jirasek, F. & Cronin, L. Verification and execution of the scientific literature via chemputation augmented by large language models. Communications Chemistry 9, 191 (2026). find
  157. Panapitiya, G. et al. AutoLabs: cognitive multi-agent systems with self-correction for autonomous chemical experimentation. Scientific Reports 16, 19554 (2026). find
  158. Pearl, J. Causality: Models, Reasoning, and Inference, 2nd edn. Cambridge University Press (2009). find
  159. Pearl, J. Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann (1988). find
  160. Peirce, C. S. Collected Papers of Charles Sanders Peirce, Vols 1–8 (eds Hartshorne, C., Weiss, P. & Burks, A. W.). Harvard University Press (1931–1958). find
  161. Popper, K. R. Objective Knowledge: An Evolutionary Approach. Clarendon Press (1972). find
  162. Popper, K. R. The Logic of Scientific Discovery. Hutchinson (1959). find
  163. Putnam, H. Degree of confirmation and inductive logic. In Schilpp, P. A. (ed.), The Philosophy of Rudolf Carnap, 270–292. Open Court (1963). find
  164. Quine, W. V. O. Two dogmas of empiricism. Philosophical Review 60, 20–43 (1951). find
  165. Rackauckas, C. et al. Universal differential equations for scientific machine learning. arXiv:2001.04385 (2020). find
  166. Rapp, J. T. et al. Self-driving laboratories to autonomously navigate the protein fitness landscape. Nature Chemical Engineering 1, 97–107 (2024). find
  167. Reder, G. K. et al. Genesis-DB: a database for autonomous laboratory systems. Bioinformatics Advances 3, vbad102 (2023). find
  168. Romera-Paredes, B. et al. Mathematical discoveries from program search with large language models. Nature 625, 468–475 (2024).
  169. Roper, K. et al. Testing the reproducibility and robustness of the cancer biology literature by robot. Journal of the Royal Society Interface 19, 20210821 (2022). find
  170. Royal Society. Science in the Age of AI. The Royal Society (2024). find
  171. Rumelhart, D. E., Hinton, G. E. & Williams, R. J. Learning representations by back-propagating errors. Nature 323, 533–536 (1986). find
  172. Russell, B. The Problems of Philosophy. Williams and Norgate (1912). find
  173. Russell, S. J. & Norvig, P. Artificial Intelligence: A Modern Approach, 4th edn. Pearson (2021). find
  174. Schmidt, M. & Lipson, H. Distilling free-form natural laws from experimental data. Science 324, 81–85 (2009). find
  175. Shahriari, B., Swersky, K., Wang, Z., Adams, R. P. & de Freitas, N. Taking the human out of the loop: a review of Bayesian optimization. Proceedings of the IEEE 104, 148–175 (2016). find
  176. Shapin, S. & Schaffer, S. Leviathan and the Air-Pump: Hobbes, Boyle, and the Experimental Life. Princeton University Press (1985). find
  177. Shneiderman, B. Human-Centered AI. Oxford University Press (2022). find
  178. Shojaee, P. et al. LLM-SRBench: a new benchmark for scientific equation discovery with large language models. Proceedings of Machine Learning Research 267, 55325–55359 (2025b).
  179. Shojaee, P., Meidani, K., Gupta, S., Barati Farimani, A. & Reddy, C. K. LLM-SR: scientific equation discovery via programming with large language models. In International Conference on Learning Representations (2025a).
  180. Slattery, A. et al. Automated self-optimization, intensification, and scale-up of photocatalysis in flow. Science 383, eadj1817 (2024). find
  181. Soiland-Reyes, S. et al. Packaging research artefacts with RO-Crate. Data Science 5, 97–138 (2022). find
  182. Soldatova, L. N. & King, R. D. An ontology of scientific experiments. Journal of the Royal Society Interface 3, 795–803 (2006). find
  183. Soldatova, L. N. et al. EXACT2: the semantics of biomedical protocols. BMC Bioinformatics 15(Suppl. 14), S5 (2014). find
  184. Soldatova, L. N., Aubrey, W., King, R. D. & Clare, A. The EXACT description of biomedical protocols. Bioinformatics 24, i295–i303 (2008). find
  185. Spirtes, P., Glymour, C. & Scheines, R. Causation, Prediction, and Search, 2nd edn. MIT Press (2000). find
  186. Steiner, S. et al. Organic synthesis in a modular robotic system driven by a chemical programming language. Science 363, eaav2211 (2019). find
  187. Steinhardt, J., Koh, P. W. & Liang, P. Certified defenses for data poisoning attacks. In Advances in Neural Information Processing Systems 30 (2017). find
  188. Swanson, D. R. Fish oil, Raynaud’s syndrome, and undiscovered public knowledge. Perspectives in Biology and Medicine 30, 7–18 (1986). find
  189. Szymanski, N. J. et al. An autonomous laboratory for the accelerated synthesis of novel materials. Nature 624, 86–91 (2023). find
  190. Taylor, R. et al. Galactica: a large language model for science. arXiv:2211.09085 (2022).
  191. Tkaczyk, D., Hendricks, G. & Korzec, K. On metadata enrichment. Crossref Blog (19 March 2026). find
  192. Tosh, C. et al. A Bayesian active learning platform for scalable combination drug screens. Nature Communications 16, 156 (2025). find
  193. Toulmin, S. The Philosophy of Science: An Introduction. Hutchinson (1953). find
  194. Trabelsi, C. et al. Deep complex networks. In International Conference on Learning Representations (2018). find
  195. Trinh, T. H. et al. Solving olympiad geometry without human demonstrations. Nature 625, 476–482 (2024).
  196. Turing, A. M. Computing machinery and intelligence. Mind 59, 433–460 (1950). find
  197. Turing, A. M. On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society 42, 230–265 (1936). find
  198. Udrescu, S.-M. & Tegmark, M. AI Feynman: a physics-inspired method for symbolic regression. Science Advances 6, eaay2631 (2020).
  199. UK Research and Innovation. Framework for responsible research and innovation. UKRI (updated 20 January 2026). find
  200. UK Supreme Court. Thaler v Comptroller-General of Patents, Designs and Trade Marks [2023] UKSC 49 (2023). find
  201. United States Patent and Trademark Office. Revised inventorship guidance for AI-assisted inventions. USPTO (26 November 2025). find
  202. Vaccaro, M., Almaatouq, A. & Malone, T. W. When combinations of humans and AI are useful: a systematic review and meta-analysis. Nature Human Behaviour 8, 2293–2303 (2024). find
  203. Vaswani, A. et al. Attention is all you need. In Advances in Neural Information Processing Systems 30, 5998–6008 (2017).
  204. Wallace, C. S. & Boulton, D. M. An information measure for classification. Computer Journal 11, 185–194 (1968). find
  205. White House Office of Science and Technology Policy. Science: A New Golden Age. The White House (2026). find
  206. Wierenga, R. P. et al. PyLabRobot: an open-source, hardware-agnostic interface for liquid-handling robots and accessories. Device 1, 100111 (2023). find
  207. Wilkinson, M. D. et al. The FAIR Guiding Principles for scientific data management and stewardship. Scientific Data 3, 160018 (2016). find
  208. Williams, K. et al. Cheaper faster drug development validated by the repositioning of drugs against neglected tropical diseases. Journal of the Royal Society Interface 12, 20141289 (2015). find
  209. World Health Organization. Global Guidance Framework for the Responsible Use of the Life Sciences: Mitigating Biorisks and Governing Dual-Use Research. WHO (2022). find
  210. World Health Organization. WHO Guidance on the Ethics of Health Research Priority Setting. WHO (2025). find
  211. Żytkow, J. M., Zhu, J. & Hussam, A. Automated discovery in a chemistry laboratory. In Proceedings of AAAI-90, 889–894 (1990). find
  212. Yu, T., Huang, P.-C., Hsu, C., Ku, C.-T. & Kang, Y. ADVENT: LLM-driven automatic predicate invention for ILP. arXiv:2607.01585 (2026). — [arXiv:2607.01585](https://arxiv.org/abs/2607.01585) find
  213. Zhang, B. & Soh, H. Extract, define, canonicalize: an LLM-based framework for knowledge graph construction. In Proceedings of EMNLP, 9820–9836 (2024).
  214. Zhang, Y. et al. IvoryOS: an interoperable web interface for orchestrating Python-based self-driving laboratories. Nature Communications 16, 5182 (2025). find

Updated

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/papers/king-2026-past-future-ai-scientists/