#Science & Research

What is this?

AI for science is models accelerating discovery itself: proposing hypotheses, proving theorems, predicting weather, finding new materials and reading the entire literature in minutes. Many researchers believe this — not chatbots — is where AI changes the world most.

Key tools & players

DeepMind — AlphaFold, GNoME (materials), GraphCast (weather), AlphaProof (math)
OpenAI — frontier models for research; a program giving 100,000 academics free access (our coverage)
Anthropic — Claude for scientific reasoning and security research
FutureHouse and "AI co-scientist" projects — autonomous research agents

Milestones

2020 — AlphaFold2: AI's first Nobel-worthy scientific breakthrough
2023 — GNoME predicts 2.2 million new crystals; GraphCast beats weather agencies
2024 — AlphaProof wins silver-medal level at the Math Olympiad
2025 — LLMs reach IMO gold level; "AI co-scientist" agents generate lab-validated hypotheses
2026 — Claude finds encryption weaknesses experts missed; OpenAI opens frontier models to 100k researchers (both in our coverage)
Aug 2026 — OpenAI's Astra preview: agent teams solve ten open problems in math and theoretical computer science, with machine-checkable Lean proofs (our coverage)
Aug 2026 — Named mathematicians dispute the credit on several of those proofs; OpenAI softens its “no progress for a decade” claim (our coverage)
Aug 2026 — First complete AI-designed genomes: 16 working bacteriophages, published in Science (our coverage)
Aug 2026 — DeepMind's WeatherNext cyclone model, published in Nature, is used operationally by the US National Hurricane Center — and released open-weight under Apache 2.0 (our coverage)
Aug 2026 — An unreleased Claude lifts the Riemann-hypothesis zero bound from 41.6% to 67.2%, the largest single jump on record, with a machine-checkable proof (our coverage)
Aug 2026 — Palomar opens for submissions: mathematics gets a registry that machine-checks Lean proofs and uses a language model to confirm the plain-English claim matches (our coverage)

Mini glossary

Co-scientist: an AI agent that proposes and helps test hypotheses
Foundation model: one large model adapted to many scientific tasks
Benchmark: standardized test used to compare model abilities

Stories on this topic

Machine learning read the shape of sick brain cells and picked out nine already-approved drugs that calmed them down
2026-08-21 The FDA has cleared 1,357 AI medical devices. Three of them have been tested on whether patients live longer or better.
2026-08-20 So many machine-written proofs arrived that mathematicians built a filing office — and one of its two checks is done by a language model
2026-08-20 The reason AI has not cured cancer may be that almost none of its training data comes from human tissue
2026-08-19 A general chatbot drove the specialist protein tools itself — and two outside labs confirmed the molecules stick
2026-08-19 Britain will move aircraft over the Atlantic this winter to stop them drawing the clouds that trap heat
2026-08-18 The argument about a runaway intelligence explosion is a claim about equations. An Oxford philosopher just worked them out.
2026-08-18 Two of the world's most decorated mathematicians looked at what AI actually solves, and landed on the same missing piece
2026-08-17 They built a language model that has never read anything above fifth grade — then found they could not teach it more
2026-08-16 A Fields medallist set out what AI is genuinely good at in maths — and the one thing it has no nose for
2026-08-12 OpenAI offered 100,000 researchers free frontier access. The first round has become a lottery.
2026-08-12 A firm selling ‘100% human-written, never AI’ medical research turned out to be AI all the way down
2026-08-12 Proposals that read like AI wrote them win more NIH money — and ask smaller questions
2026-08-12 Anthropic pointed an unreleased Claude at the Riemann hypothesis. It did not solve it — it nearly doubled the best known bound.
2026-08-11 Two rival AI models were asked the same 25-year-old engineering question. Both came back with a proof — and they were different proofs
2026-08-10 The US government wants your data, your model or your fine-tune — first Genesis deadline is August 14
2026-08-09 An extra day of warning: DeepMind opens its cyclone model, and the Hurricane Center is already using it
2026-08-09 Jeff Dean published his startup's pitch deck — and Alphabet is one of the investors
2026-08-08 Mathematicians say OpenAI's AI-written proofs leaned on their work without crediting it
2026-08-08 AI wrote 16 working viruses from scratch — and the study just cleared peer review in Science
2026-08-07 Why Erdős's puzzles keep falling to AI — and what mathematicians say it means
2026-08-06 Two teams gave the same AI the same open problem. Their proofs landed 3 hours apart.
2026-08-03 Fields Medal winner Jacob Tsimerman is joining OpenAI to work on AI safety
2026-08-02 OpenAI's field report: coding agents sped up real science software up to 60x
2026-08-02 OpenAI previews 'Astra' — agent teams that solved ten open math problems for about $2,000
2026-08-01 35-country survey: 88% of university students use AI — and most say nobody taught them how
2026-07-31 First classroom trial of AI for teachers: time saved, student motivation dented
2026-07-31 OpenAI is giving 100,000 academic researchers free frontier AI access
2026-07-31 Claude found encryption weaknesses that years of expert review missed
2026-07-31 Read in the app — free, in 9 languages