AI in research & analysis: 12 real deployments

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.

On-orbit image analysis using Gemma open-weight models

Loft Orbital ran Google DeepMind's Gemma 3 vision-language model on an Nvidia Jetson Orin AGX aboard its YAM-9 satellite, processing natural-language queries against live Earth imagery entirely onboard, the first reported VLM deployment in space.

Coca-Cola is tying creator and media spend to revenue with AI-stitched identity graphs to prove marketing value to the C-suite.

Hershey rolled out an in-house AI that ingests hundreds of thousands of marketing inputs to drive marketing and decision-making, insourcing the analytics layer.

analyst used an AI chatbot to fuse open-source and signals intelligence to produce a cargo assessment of a Chinese ship operating in the Middle East

Reported: model wrongly identified cargo as nuclear-weapon components bound for Iran; US forces prepared armed boarders before officials caught the error, which one source said 'almost started a war'

C2S-Scale cell-analysis model built on Gemma

opened Genesis Open Models contribution portal at Argonne National Laboratory for universities, national labs, and companies to submit AI models, data, environments, and evaluations targeting scientific workflows

Instacart co-founder Apoorva Mehta launched Abundance, a fully AI-managed hedge fund with $100M where thousands of bots search for trade ideas, size positions, and execute, supervised by a ten-person team.