AIImpactLab
9 impact clustersWork & marketsCognition & learningTechnical failuresPrivacySecurityEnvironmentLaw & informationSocial good & healthSystemic risk
Search the evidence

Find the signal.

Search titles, impact clusters, countries, organizations and the full text of every analysis.

8 stories found

A mathematician's desk holds anonymous proof pages beside a small green verification light at sunrise.
Cognition & learningGlobal+2 clusters01

OpenAI released AI-written mathematics. Publication is not the same as proof

OpenAI has made a large collection of mathematical manuscripts produced by an internal frontier model public on GitHub, with supporting artifacts, reasoning summaries and some Lean formalizations. The company says the average result used compute equivalent to roughly three hours of ChatGPT Pro thinking. That is a disclosure about process, not a quality score. The repository says its current catalogue has 719 manuscripts across 372 related families and that roughly 42% of top-line results have been formalized; it also warns that some unformalized results could have problems. Counts may change as the repository is updated, and a manuscript is not necessarily a distinct solved open problem. Lean can check a formalized proof against a formal statement and dependencies, but human mathematicians still have to judge whether the statement captures the intended problem, whether prior work is credited and why a result matters. The independent Advisory Group on Mathematics and AI says it advised on responsible release, but explicitly does not endorse testing advanced problems on proprietary models as ideal or certify this collection. It urges labs to support community-led human understanding. The story here is not a miracle tally. It is a new publication model testing whether the rate of generated mathematics can be matched by transparent provenance, durable revision history, independent checking and explanations people can build on. If that works, AI could enlarge research. If it does not, researchers inherit an expensive verification queue disguised as progress.

7 min
Hundreds of luminous search threads converge on one repeating DNA pattern before it passes to a human scientist at a laboratory bench.
Social good & healthUnited States and global genomic data+4 clusters02

Claude agents found a previously uncharacterized enzyme system with CRISPR-like repeats

Anthropic says a campaign of roughly 950 Claude agents found a previously uncharacterized biological system while mining public DNA-sequence data. Over about 21 hours and 210 million tokens, the agents gathered more than 200,000 reverse transcriptases, selected roughly 3,500 candidate systems, and narrowed the field to about 20 detailed reports. One agent noticed evenly spaced non-coding DNA repeats beside an unusual reverse transcriptase and an accessory gene in bacteriophages. Anthropic calls the system array-associated reverse transcriptases, or ART. The arrangement resembles CRISPR arrays, and early experiments indicate that the ART array is expressed as distinct short RNAs. That does not establish a new gene-editing tool. Anthropic states that ART's natural function is unknown, the underlying reverse transcriptase had appeared in earlier studies, and all laboratory experiments were performed by human scientists. The work is a preprint from an Anthropic research group and its own Bay Area lab, so independent replication and peer review remain essential. The important signal is methodological. Agents can expand genome mining by running hundreds of searches and critiques in parallel, while expert judgment and physical experiments decide which machine-generated hypotheses survive. If replicated, the productivity gain may come less from replacing biologists than from making the neglected parts of enormous public datasets searchable at a new scale.

10 min
A formally verified mathematical vortex glows behind glass while an unfinished bridge of handwritten reasoning stops before reaching it.
Cognition & learningGlobal+3 clusters03

AI produced a landmark mathematics proof before humans could absorb the lesson

An internal OpenAI system produced an analytical proof and Lean formalization for the Navier–Stokes Millennium Prize problem, while mathematicians interviewed by NPR said the 166-page manuscript has so far yielded little human understanding. The distinction is crucial. Lean compilation gives specialists strong reason to treat the formal argument as correct, but it does not identify the key intuition, separate routine machinery from reusable ideas, or teach the field how the result connects to other problems. OpenAI says roughly 10,000 concurrent agents worked for about 88 hours and generated around 130 billion output tokens on the result. That scale demonstrates a new discovery capability and a new absorption problem. The episode also became a dispute over speed, collaboration, provenance, and attribution as human researchers were approaching related results. OpenAI says its system did not access their work; researchers quoted by NPR argue the rushed release damaged a potential collaboration. Neither the Clay Mathematics Institute's formal prize process nor a durable human exposition has concluded. The impact is therefore larger than whether one proof survives review. If AI can generate verified research faster than communities can interpret it, scientific advantage may shift toward organizations that own compute while universities inherit the expensive work of explanation, validation, and training the next generation.

10 min
An industrial proof-stamping machine reaches a mathematical finish line while the paths of explanation, attribution, students, and unanswered questions fade behind it.
Cognition & learningGlobal+3 clusters04

Twenty-five Fields Medalists warn that solving famous problems can still damage mathematics

A public statement signed by 25 Fields Medalists argues that AI companies are pursuing a goal that can look like progress while undermining the science they claim to advance. Frontier systems are increasingly pushed toward major open mathematical problems because a solved theorem is a legible benchmark. The signatories say mathematics is not a scoreboard of true and false answers. Its value also lies in the concepts, methods, explanations, attribution, training, and new questions produced through the attempt. A rapid machine-generated announcement can therefore create an answer while destroying part of the intellectual landscape that made the problem fertile. The statement is a professional judgment from leading mathematicians, not an empirical demonstration that AI-generated proofs will reduce discovery or education. It also acknowledges that AI can benefit mathematics when it supports genuine understanding. The governance problem is incentive design. Companies can capture attention and prestige from a dramatic result, while the mathematical community bears the slower work of formal verification, exposition, credit assignment, teaching, and integration into the field. A better research compact would require complete methods, provenance, reproducible artifacts, citation tracing, and funding for human explanation before a benchmark result is marketed as a scientific breakthrough. The most important capability is not producing a proof-shaped object. It is enabling people to understand why the argument works and what new mathematics it makes possible.

7 min
A sealed historical archive leaks future facts into an AI drafting many competing theories, with one relativity equation buried among them.
Cognition & learningGlobal+3 clusters05

The Einstein test exposes why proving AI discovery is so hard

Could an AI trained only on knowledge available before a scientific breakthrough rediscover the breakthrough independently? Nature examines that deceptively simple test through historical language models built with cutoff dates before relativity, quantum mechanics, Turing machines, and other landmark ideas. The early results are humbling. A model trained on pre-1900 material showed occasional phrases that resembled later insights after receiving strong hints, but mostly failed and often produced plausible language without a reliable physical model. Other researchers attempting a pre-1930 system discovered that the training corpus leaked later facts: the supposedly historical model could answer questions about Franklin D. Roosevelt's administration. A University of Zurich family of four-billion-parameter models uses cutoffs at 1913, 1929, 1933, 1939, and 1946, but limited historical data and compute constrain what those systems can demonstrate. The test reveals two separate problems. First, dated archives are messy, incomplete, and contaminated by metadata and digitization. Second, a generative model can produce many theories, some suggestive and many wrong, while science still needs a process to rank them and connect them to evidence. Mathematics offers formal verification; empirical science requires experiments, instruments, causal reasoning, and judgment about which hypothesis deserves scarce attention. Historical models remain valuable because they can expose hindsight leakage and benchmark scientific novelty. But a striking rediscovery claim should not count unless the dataset, cutoff, prompts, researcher hints, candidate failures, and evaluation rule are independently reconstructable.

5 min
Thousands of AI agent nodes spiral into a fluid vortex beside a formal proof chain and an independent review stamp waiting to close.
Social good & healthGlobal+4 clusters06

OpenAI says 10,000 AI agents solved the Navier-Stokes problem

OpenAI says an internal system significantly more capable than GPT-6 Astra produced an analytical proof that smooth three-dimensional fluid motion can develop a singularity in finite time under a smooth external force. That would resolve the Navier-Stokes existence and smoothness Millennium Prize problem by establishing the counterexample formulations labeled C and D in the official statement. The company released a 166-page writeup and a Lean formalization, says the decisive effort involved roughly 10,000 concurrent agents, and reports that the Navier-Stokes work used about 2.7 million agent messages and 130 billion output tokens. It does not intend to claim the million-dollar prize. The result is potentially historic, but the correct verb today is claims, not solved. A formal proof artifact makes checking more rigorous and transparent, yet experts must still verify that the definitions, assumptions, and formal statements match the intended problem and that no gap sits outside the encoded proof. Provenance also matters. OpenAI says it began after hearing rumors about related work, did not access the outside researchers' specific user data, and cannot entirely rule out indirect influence from de-identified data used to improve models. The episode therefore demonstrates both the promise and the governance burden of AI-accelerated science. Massive parallel search can attack problems at a scale unavailable to most mathematicians. Scientific legitimacy will depend on independent verification, reproducible artifacts, careful credit, and clear policies protecting unpublished work submitted to commercial AI systems.

6 min
A print table filled with biomedical papers reveals patterned AI fingerprints across discussion and results sections beside a clear preprint and provenance warning.
Law & informationGlobal research corpus+3 clusters07

Almost nine in ten late-2025 biomedical papers showed signs of AI-assisted writing

A preprint analyzed more than one million English-language open-access biomedical papers and estimated that 89 percent of papers published in December 2025 showed signs of some large-language-model-assisted writing. Nature reports estimates of 77 percent for 2025 overall and 52 percent for 2024, with signs appearing more often in discussions than results. The number is startling and easy to misuse. It does not mean AI authored 89 percent of biomedical papers, fabricated their data, or influenced the entire scientific literature. The method detects shifts in vocabulary within a specific PubMed Central corpus, the paper has not been peer reviewed, and other researchers told Nature that representativeness and methodology need further analysis. The finding still matters because AI assistance is moving from exceptional to ordinary while disclosure, attribution, data verification, citation checking, and journal policy remain inconsistent. Science needs provenance that distinguishes language editing from analysis, protects responsibility for claims, and lets readers audit the contribution without treating every polished sentence as misconduct.

5 min
Versioned scientific data moving through an AI feedback loop with a broken provenance link.
Technical failuresGlobal+2 clusters08

Wood-Charlson et al., “Advancing FAIR data towards comparable, organized, predictive AI-ready data for community validation”

The authors warn that AI systems can amplify stale annotations, incorrect database relationships, inconsistent standards, and weak provenance when they continuously harvest scientific repositories that were designed as comparatively static resources. They extend the FAIR principles with COPE—Comparable, Organized, Predictive, and Engaged—calling for iterative updates, version tracking, uncertainty estimates, machine-actionable standards, and community validation whenever AI-supported analyses generate new knowledge.

2 min