This project is suspended: no new articles or editions will be published. The archive stays available.
Every AI News story tagged with both Artificial Intelligence and AI for Science — the two topics side by side, updated as new articles publish.
15 articles
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 →