I just read a paper co-authored by math legend Terence Tao and researchers at Google DeepMind that completely broke my brain.
What if AI's real breakthrough in science isn't just solving problems, but inventing entirely new ways to solve them?
A thread on a wild new discovery engine. 🧵
The "villain" in AI-driven discovery has always been a frustrating trade-off.
You either have:
🧠 A creative but slow LLM (like a brilliant-but-lazy detective).
OR
💪 A fast but "dumb" brute-force search (an army of tireless-but-unimaginative cops).
You couldn't get the best of both. Until now.
The breakthrough in this paper is a system called AlphaEvolve.
Here's the genius part: Instead of asking the AI, "Find me the best solution," it asks, "Invent a creative algorithm to find the best solution."
It evolves the SEARCHER, not just the solution.
This flips the entire script.
One slow, expensive LLM call is used to design a unique, clever search strategy. That strategy is then unleashed as a fast, cheap program to explore millions of possibilities.
The AI becomes an algorithm designer, not just a problem solver.
So, does it work? Oh, yes.
Researchers gave it 67 famously hard math problems. It rediscovered the best-known solutions for most and improved the state-of-the-art for several.
For example, it found denser ways to pack hexagons and cubes than we've ever known.
But that's not even the most interesting part.
It even tackled a problem from the 2025 International Mathematical Olympiad.
The task was to find the most efficient way to tile a grid.
AlphaEvolve independently discovered the optimal construction—a creative solution that had stumped other powerful AI systems.
It's not just solving equations; it's finding elegant, non-obvious patterns.
Now, you might be thinking this replaces mathematicians. The authors say the exact opposite.
AlphaEvolve's biggest successes came when a human expert gave it an insightful hint. The AI then took that spark of human intuition and explored its consequences at a scale no human ever could.
This isn't human vs. machine. It's human + machine.
And here's where it clicks. They created an entire pipeline.
AlphaEvolve discovers a pattern.
Deep Think (another AI) writes a formal proof for it.
AlphaProof (a third AI) verifies that proof.
This is a glimpse of a future where the entire scientific process—from hunch to discovery to verified proof—is supercharged by AI.
This isn't just about math. It's a new method for discovery itself.
It's a reminder that the next great breakthroughs might not come from a lone genius, but from a partnership between human creativity and an AI that can explore the worlds hidden in our ideas.
We're just getting started.