The need for verification in artificial intelligence-driven scientific discovery
Cristina Cornelio, Takuya Ito, Ryan Cory-Wright, Sanjeeb Dash, Lior Horesh
Why it has this license class
AChecked 1 Oct 2026. Open license (CC-BY, CC-BY-SA, CC0, public domain): full text indexed and used in synthesis.
| Source | License | Open-access status | Read as |
|---|---|---|---|
| openalex | cc-by | hybrid | Green |
| crossref | http://creativecommons.org/licenses/by/4.0/ | — | Green |
| unpaywall | cc-by | hybrid | Green |
Abstract
BArtificial intelligence (AI) is transforming the practice of science. Machine learning (ML) and large language models (LLMs) can generate hypotheses at a scale and speed far exceeding traditional methods, offering the potential to accelerate discovery across diverse fields. However, the abundance of hypotheses introduces a critical challenge; without scalable and reliable mechanisms for verification, scientific progress risks being hindered rather than advanced. In this article, we trace the historical development of scientific discovery, examine how AI is reshaping established practices for discovery and review the principal approaches, ranging from data-driven methods and knowledge-aware neural architectures to symbolic reasoning frameworks and LLM agents. While these systems can uncover patterns and propose candidate laws, their scientific value ultimately depends on rigorous and transparent verification, which we argue must be the cornerstone of AI-assisted discovery. This article is part of the discussion meeting issue 'Symbolic regression in the physical sciences'.
Claims built on this paper
DNone yet.