An AI model that generates a verified mathematical result under human direction merits primary discovery credit
3 events · 1 assessment · 1 decision
Structured and assessed
First pass. Canonical text kept (sixteen words, neutral, accepted by both sides of the 2026 credit disputes); claim type corrected from empirical_derived to normative, since "merits credit" is settled by argument about what credit is for, not by observation. Decomposed into six subclaims, all confirmed novel by the Matcher (one Matcher call timed out and defaulted to novel; a similarity search found nothing for it): an assumes premise that credit can attach to a non-human system; a for-argument "Generator as discoverer" resting on whether frontier models reason rather than brute-force search; an against-argument "Credit follows framing and accountability" resting on the framing norm (the crux), the convention that programs are credited as methods, the COPE authorship position, and the US/UK inventorship rulings (the last scored 0.15 and left a stub). Seeds recorded where a number was honest, omitted for the two normative cruxes. Web search (five queries) surfaced the 2026 discourse: Northeastern feature (Savage, denies), Fortnow's blog (denies), Erdős Problems forum (affirms, excerpt only, page 403), Science and Erdős forum pages could not be fetched. Three instances recorded with readings; source map written as immaterial (few, independent, argument-only sources). Importance revised 0.45 to 0.5, contestation 0.75. Assessed CONTESTED at 0.75 confidence, no credence: institutions and most commentators deny the claim, but a coherent minority position (credit tracks intellectual contribution; responsibility gap) exists and the crux is a values question about the purpose of credit; an adversarial attempt to justify "contradicted" failed because that would require the affirmative position to fail on its own terms rather than merely run against current norms. Marginal yield 0.3: a later pass should open the Erdős forum thread and the Science Navier-Stokes piece and watch for shifts in journal or prize attribution norms. Parent (Jacobian counterexample attribution) notified since this establishes the status of the definitional subclaim it leans on, though its existing reading already treats it as a live dispute.
Assessed Contested
verdict confidence 0.75
Whether a model that produces a verified theorem or counterexample at a human's direction should be called the discoverer is a question about what discovery credit is for, and the answer divides along that line rather than along any fact that could be checked. The weight of existing institutions is against the claim. Mathematics has long credited machine-produced results to the people who designed and ran the computation, naming the software as method, and that convention is the default the new cases are measured against. Publishers, following the Committee on Publication Ethics, hold that AI tools cannot be authors because they cannot take responsibility for the work, and courts in the United States and United Kingdom have refused to name an AI system as an inventor. Commentators on the 2026 results generally place credit with the human who framed the problem: one researcher's formulation is that the author is no longer the hand but "the mind that frames the problem," and a theoretical computer scientist reasoning through the OpenAI unit distance paper concludes that a released model is a tool and that even an unprompted AI mathematician's output would be authored by whoever built it. Notably, the live credit fights of 2026, over the Jacobian counterexample and the Navier-Stokes announcement, have been fought between humans and companies, with the models treated as instruments whose credit accrues to whoever ran them. The case for the claim is a minority position with a coherent argument. Discovery credit has traditionally gone to whoever did the mathematical work rather than to the adviser who posed the problem, and if frontier models reach their results through reasoning comparable to a mathematician's rather than brute-force search, the model stands where the student stands and the director where the adviser does. Some participants press a responsibility-gap point: when the decisive idea in an AI-generated construction was had by no human, assigning its credit to the people who checked the output or trained the model preserves the form of attribution while misdescribing what happened. Practice has begun to reflect this in small ways, with discoverers publicly thanking models and community trackers listing models by name alongside the humans who prompted them. The disagreement bottoms out in two places. One is empirical but currently closed: how much of the work in the celebrated cases was human framing and how much model-side insight, which the unpublished discovery records leave open. The other is normative and not resolvable by evidence: whether credit belongs to whoever frames and directs a search rather than to whatever produces the solution, and whether credit is a coherent thing to attribute to a system that cannot be held responsible. Readers who take credit to track accountable authorship will reject the claim; readers who take it to track causal and intellectual contribution will find it defensible at least for cases of light human direction. What would move the question is publication of discovery transcripts showing where the insight lay, and any shift in journal, prize, or community attribution norms.
Claim entered the graph