What AI Found updated its registry of AI-assisted results on July 29, with separate ratings for verification and the machine’s contribution
What AI Found updated its registry of AI-assisted results on July 29, with separate ratings for verification and the machine’s contribution
The registry contains 52 scientific and mathematical results produced with AI involvement. Each entry explains exactly what the AI did and identifies the documents that support the result itself.
The claim that “AI made a discovery” combines several distinct questions: who formulated the problem, who found the answer, and how the answer was verified. What AI Found organizes these cases into entries that include supporting links and two ratings.
The first rating describes how the result was verified. It distinguishes among formal proof, independent verification, a peer-reviewed article, verification by the authors, an unverified claim, a disputed result, and a previously known result. Here, formal verification means either a machine-checkable proof or a reproducible computational check. The second rating records the work performed by the AI: this ranges from autonomous research to extracting information from existing materials. In the current dataset, 37 entries have formal, independent, or peer-reviewed verification. In 19 cases, the AI led the research or worked autonomously.
The distinction is visible in the FunSearch study. A language model proposes programs, an automated evaluator compares them using a specified criterion, and mathematicians turn successful candidates into new constructions. The model’s role, the program’s verification, and the status of the mathematical result answer different questions.
Each entry separates the primary work from its announcement, journalistic coverage, independent analysis, and objections. To assign a rating above the level of an unverified claim, the registry requires a link to the research, code, proof, or data. New verification changes the entry’s label, while disputed and previously known results remain in the registry together with their history of supporting links.
Here, the claim that “AI made a discovery” can be checked through a chain of documents rather than accepted from the wording of an announcement.