This project is suspended: no new articles or editions will be published. The archive stays available.
AI for Science covers the use of machine learning and AI models to accelerate research across physics, chemistry, biology, materials science, and climate science, from predicting protein structures to simulating new materials. This hub tracks the tools, breakthroughs, and institutions pushing AI-driven discovery forward.
Google DeepMind's new WeatherNext 3 model forecasts weather hourly at up to five-kilometer resolution by training on live satellite data instead of six-hour-old model outputs, Google said.
Read more →Washington State University researchers used AI-guided experiments to identify workable 3D-printing settings for a NASA rocket alloy, cutting the search from 100 million options to 40 test prints.
Read more →
A plain-language explainer on how quantum computing actually works, why it's so hard to build, and how it's already crossing paths with AI today.
Read more →OpenAI says an internal, unreleased model called Astra produced machine-checked solutions to ten long-standing problems in mathematics and theoretical computer science.
Read more →Anthropic mathematician Levent Alpöge used Claude Fable 5 to find a counterexample to the 1939 Jacobian conjecture, and mathematicians including Terence Tao independently verified it within days.
Read more →Anthropic is offering researchers and early-stage biotechs up to $50,000 in free Claude access to accelerate rare disease research, with partners including the Monarch Initiative and Every Cure.
Read more →
AI models now help scientists find and design new drug candidates in weeks instead of years. Here's what AI drug discovery is and how it actually works.
Read more →Chai Discovery, an AI startup that designs antibodies and other molecules from scratch, raised a $400 million Series C led by Index Ventures at a $3.8 billion valuation.
Read more →When an AI claims to have proved a hard theorem, mathematicians don't just take its word for it. Here's how proof verification actually works, and why it matters.
Read more →Mistral's new open-source model for Lean 4 fully saturates the miniF2F theorem benchmark, solves 87% of graduate-level math tests, and found five previously unknown bugs in production code — at roughly $4 per proof versus $300 for competing systems.
Read more →Anthropic released Claude Science in beta on June 30 — an AI workbench connecting scientists to 60-plus biological databases with reproducible outputs and built-in compute management, available to all paid subscribers.
Read more →OpenAI has released GeneBench-Pro, a 129-problem benchmark that tests whether AI agents can exercise the judgment-intensive analytical reasoning required for real-world computational biology research.
Read more →Anthropic's new Claude Science workbench integrates over 60 scientific databases and tools into a unified AI environment for life sciences researchers, launching in beta on June 30, 2026.
Read more →AI is transforming how scientists search literature, analyze data, and write up results. Here is what the tools can do today and where to start.
Read more →Anthropic released Claude Science in beta on June 30, an integrated environment connecting AI to 60+ scientific databases and lab compute for biomedical and life sciences research.
Read more →