AI in Science & Research: 34 real deployments

Initial partner in OpenAI's trusted-access program for GPT-6 Rosalind Research for biology and drug discovery

Receiving free Claude credits via gnomAD to distribute to researchers across biology, medicine, physics, chemistry, climate science, and mathematics

Receiving free Claude credits to distribute to researchers across biology, medicine, physics, chemistry, climate science, and mathematics

Receiving free Claude credits to distribute to researchers across biology, medicine, physics, chemistry, climate science, and mathematics

Receiving free Claude credits to distribute to researchers across biology, medicine, physics, chemistry, climate science, and mathematics

Receiving free Claude credits to distribute to researchers across biology, medicine, physics, chemistry, climate science, and mathematics

Receiving free Claude credits to distribute to researchers across biology, medicine, physics, chemistry, climate science, and mathematics

Receiving free Claude credits to distribute to researchers across biology, medicine, physics, chemistry, climate science, and mathematics

Receiving free Claude credits to distribute to researchers across biology, medicine, physics, chemistry, climate science, and mathematics

Receiving free Claude credits to distribute to researchers across biology, medicine, physics, chemistry, climate science, and mathematics

AI-agent swarms used to produce a complete Lean 4 formalization of the Classification of Finite Simple Groups across 43.1M lines of code

Reported: Proof completed in 24 days; 34 deviations from published proofs uncovered, including counterexamples in the Unbalanced Group Theorem

Used human-directed agentic AI workflow to prove the 1995 Kannan–Lovász–Simonovits mathematical conjecture

Reported: AI explored 100+ candidate approaches; 140-page proof produced; unguided AI attempts with comparable compute fell short

Ran ~2,000 GPT-Rosalind agents across an 8-million-cell mouse brain CRISPR atlas in collaboration with OpenAI and PerturbAI

Reported: Analysis completed in 32 minutes; agents cited 700+ references vs. 11 for a single agent; blinded specialists preferred multi-agent outputs 75% of the time

Ran ~2,000 GPT-Rosalind agents across an 8-million-cell mouse brain CRISPR atlas in collaboration with OpenAI and Scripps Research

Reported: Analysis completed in 32 minutes; agents cited 700+ references vs. 11 for a single agent; blinded specialists preferred multi-agent outputs 75% of the time

Distributed ~2,000 GPT-Rosalind agents across an 8-million-cell mouse brain CRISPR atlas in collaboration with PerturbAI and Scripps Research

Reported: Analysis completed in 32 minutes; agents cited 700+ references vs. 11 for a single agent; blinded specialists preferred multi-agent outputs 75% of the time

Program to help mathematicians evaluate, adopt, and standardize AI-assisted tools, with open call for proposals, workshops, and training; AI tools and compute supplied by OpenAI and Anthropic to Simons-funded researchers

Claude autonomously computed the six-particle scattering amplitude in planar N=4 super-Yang-Mills theory at nine loops, one loop beyond the previous human record

Reported: nine-loop result one loop beyond Lance Dixon's 2023 record; cost roughly $1,000–$2,000 on 96 CPUs over about a week; result validated by Dixon (SLAC)

Used multiple AI agents to search M23 symmetry combinations and numerically approximate candidate surfaces to solve the inverse Galois problem

Reported: produced an explicit degree-23 polynomial whose Galois group is M23, closing the final open sporadic case of the inverse Galois problem; one AI agent surfaced a workable surface the humans converted to polynomial equations

Used multiple AI agents to search M23 symmetry combinations and numerically approximate candidate surfaces to solve the inverse Galois problem

Reported: produced an explicit degree-23 polynomial whose Galois group is M23, closing the final open sporadic case of the inverse Galois problem; one AI agent surfaced a workable surface the humans converted to polynomial equations

Deploying Apollo, an Ancient Greek LLM trained on approximately 600 million words of historical Greek plus tens of thousands of papyri and inscriptions, for fill-in-the-middle restoration of damaged texts made freely available to academics

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

Four US national laboratories run Meta vision models on secure infrastructure to analyze scientific imagery for the Genesis Mission.

Reported: Deployed on 300 A100 GPUs, the pipeline reduced grapevine drought-resilience analysis from about one month to roughly 15 minutes.

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.

Launched a Materials Accelerator pairing AI models with automated labs for materials research

Using AI models to generate and formally verify mathematical proofs, including an ETH disproof for 3-SAT formalized in Lean, a local smoothing conjecture proof settling Kakeya and Stein's restriction in all dimensions, and a pure Yang-Mills theory existence proof

Reported: Lean-formalized disproof of the Exponential Time Hypothesis for 3-SAT, proof of local smoothing conjecture, and proof of pure Yang-Mills theory existence, all submitted for independent peer review

AI agents used with a researcher to identify candidate room-temperature antiferromagnetic semiconductor materials using DFT calculations

Reported: Identified two candidate materials: YBaMnFeO5 with predicted 2.35 eV band gap and KV[Cr(CN)6] with 2.1 eV band gap and magnetism up to 376 K

Launching experimental Project Suncatcher satellite carrying four TPUs into low Earth orbit for approximately one year as first hardware step toward kilometer-scale orbital AI compute clusters

Deployed approximately 950 Claude agents to autonomously scan bacteriophage reverse transcriptases and identify novel enzyme systems in its new life sciences research group

Reported: 950 agents ran for 21 hours using 210M tokens to scan 200,000 RTs and narrow 3,500 candidates to 20 systems, discovering array-associated reverse transcriptases (ART), a previously uncharacterized CRISPR-like bacteriophage enzyme system

Using Physical Superintelligence's 'Get Physics Done' AI system to design trajectory for a planned $15M Alpha Centauri spacecraft mission

Reported: swinging closer to the sun for photon momentum let designers shrink the sails and lighten the craft

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

Using WeatherMesh 6 deep-learning model to forecast weather and operationally guide autonomous weather balloon fleet, including navigation into Typhoon Dolphin's eye

Reported: WeatherMesh 6 reportedly outperformed ECMWF's physics-based forecasts and steered a balloon into Typhoon Dolphin's eye in what the company calls a first for AI operational guidance of an unpowered aircraft

ESA's EcoPulse detects 'animal panic' from satellite imagery for wildlife conservation, offered as custom analyses priced at 12K-45K euros.

Reported: 87% accuracy detecting animal panic from satellite imagery.