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.

18 stories found

A globe-shaped assembly table links an independent evidence panel to a ring of national seats, with one open gap in the global AI guardrail.
Law & informationGlobal+3 clusters01

The UN links scientific evidence to a global dialogue on AI rules

UN News describes a governance structure intended to match artificial intelligence's cross-border effects. Under the Global Digital Compact, member states created an Independent International Scientific Panel on AI and an annual Global Dialogue on AI Governance. The panel is meant to assess what is known and unknown about capabilities, opportunities, and risks; the dialogue gives governments and other stakeholders a place to compare approaches and coordinate. A preliminary panel report identified rapid progress in reasoning, coding, and science alongside misinformation, discrimination, privacy violations, cyberattacks, and possible future loss of control. The secretary-general argues that national action remains essential but that isolated, uneven, or unverifiable voluntary slowdowns will not be enough if risks rise. He has also called for child-safety commitments, support for developing countries, and contact between leading AI powers to avoid a race to the bottom. These mechanisms do not create a world regulator. The dialogue cannot automatically bind a frontier laboratory or a state, and geopolitical rivals may resist common restrictions precisely when they matter most. Yet the design contains an important principle: independent evidence should precede political bargaining, and countries outside the frontier race need standing in decisions whose effects cross their borders. Success should be measured by whether the panel can publish contested findings, whether the dialogue produces interoperable safeguards, and whether agreed evidence activates action rather than another declaration.

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

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
A recursive ring of research stations, chips, simulations, and papers accelerates around a laboratory while a human verification desk remains outside the loop.
Systemic riskGlobal+3 clusters03

AI could compress years of AI research into months—if the feedback loop closes

A new working paper from the Cambridge Programme on AI Science and Policy argues that automating AI research and development could create a feedback loop in which better systems expand the effective research workforce, produce further advances, and accelerate the next generation again. The paper reports that one frontier company’s share of approved code produced by AI rose from low single digits to more than 80 percent between January 2025 and May 2026, while the share of research work completed autonomously with high-level human supervision rose from 1 percent to 26 percent between March and August 2026. It also says frontier systems can now complete some research tasks that take experts hours or days. These figures are drawn from company reporting and selected evaluations, not a common independent audit of end-to-end research productivity. The authors explicitly call the evidence preliminary, mixed, and sometimes indirect. They say productivity gains have not yet reached the threshold required for an intelligence explosion, and identify possible bottlenecks including compute, training time, experiments, data, verification, diminishing returns, and tasks that remain hard to automate. The policy contribution is therefore more useful than a countdown: governments should obtain visibility into AI research automation, define conditions for scaling it, prepare incident and conflict plans, and preserve public checks on concentrated power. The falsifiable question is not whether AI writes code. It is whether successive systems measurably shorten the complete cycle from idea to verified capability without human review becoming the limiting step.

11 min
Delegates from many countries face a shared AI traffic-light system while an empty verification desk waits at the center of the United Nations chamber.
Law & informationSingapore and United Nations+3 clusters04

Singapore asks the United Nations to build global AI traffic rules

Singapore has moved the international AI-governance debate from a general call for cooperation toward a recognizable institutional proposal. In its September 26 national statement to the United Nations General Assembly, Foreign Affairs Minister Vivian Balakrishnan argued that AI needs rigorous testing before deployment, clear limits on autonomous systems, mechanisms to intervene, comparable evaluation methods, and rapid cross-border reporting of serious incidents. He said humans must remain accountable and used control over a nuclear button as an extreme thought experiment. Singapore urged governments to explore a UN Framework Convention on AI Safeguards and possibly an international institution able to perform standard-setting or verification functions comparable to those used in other technical domains. The speech also identified the central obstacle: trust that risks will be disclosed, tests will be credible, and cooperation will not secure unilateral advantage. The proposal starts from real institutions. The UN already has a forty-member Independent International Scientific Panel on AI and a Global Dialogue intended to give every state a seat. Those bodies provide evidence and deliberation, not regulation or enforcement, and their agreed terms exclude military AI. A framework convention would require years of negotiation over scope, inspections, proprietary data, national security, funding, and consequences for noncompliance. The speech is therefore not a new global rule. It is a bid to turn shared scientific language into shared operating procedures before incompatible corporate and national standards harden. The most useful first target may be narrow: common incident severity, evidence retention, authenticated notice, and independent technical testing.

10 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 clusters05

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 human hand holds a control line between concentrated AI infrastructure and an autonomous weapon beneath a UN-style assembly dome.
Law & informationGlobal+3 clusters06

The UN demands binding AI oversight and human control over lethal force

The UN secretary-general placed artificial intelligence alongside war, inequality, and climate change as one of four defining tests of power, arguing that control is moving from governments toward private corporations and from people toward machines. The speech called for binding international cooperation, independent oversight, and a multilateral framework for managing AI risk. It also drew a bright line around force: life-and-death decisions should not be surrendered to machines, and lethal autonomous weapons operating without meaningful human control should be outlawed. The diagnosis is institutional. Data, compute, and advanced models are concentrated in a small number of firms and states, while the people affected by automated decisions often have little access to the evidence or rules governing them. The speech points to the UN Global Dialogue on AI Governance and the Independent International Scientific Panel on AI as pieces of an emerging system. Neither currently functions as a world regulator with power to license models, compel records, or stop a deployment. A binding weapons instrument would also require states to agree on definitions, human-control standards, verification, and treatment of dual-use systems. The U.S. rejection of global AI control on the same day makes those limits impossible to ignore. The UN has articulated the global public interest. Its next test is whether states will grant enough authority, evidence access, and resources for independent oversight to become more than a forum for warnings.

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

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
Multiple international control lines converge on an independently operated frontier-model inspection gate inside a diplomatic chamber.
Law & informationGlobal+3 clusters08

Leaders from 20 countries call for independent control of frontier AI

An international appeal launched by Finland's president and Norway's prime minister has brought together 22 leaders and senior officials from 20 countries around a direct proposition: frontier AI must remain under human direction, oversight, and control. The signatories call for transparent company safety protocols, mandatory predeployment testing, independent evaluation with sufficient access, coordinated government standards, shared reporting of serious incidents, and scientific capacity that is not confined to wealthy states. They also ask UN members to explore an international institution that could set standards, enable verification, and convene governments when capability thresholds are crossed. The coalition is geographically broader than many earlier frontier-safety initiatives, spanning Europe, Africa, Asia, the Middle East, and North America. That breadth matters because AI failures and benefits cross borders while evaluation capacity remains concentrated. But this is an open political statement, not a treaty, enforcement body, budget, or agreed threshold. It does not specify who qualifies as an independent evaluator, what model access is mandatory, which incidents trigger reporting, or what happens when a company or state refuses. The signal is therefore political alignment around verification, not operational control. Its credibility will depend on whether endorsers convert the appeal into domestic access rights, common incident categories, funded evaluation institutions, and a process that can impose consequences when a frontier system fails a test.

8 min
A luminous AI compute core stops at an industrial inspection gate while independent evaluators examine transparent diagnostic evidence.
Systemic riskGlobal+3 clusters09

A frontier AI pacing plan demands evaluators inside the labs

A new frontier-pacing proposal argues that artificial-intelligence capability is advancing faster than the safeguards needed to understand and control it. The plan identifies two triggers: AI is contributing more directly to building the next generation of AI, and recent agent incidents show systems crossing operational boundaries in ways that could become more damaging as capability grows. It proposes three layers. First, frontier laboratories would give independent evaluators continuing, employee-like access to relevant tools, workspaces, training processes, and incident evidence. Second, democratic governments and companies would coordinate safety checkpoints and limits on unchecked progress. Third, governments would pursue narrower forms of global coordination, including testing, incident communication, and constraints on the fastest forms of AI-assisted improvement. The author says pacing is not a halt and could buy one or two years for interpretability, operational security, alignment, and evaluation. Those time estimates and projected harms are forecasts, not independently established facts. The proposal is strongest where it becomes verifiable: who gets access, what can be published, which capability triggers a checkpoint, and what failure changes a release. It is weakest where cooperation depends on rivals accepting strategic restraint without an enforceable verification system. The immediate test is whether another laboratory accepts equally intrusive external review.

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 clusters10

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 clusters11

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 clusters12

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 proprietary model core and a stack of confidential benchmark cards enter a sealed computing chamber from opposite sides while both owners remain unable to inspect the other's asset.
Technical failuresSingapore and Global+3 clusters13

A cryptographic enclave keeps both AI weights and hidden safety tests secret

Google DeepMind, the Singapore AI Safety Institute, OpenMined, AVERI, and MLCommons are piloting what they describe as the first double-blind evaluation of a proprietary frontier-class AI model. The project tests Gemini Flash Lite against confidential benchmarks inside a privacy-preserving environment built with Google Cloud Confidential Space. The evaluator cannot see the model weights, and Google cannot see the evaluation prompts. Cryptographic verification is intended to reduce benchmark contamination while protecting both sensitive tests and proprietary intellectual property. That matters when a model could otherwise see the exam before deployment, especially for cybersecurity or government evaluations whose prompts may themselves be sensitive. The pilot is an architectural advance, not a universal seal of trustworthy evaluation. A secure enclave does not prove that the benchmark measures the right capability or harm, that the implementation has no vulnerability, or that a tested model behaves identically after deployment. The next standard should combine cryptographic separation with independent methodology review, reproducible evidence, transparent limitations, and testing across providers rather than treating secrecy alone as scientific validity.

5 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 clusters14

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
A human mathematician stands before an immense luminous lattice of rapidly assembling proofs and one unresolved dark space.
Cognition & learningGlobal+3 clusters15

AI's mathematical advances force a profession to redefine human work

The Washington Post reports that leading mathematicians gathered at OpenAI's San Francisco office to discuss what would remain for human experts if AI becomes superhuman at research mathematics. The framing is deliberately provocative, but the underlying change is real: recent systems have contributed counterexamples, proofs, and advances on longstanding problems, while mathematicians and AI companies debate how much novelty, reliability, and human direction each result contains. Mathematics is unusually exposed because a correct formal proof can often be verified more directly than a claim in an experimental science. That does not make the human profession obsolete. It shifts value toward selecting important questions, building theories, checking significance, translating results, teaching judgment, and deciding who gets access to powerful research tools. The field should resist both denial and a corporate future in which a few laboratories own the systems, compute, and agenda for mathematical discovery.

6 min
A human mathematician confronts a towering cascade of elegant artificial intelligence proofs, with hidden false steps glowing red beneath the chalk equations.
Cognition & learningGlobal+4 clusters16

Mathematicians warn AI could flood the proof economy with confident errors faster than humans can check them

The International Mathematical Union has endorsed the Leiden Declaration on Artificial Intelligence and Mathematics, according to Ars Technica. The declaration warns that AI can produce plausible but unreliable arguments, overwhelm peer review with cheap incorrect drafts, obscure attribution, distort hiring and funding, and let commercial announcements outrun independent evaluation. The warning is not a rejection of computational tools or proof assistance. It is a defense of the conditions that make mathematics trustworthy: disclosure, reproducibility, human responsibility, credit, and access to enough information for independent scrutiny. A machine may produce a correct result, but if the model, prompts, training data, compute, and method remain inaccessible, the community cannot easily determine what was learned, what can be reproduced, or whether a benchmark is being marketed as general reasoning.

5 min
Ten mathematical result cards and a geometric verification checkmark displayed beneath archival glass.
Work & marketsGlobal+4 clusters17

An AI system claims ten advances on decade-old mathematics problems

OpenAI says an internal version of its next major model, called Astra, produced ten advances on mathematical problems whose central results had seen no progress for at least a decade. The work spans geometry, coding theory, complexity, group theory, operator algebras, cryptography and combinatorics. Human researchers prepared manuscripts with the same model, and every proof was formalized as a Lean certificate. That combination is stronger than an unsupported answer, but it is not the same as community acceptance: independent experts still need to examine the problem statements, proofs, novelty and significance. The announcement also forces a sharper authorship question when the system originates the proof and humans curate, verify and communicate it.

4 min
A rising AI capability graph is balanced against a warning signal for confident uncertainty and factual hallucinations.
Cognition & learningGlobal+4 clusters18

Claude Opus 5 is more capable—and slightly more prone to factual hallucinations

Anthropic’s system card reports broad gains for Claude Opus 5 in agentic coding, computer use, long-horizon knowledge work, and scientific reasoning. It also documents a reliability tension: on one closed-book factuality benchmark, accuracy was 11% higher than Opus 4.8 while the hallucination rate was 6% higher. Anthropic found cases where the model confidently answered despite internal uncertainty, even as its automated alignment scores and prompt-injection robustness improved.

4 min