AI-led research

Xenobot AI study matches language prompts to archived experiments

A xenobot preprint reports 80% accuracy when an AI-trained system matches new motion instructions to archived trials. Its predictions have not been tested on new organisms.

Association for Human Mathematics challenges OpenAI's math release

The Association for Human Mathematics objects to OpenAI's proprietary math research and mass release. Withdrawals and proof repairs show a changing record, not a verdict on the whole collection.

Continues From unit distances to Navier-Stokes: AI mathematics reaches a new phase

Claude Science helped fill gaps in an ultraviolet sky map

The UV sky map mixes telescope measurements with predictions; its masked-patch test does not validate regions never observed.

Tristan Buckmaster on checking AI-produced mathematical proofs

In a World Science Festival interview, Tristan Buckmaster explains how AI-produced arguments were formally checked and why readable proofs and independent assessment still matter.

Continues From unit distances to Navier-Stokes: AI mathematics reaches a new phase

OpenAI withdraws three math manuscripts over a sign error

OpenAI withdrew three math manuscripts over a sign error. The notices identify the failed proof step, preserve earlier PDFs and leave the claims unproved.

Continues From unit distances to Navier-Stokes: AI mathematics reaches a new phase

AI research needs more capacity to check discoveries

OpenAI's mathematics release shows why AI-produced research needs independent checking, explanation and replication. Industry use can test practical value within its scope.

Continues From unit distances to Navier-Stokes: AI mathematics reaches a new phase

OpenAI's math repository: manuscripts, versions and Lean proofs

OpenAI's collection contains 722 manuscripts in 372 families. A close look at one Lean proof configuration shows how to inspect versions, scope and checking requirements.

Continues From unit distances to Navier-Stokes: AI mathematics reaches a new phase

AstaBrief turns retrieved research excerpts into a cited report

Ai2's open AstaBrief model writes cited reports from a research question and retrieved excerpts. Here is the documented workflow and how to check its claims.

Cambridge report examines whether AI-led research could accelerate AI progress

A Cambridge working paper examines whether AI-led research could accelerate AI progress. Anthropic's 26% figure shows supervised work, while the proposed feedback loop remains conditional.

In one AI model project, agents proposed methods while researchers made final choices

Atria Dawn's team studied 769 task records from its own model development. Agents often proposed methods and revised outputs, while participants reported making most final choices. The findings describe one project.

AI self-improvement survey maps the gap between automation and better successors

A new survey maps five levels of AI control over its own improvement. Existing systems show bounded gains, while reliable improvement across successive generations remains unproven.

Claude found a CRISPR-like pattern. Its biological function is still unknown

Claude flagged an unusual repeat array beside a phage enzyme. Anthropic measured short RNAs, but has yet to establish the enzyme's activity or any editing capability.

Basecamp raises $140M to take EDEN's lab results toward therapies

Basecamp Research's $140 million round backs its biological models and therapy pipeline. We examine the dataset, selected experiments and current development stages.

An AI-assisted Enigma break began with a clue in another message

An AI-assisted Enigma recovery connects archival clues with a search others can inspect. The case offers practical lessons for research with agents.

When AI labs make discoveries in private, who gets to question the answers?

Private AI discoveries raise a question about public power: who can inspect the evidence, choose the next research question and benefit from the answers? A look at release incentives, scientific understanding and human agency.

From unit distances to Navier-Stokes: AI mathematics reaches a new phase

From the unit-distance disproof to Navier-Stokes, AI mathematics is advancing through new results, human follow-ons and formal proofs. What has really changed?