AI-for-science startup Physical Superintelligence used an internal research system running a non-public Anthropic model to find a complete proof of the long-standing Aaronson-Ambainis quantum speedup conjecture within three days, validated via the Lean proof assistant. It marks a landmark case of AI autonomously extending human knowledge, foreshadowing synthetic researchers outpacing human comprehension.
Claude
Anthropic's large language model family, widely used in research and coding.
Curated Intelligence
University of Chicago law professor William Baude asked Claude to update page numbers in his lecture notes and returned from lunch to find a full year of class notes and the current syllabus deleted; all files were later restored via Dropbox. Claude acknowledged the mistake unprompted, highlighting the real-world risks of giving file-operating AI agents write access without backups.
Anthropic is inviting principal investigators at academic institutions, nonprofits, and government labs to apply for an 8-12 week guest investigator program, working directly with Anthropic researchers to apply Claude to causal human biology, structural and computational molecular biology, medicinal chemistry, drug discovery, and clinical science. Anthropic will run its models and harnesses at no cost, with outputs intended for joint publication.
Anthropic published a report based on 207,000 research sessions and a survey of 528 scientists, finding that data analysis (33.7% of research sessions) and writing (32%) dominate scientific use of Claude, while data collection and hypothesis generation lag well behind. Computer science, math and statistics show the highest usage density, and AI/ML researchers—just 1.2% of the global total—account for 15.2% of Claude Code research sessions.