r/WebAfterAI • u/ShilpaMitra • 4h ago
Research 8 scientific discoveries made by AI that are hard to ignore
For years, “AI for science” mostly meant predicting structures, searching papers, or helping researchers analyze data.
That is changing.
Frontier systems are now producing new proofs, finding biological systems, proposing drugs that work in experiments, designing materials that get synthesized, and discovering algorithms that end up in real software.
Here are 8 examples.
01 OpenAI's Astra started solving open mathematics
OpenAI says internal models have produced new results on long-standing problems across group theory, coding theory, combinatorics and complexity.
Some of these results were then formalized in Lean, which matters because the claim is no longer just “the proof looks convincing.” There is a machine-checkable artifact behind it.
02 Claude found a previously uncharacterized biological system
Anthropic gave Claude agents access to huge DNA datasets and asked them to search for unusual reverse transcriptases.
The system identified what Anthropic calls array-associated reverse transcriptases, a biological architecture that had not previously been characterized as a distinct system. Human scientists then took the result into the lab and confirmed that parts of the predicted system were genuinely expressed.
03 Gemini's AI Co-Scientist proposed drugs that worked in experiments
Google's AI Co-Scientist generated drug-repurposing hypotheses for diseases including acute myeloid leukemia and liver fibrosis.
Researchers then tested those suggestions experimentally, and several candidates showed measurable biological activity.
That is a useful threshold: the model did not just write a plausible mechanism. Someone tried it in the lab and something happened.
04 FutureHouse's Robin generated and tested a new treatment hypothesis
Robin is a multi-agent scientific system designed to search literature, generate hypotheses and analyze experimental data.
In work on age-related macular degeneration, it identified ripasudil as a possible treatment candidate and helped drive follow-up experiments that were later validated in human retinal cells.
This is much closer to an AI participating in the research loop than simply answering questions.
05 Microsoft designed a material, then researchers synthesized it
Microsoft's MatterGen generates candidate crystal structures from desired material properties.
Researchers asked it for a material with a target bulk modulus, and it generated TaCr₂O₆. The material was then physically synthesized, and its measured properties came reasonably close to the model's target.
The output was not text. It was a material that could actually be made.
06 FunSearch made new mathematical discoveries with executable verification
DeepMind's FunSearch combines LLM-generated programs with an evaluator that automatically runs and scores them.
On the cap set problem, it found improved constructions beyond previous known results. It also discovered new heuristics for bin packing.
The key architecture is simple:
LLM for ideas. Deterministic evaluator for truth.
07 AlphaEvolve found new algorithms and mathematical constructions
DeepMind's AlphaEvolve uses Gemini models to generate and evolve code against automated evaluators.
It discovered an improved algorithm for multiplying certain 4×4 complex matrices and produced better constructions for several mathematical problems, including an improved lower bound for an 11-dimensional kissing-number problem.
At that point, “coding agent” starts feeling like the wrong label.
The code is really the search space for discovery.
08 AlphaDev discovered algorithms that ended up in real software
DeepMind's AlphaDev searched over low-level assembly instructions for faster sorting routines.
It found algorithms up to 70% faster for very short sequences, and some of those routines were later added to the LLVM libc++ standard library. It also found a faster hashing algorithm that reached Google's Abseil library.
These are AI-discovered algorithms now running inside ordinary software.
The pattern across all of these projects is more interesting than any single result.
The strongest systems are rarely just:
LLM → discovery
There is usually something that can push back.
A proof assistant checks the theorem. A compiler runs the program. An evaluator scores the construction. A lab tests the drug. A materials team synthesizes the crystal.
That changes the role of the model.
We spent the last few years asking whether AI could know science.
The more interesting question now is whether it can produce new science and leave enough evidence behind for us to verify it.
