Google is moving beyond AI as a mere analysis tool. The concept of an 'AI co-scientist' envisions AI as an active partner that helps sift through information, generate novel hypotheses, and outline ways to test them. This reframes the human-AI collaboration to fundamentally accelerate the scientific method itself.

Scientists constrained by limited grant funding often avoid risky but groundbreaking hypotheses. AI can change this by computationally generating and testing high-risk ideas, de-risking them enough for scientists to confidently pursue ambitious "home runs" that could transform their fields.

AI's creative process mirrors Karl Popper's model of science. A generative model 'conjectures' plausible hypotheses (or hallucinates), and a verifier then attempts 'refutation' by testing them against hard criteria. This explains why AI currently excels in verifiable domains like code and mathematics, where correctness can be proven.

Modern AI systems can now 'speed run' a digital version of evolution. By combining an LLM's ability to rapidly generate hypotheses with an automated evaluation function, these systems can test ideas, discard failures, and pursue successful 'lineages' at a pace far exceeding biological evolution.

AlphaFold's success in identifying a key protein for human fertilization (out of 2,000 possibilities) showcases AI's power. It acts as a hypothesis generator, dramatically reducing the search space for expensive and time-consuming real-world experiments.

Historically, generating a good hypothesis was the most prestigious part of science. Now, AI can produce theories at near-zero cost, overwhelming traditional validation systems like peer review. The new grand challenge is developing scalable methods to verify and filter this flood of AI-generated ideas.

Unlike other sciences, mathematics has historically lacked a strong experimental branch. AI changes this by enabling large-scale studies—for example, testing a thousand different problem-solving approaches on a thousand problems. This creates a new, data-driven methodology for a field that has been almost entirely theoretical.

The ultimate goal isn't just modeling specific systems (like protein folding), but automating the entire scientific method. This involves AI generating hypotheses, choosing experiments, analyzing results, and updating a 'world model' of a domain, creating a continuous loop of discovery.

Current LLMs fail at science because they lack the ability to iterate. True scientific inquiry is a loop: form a hypothesis, conduct an experiment, analyze the result (even if incorrect), and refine. AI needs this same iterative capability with the real world to make genuine discoveries.