Cambridge's AI-designed bird flu vaccine protects all ferrets
A Cambridge team used AI to design an H5 bird flu vaccine candidate that fully protected mice and ferrets, while WHO stockpile vaccine protected only about half.
AI Research News and Analysis
12 verified stories covering AI Research, product updates and industry developments.
Baidu's ERNIE Evolve Auto-Research System Sets Three Public Records
Baidu's ERNIE team unveiled ERNIE Evolve, a multi-agent auto-research system that beat the best published results on three of four public optimization tasks.
Anthropic studies 207,000 science chats: data analysis leads
Anthropic's economics team analyzed 207,049 research-related Claude sessions: data analysis tops usage, while ideation and hypothesis work lag far behind.
Ai2 Open-Sources 8B Model for Research Reports, 3.5x Faster
Ai2 open-sourced AstaBrief 8B, which writes cited research reports 3.5x faster than a Claude-based pipeline, with similar user approval.
Terence Tao: Good Math Problems Are Being Mined to Exhaustion
Terence Tao warns AI compute now races to solve open math problems once word leaks out, flattening the field's difficulty ladder.
Terence Tao warns AI could push math toward a proof glut
Fields medalist Terence Tao argues AI-generated proofs are about to overwhelm math's peer-review pipeline, pushing him to propose new publishing and teaching norms.
Aureka raises $100M for biology models
Aureka Biotechnologies raised a $100 million Series B to train biological foundation models and connect AI agents with wet-lab feedback.
Claude moves a zeta bound to 67%
Anthropic says an unreleased research version of Claude improved a Riemann zeta lower bound from 41.6% to 67.2%, with a paper, expert note and Lean formalization.
OpenAI Lets Astra Write Ten Proofs
OpenAI used Astra's first public research signal to release ten math and theoretical computer science results, with a 249-page paper, Lean certificates and reasoning walkthroughs.
GPT-5.6 produces a graph-theory proof
GPT-5.6 produces a graph-theory proof. A concise localization of the verified facts and the industry signal behind the story.
Anthropic Launches Claude Science for Lab Work
Claude Science bundles more than 60 scientific databases and tools into a workbench for researchers, aiming to do for science what Claude Code does for software.
Anthropic frames Claude Science as an auditable workbench
Claude Science is a research workbench rather than a new model, designed to collect scientific data and make AI-assisted results auditable and rerunnable.