Every AI News story tagged with both AI for Science and AI Tools — the two topics side by side, updated as new articles publish.
5 articles
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 →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 →