Used Claude autonomously via the Prove2Me platform to produce the first computer-checked proof of Fermat's Last Theorem in Lean over 11 days
Reported: generated 13 million lines of Lean code, proved 30,300 theorems with 29,500 used in the final proof, consumed about six billion output tokens
Using AI to generate medical systematic reviews and peer review services while advertising them as '100% human-written, never AI', with fabricated PhD staff credentials
WSU and Google built a fully automated AI pipeline for wildlife camera-trap analysis, tested across Washington, Glacier National Park and Guatemala's Maya Biosphere Reserve.
Reported: Camera-trap analysis cut from seven months to under a week; matched human ecologists in 85-90% of cases.
Used Claude (Mythos Preview and Opus 4.8) to design protein binders against research targets validated by Adaptyv Bio and Twist Bioscience; Opus 5 processed raw NMR and LC-MS data
Reported: designed protein binders against 14 of 15 targets tested, hitting 22-35% success versus the typical 10-15% industry rate; Opus 5 processed raw NMR and LC-MS data in 23 and 19 minutes with purity within 0.1% of the lab's own reading
Google DeepMind's Co-Scientist, a multi-agent Gemini system that autonomously generates, debates, and refines scientific hypotheses, is deployed to all 17 U.S. DOE National Laboratories under the White House's Genesis Mission.
Reported: Early applications include novel drug repurposing candidates
Every entry names the organisation and links its source. Outcome figures are quoted as reported, never estimated. Vendor announcements without a named customer are excluded. Halted and reversed deployments are kept on purpose.
We use essential cookies to keep the site working (login, form security). With your permission, we also use analytics cookies to understand how you use the site.
Privacy policy