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.
AI for science News and Analysis
4 verified stories covering AI for science, product updates and industry developments.
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.
OpenAI model cracks an 80-year Erdős geometry problem
An internal general reasoning model found an algebraic-number-theory construction that external mathematicians said is journal-worthy.