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.
Nous utilisons des cookies essentiels au fonctionnement du site (connexion, sécurité des formulaires). Avec votre accord, nous utilisons aussi des cookies analytiques pour comprendre comment vous utilisez le site.
Politique de confidentialité