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.
AI Research News and Analysis
6 verified stories covering AI Research, product updates and industry developments.
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.