{"slug": "a-graded-registry-of-scientific-results-produced-by-or-with-ai", "title": "A graded registry of scientific results produced by or with AI", "summary": "A new registry cataloguing scientific results produced with AI lists 19 findings as of July 22, 2026, including a counterexample to the Dinitz–Garg–Goemans conjecture by GPT-5.6 Pro and a formally verified counterexample to the Jacobian conjecture in dimension three by Claude Fable 5. The registry, compiled by an independent group, grades each result by verification status and AI involvement, spanning mathematics, computer science, archaeology, and biology.", "body_md": "| 2026-07-22 |\n[Counterexample to the Dinitz–Garg–Goemans conjecture](/finding/2026-07-22-dinitz-garg-goemans) |\nIndependent |\nGPT-5.6 Pro |\nClaimed |\nAI-led |\ncomputer-science |\n| 2026-07-20 |\n[Counterexamples to the Gaussian moments conjecture](/finding/2026-07-20-gaussian-moments) |\nIndependent |\nGPT-5.6 Sol Pro + Claude Fable 5 |\nAuthor verified |\nAI-led |\nmathematics |\n| 2026-07-19 |\n[Counterexample to the Jacobian conjecture in dimension three](/finding/2026-07-19-jacobian-conjecture) |\nAnthropic |\nClaude Fable 5 |\nFormally verified |\nCollaborative |\nmathematics |\n| 2026-07-14 |\n[Near-quadratic lower bound for derivative-free convex optimization](/finding/2026-07-14-zeroth-order-oracle-bound) |\nIndependent |\nGPT-5.6 Sol Pro |\nFormally verified |\nAI-led |\nmathematics |\n| 2026-07-11 |\n[Counterexample to Grothendieck's question on finite flat group schemes](/finding/2026-07-11-grothendieck-group-schemes) |\nIndependent |\nOpenAI Sol (construction); Claude Fable (Lean formalisation) |\nFormally verified |\nCollaborative |\nmathematics |\n| 2026-06-25 |\n[First Herculaneum scroll read end to end without unrolling it](/finding/2026-06-25-herculaneum-scroll-read) |\nVesuvius Challenge |\nCommunity-developed ink-detection neural networks |\nAuthor verified |\nAI-assisted |\narchaeology |\n| 2026-05-21 |\n[Nine Erdős problems and 44 OEIS conjectures proved with machine-checked proofs](/finding/2026-05-21-alphaproof-nexus) |\nGoogle DeepMind |\nAlphaProof Nexus (LLM + Lean) |\nFormally verified |\nSearch scaffold |\nmathematics |\n| 2026-05-20 |\n[Disproof of the Erdős unit-distance conjecture](/finding/2026-05-erdos-unit-distance) |\nOpenAI |\nGPT-5 series reasoning model |\nIndependently checked |\nAI-led |\nmathematics |\n| 2026-01-15 |\n[Structure in Bruhat intervals of permutation groups](/finding/2026-01-alphaevolve-bruhat) |\nGoogle DeepMind |\nAlphaEvolve (Gemini-based) |\nIndependently checked |\nSearch scaffold |\nmathematics |\n| 2026-01-13 |\n[Erdős problem #728 resolved and formalized in Lean](/finding/2026-01-erdos-728) |\nOpenAI / Harmonic |\nGPT-5.2 Pro + Aristotle |\nFormally verified |\nAutonomous |\nmathematics |\n| 2025-11-20 |\n[Early science acceleration experiments with GPT-5](/finding/2025-11-gpt5-science-acceleration) |\nOpenAI |\nGPT-5 |\nPeer reviewed |\nAI-assisted |\ncomputer-science |\n| 2025-11-03 |\n[AlphaEvolve across 67 problems: 20 improvements, 8 regressions](/finding/2025-11-03-alphaevolve-at-scale) |\nGoogle DeepMind |\nAlphaEvolve (Gemini-based) |\nIndependently checked |\nSearch scaffold |\nmathematics |\n| 2025-10-19 |\n[GPT-5 \"solved 10 Erdős problems\": it located existing solutions](/finding/2025-10-19-gpt5-erdos-retrieval) |\nOpenAI |\nGPT-5 |\nAlready known |\nRetrieval |\nmathematics |\n| 2025-09-25 |\n[Limits to black-box amplification in QMA, with the key step written by GPT-5](/finding/2025-09-25-qma-amplification-limits) |\nUT Austin / CWI Amsterdam |\nGPT-5 Thinking |\nAuthor verified |\nAI-assisted |\ncomputer-science |\n| 2025-09-17 |\n[New families of unstable singularities in fluid equations](/finding/2025-09-17-unstable-singularities) |\nGoogle DeepMind (with Brown, NYU and Stanford) |\nPhysics-informed neural networks with Gauss–Newton optimisation |\nAuthor verified |\nSearch scaffold |\nmathematics |\n| 2025-09-17 |\n[AI-generated bacteriophage genomes that replicate and kill bacteria](/finding/2025-09-17-evo-phage-genomes) |\nArc Institute / Stanford University |\nEvo 1 and Evo 2 |\nAuthor verified |\nAI-led |\nbiology |\n| 2025-09-11 |\n[Strong prime number theorem formalized in Lean by an autoformalization agent](/finding/2025-09-11-gauss-strong-pnt) |\nMath, Inc. |\nGauss (autoformalization agent) |\nAuthor verified |\nAI-assisted |\nmathematics |\n| 2025-08-01 |\n[Improved step-size bound in smooth convex optimization](/finding/2025-08-gpt5-convex-bound) |\nOpenAI |\nGPT-5 Pro |\nAlready known |\nAI-assisted |\nmathematics |\n| 2025-07-28 |\n[Machine-checked Lean proofs for five of six 2025 IMO problems](/finding/2025-07-28-aristotle-imo-lean) |\nHarmonic |\nAristotle |\nFormally verified |\nAI-led |\nmathematics |\n| 2025-07-21 |\n[Gold-medal standard at the 2025 International Mathematical Olympiad](/finding/2025-07-21-gemini-deepthink-imo) |\nGoogle DeepMind |\nGemini Deep Think (advanced version) |\nIndependently checked |\nAI-led |\nmathematics |\n| 2025-06-03 |\n[Phase 2a results for a drug whose target and molecule both came from AI](/finding/2025-06-03-rentosertib-phase2a) |\nInsilico Medicine |\nPandaOmics (target) + Chemistry42 (molecule) |\nPeer reviewed |\nSearch scaffold |\nmedicine |\n| 2025-05-14 |\n[4×4 complex matrix multiplication in 48 scalar multiplications](/finding/2025-05-alphaevolve-matmul) |\nGoogle DeepMind |\nAlphaEvolve (Gemini-based) |\nIndependently checked |\nSearch scaffold |\ncomputer-science |\n| 2025-05-14 |\n[Improved lower bound for the 11-dimensional kissing number](/finding/2025-05-alphaevolve-kissing) |\nGoogle DeepMind |\nAlphaEvolve (Gemini-based) |\nIndependently checked |\nSearch scaffold |\nmathematics |\n| 2025-05-14 |\n[Improved bound for the Erdős minimum-overlap problem](/finding/2025-05-alphaevolve-minimum-overlap) |\nGoogle DeepMind |\nAlphaEvolve (Gemini-based) |\nIndependently checked |\nSearch scaffold |\nmathematics |\n| 2025-05-01 |\n[Candidate treatment for dry age-related macular degeneration](/finding/2025-robin-macular) |\nFutureHouse |\nRobin (multi-agent) |\nClaimed |\nAI-led |\nbiology |\n| 2025-03-12 |\n[A fully machine-generated paper passed workshop peer review](/finding/2025-03-12-ai-scientist-workshop-paper) |\nSakana AI |\nThe AI Scientist-v2 |\nAuthor verified |\nAI-led |\ncomputer-science |\n| 2025-02-19 |\n[AI co-scientist hypotheses on antimicrobial resistance and liver fibrosis](/finding/2025-02-ai-coscientist-amr) |\nGoogle |\nAI Co-Scientist (Gemini 2.0 multi-agent) |\nAuthor verified |\nAI-assisted |\nbiology |\n| 2025-02-13 |\n[Enzymes with working catalytic machinery designed from scratch](/finding/2025-02-13-designed-serine-hydrolases) |\nInstitute for Protein Design, University of Washington |\nRFdiffusion with PLACER ensemble scoring |\nPeer reviewed |\nSearch scaffold |\nchemistry |\n| 2025-01-16 |\n[A working fluorescent protein generated by a language model](/finding/2025-01-16-esmgfp) |\nEvolutionaryScale |\nESM3 (98B) |\nPeer reviewed |\nAI-led |\nbiology |\n| 2025-01-16 |\n[Generative model designs crystals to order; its flagship synthesis turned out to be a known compound](/finding/2025-01-16-mattergen) |\nMicrosoft Research |\nMatterGen |\nDisputed |\nSearch scaffold |\nmaterials |\n| 2024-11-20 |\n[A neural decoder that identifies quantum errors more accurately than hand-designed methods](/finding/2024-11-20-alphaqubit) |\nGoogle DeepMind / Google Quantum AI |\nAlphaQubit |\nPeer reviewed |\nAI-led |\nphysics |\n| 2024-10-02 |\n[Complete wiring diagram of an adult fruit-fly brain](/finding/2024-10-02-flywire-connectome) |\nFlyWire Consortium (Princeton, MRC LMB, Cambridge, Vermont) |\nAutomated electron-microscopy segmentation networks |\nPeer reviewed |\nAI-assisted |\nneuroscience |\n| 2024-07-25 |\n[Silver-medal standard at the 2024 International Mathematical Olympiad](/finding/2024-07-25-alphaproof-imo) |\nGoogle DeepMind |\nAlphaProof + AlphaGeometry 2 |\nIndependently checked |\nAI-led |\nmathematics |\n| 2024-05-08 |\n[Joint structure prediction for proteins, nucleic acids and ligands (AlphaFold 3)](/finding/2024-05-08-alphafold3) |\nGoogle DeepMind / Isomorphic Labs |\nAlphaFold 3 |\nPeer reviewed |\nAI-led |\nbiology |\n| 2024-02-21 |\n[Reinforcement learning steers a tokamak away from tearing instabilities](/finding/2024-02-21-tearing-mode-avoidance) |\nPrinceton University / PPPL / DIII-D National Fusion Facility |\nDeep reinforcement learning controller over a learned plasma model |\nPeer reviewed |\nSearch scaffold |\nphysics |\n| 2024-01-17 |\n[Olympiad geometry solved without human demonstrations](/finding/2024-01-17-alphageometry) |\nGoogle DeepMind |\nAlphaGeometry |\nPeer reviewed |\nSearch scaffold |\nmathematics |\n| 2023-12-20 |\n[A language-model agent that planned and ran chemistry experiments on lab robots](/finding/2023-12-20-coscientist) |\nCarnegie Mellon University |\nGPT-4 (Coscientist agent) |\nPeer reviewed |\nAI-led |\nchemistry |\n| 2023-12-20 |\n[A new structural class of antibiotic candidates against MRSA](/finding/2023-12-20-antibiotic-structural-class) |\nMIT / Broad Institute / Harvard |\nEnsembles of graph neural networks with substructure attribution |\nPeer reviewed |\nSearch scaffold |\nchemistry |\n| 2023-12-14 |\n[New lower bound constructions for the cap set problem](/finding/2023-12-funsearch-capset) |\nGoogle DeepMind |\nFunSearch (PaLM 2 / Codey) |\nPeer reviewed |\nSearch scaffold |\nmathematics |\n| 2023-12-14 |\n[Improved heuristics for online bin packing](/finding/2023-12-funsearch-binpacking) |\nGoogle DeepMind |\nFunSearch (PaLM 2 / Codey) |\nPeer reviewed |\nSearch scaffold |\ncomputer-science |\n| 2023-11-29 |\n[Large-scale prediction of new stable crystalline materials (GNoME)](/finding/2023-11-29-gnome) |\nGoogle DeepMind |\nGNoME (graph neural network) |\nDisputed |\nSearch scaffold |\nmaterials |\n| 2023-11-29 |\n[Autonomous laboratory reports solid-state synthesis of new inorganic compounds](/finding/2023-11-29-a-lab-synthesis) |\nLawrence Berkeley National Laboratory |\nA-Lab (ML planning + robotics) |\nDisputed |\nAI-led |\nmaterials |\n| 2023-11-14 |\n[Medium-range weather forecasts from a graph neural network beat the operational physics model](/finding/2023-11-14-graphcast) |\nGoogle DeepMind |\nGraphCast |\nPeer reviewed |\nAI-led |\nclimate |\n| 2023-09-19 |\n[Pathogenicity predictions for 71 million human missense variants](/finding/2023-09-19-alphamissense) |\nGoogle DeepMind |\nAlphaMissense |\nPeer reviewed |\nAI-led |\nmedicine |\n| 2023-06-07 |\n[Faster sorting routines discovered and merged into the LLVM C++ library](/finding/2023-06-07-alphadev) |\nGoogle DeepMind |\nAlphaDev (AlphaZero-based) |\nIndependently checked |\nSearch scaffold |\ncomputer-science |\n| 2022-10-05 |\n[Faster matrix-multiplication algorithms found by reinforcement learning](/finding/2022-10-05-alphatensor) |\nGoogle DeepMind |\nAlphaTensor (AlphaZero-based) |\nPeer reviewed |\nSearch scaffold |\ncomputer-science |\n| 2022-02-16 |\n[Deep reinforcement learning controls tokamak fusion plasma](/finding/2022-02-16-tokamak-plasma-control) |\nGoogle DeepMind |\nDeepMind RL controller |\nPeer reviewed |\nSearch scaffold |\nphysics |\n| 2021-12-01 |\n[Two theorems found by machine pattern-spotting in knot theory and representation theory](/finding/2021-12-01-knot-theory-intuition) |\nGoogle DeepMind (with Oxford and Sydney) |\nSupervised networks with gradient-based attribution |\nPeer reviewed |\nAI-assisted |\nmathematics |\n| 2021-07-15 |\n[Accurate protein structure prediction across the known proteome (AlphaFold2)](/finding/2021-07-15-alphafold2) |\nGoogle DeepMind |\nAlphaFold2 |\nIndependently checked |\nAI-led |\nbiology |\n| 2021-04-29 |\n[Reinforcement learning refutes several conjectures in extremal combinatorics](/finding/2021-04-29-wagner-combinatorics) |\nTel Aviv University |\nDeep cross-entropy method (custom network) |\nIndependently checked |\nSearch scaffold |\nmathematics |\n| 2020-02-20 |\n[Halicin, an antibiotic found by a neural network screening a compound library](/finding/2020-02-20-halicin) |\nMIT / Broad Institute |\nDirected message-passing graph neural network (Chemprop) |\nPeer reviewed |\nSearch scaffold |\nmedicine |\n| 2017-12-14 |\n[An eighth planet around Kepler-90 found by a neural network](/finding/2017-12-14-kepler-90i) |\nGoogle Brain / University of Texas at Austin |\nConvolutional neural network (AstroNet) |\nPeer reviewed |\nSearch scaffold |\nastronomy |", "url": "https://wpnews.pro/news/a-graded-registry-of-scientific-results-produced-by-or-with-ai", "canonical_source": "https://whataifound.org/", "published_at": "2026-08-05 11:11:56+00:00", "updated_at": "2026-08-05 11:22:24.221975+00:00", "lang": "en", "topics": ["artificial-intelligence", "ai-research", "ai-products"], "entities": ["OpenAI", "Google DeepMind", "Anthropic", "Harmonic", "GPT-5.6 Pro", "Claude Fable 5", "AlphaProof Nexus", "Vesuvius Challenge"], "alternates": {"html": "https://wpnews.pro/news/a-graded-registry-of-scientific-results-produced-by-or-with-ai", "markdown": "https://wpnews.pro/news/a-graded-registry-of-scientific-results-produced-by-or-with-ai.md", "text": "https://wpnews.pro/news/a-graded-registry-of-scientific-results-produced-by-or-with-ai.txt", "jsonld": "https://wpnews.pro/news/a-graded-registry-of-scientific-results-produced-by-or-with-ai.jsonld"}}