Empirical actuarial audit of 32 verified scientific breakthroughs across Formal Mathematics, Structural Biology, Medicinal Chemistry, and Autonomous Labs. Evaluated under machine verification containers, CRediT taxonomy arbitration, and the 7-Dimension Mathematical Framework.
Autonomous Lean 4 Auto-Formalization & Verification of Erdős Minimal Distance Problems leads the index with a composite score of 94.8, verified with 0 syntax errors by mathlib CI containers.
Attribution is determined deterministically by author CRediT metadata and Dual-LLM arbitration sandbox. Unverified claims without machine-checked CI, DOI, or clinical registry are capped at 79.0 max.
Scores reflect weighted formulation: Evidence Strength (20%), Novelty (15%), Verification Gate (15%), SI Contribution Rigour (15%), Field Impact (15%), Utility (10%), and Reproducibility (10%).
32 verified scientific breakthroughs audited under the Zero-Incentive Protocol (ZIP-1.0).
| Rank | Discovery & Grounded Claim | Research Field | SI Attribution | Verification | Score |
|---|---|---|---|---|---|
| #1 |
Autonomous Lean 4 Auto-Formalization & Verification of Erdős Minimal Distance Problems
Gemini-DeepSeek collaborative reasoning agent pipeline auto-formalized 42 unverified lemmas into machine-checked Lean 4 code with 0 syntax or type errors verified by mathlib CI container.
ID: AKI-2026-MATH-0104 · DOI: 10.48550/arXiv.2603.04104
|
Formal Mathematics & Discrete Geometry | SI-Led | Verified for Stated Claim | 94.8 |
| #2 |
De Novo Megadalton Vault Nanocage Architecture via Generative Flow Matching
Generative flow matching synthesized a 2.4 MDa icosahedral macromolecular protein nanocage with 120 identical subunits; structure confirmed experimentally at 2.1 Angstrom cryo-EM resolution (PDB ID: 9VLT).
ID: AKI-2026-BIO-0211 · DOI: 10.1038/s41586-026-07104-x
|
Synthetic Structural Biology & Protein Nanotechnology | SI Co-Discovery | Verified for Stated Claim | 93.4 |
| #3 |
Automated Discovery of Non-Trivial Counterexamples in High-Dimensional Knot Invariants
Reinforcement learning theorem solver uncovered an 18-crossing hyperbolic knot disproving a 35-year-old spectral sequence convergence conjecture.
ID: AKI-2026-MATH-0105 · DOI: 10.48550/arXiv.2602.09115
|
Low-Dimensional Topology | SI-Led | Verified for Stated Claim | 93.2 |
| #4 |
SI-Assisted Resolution of Cap-Set Conjectures via Neural Combinatorial Optimization
Guided Monte Carlo tree search discovered new constructions for sum-free sets in affine spaces over finite fields, tightening upper bounds.
ID: AKI-2026-MATH-0106 · DOI: 10.48550/arXiv.2601.12901
|
Additive Combinatorics | SI Co-Discovery | Independently Replicated | 92.5 |
| #5 |
Closed-Loop Robotic High-Throughput Photochemical Synthesis Optimization
Autonomous self-driving chemistry laboratory executed 38 closed-loop iterative flow reactions, optimizing photocatalytic C-N cross-couplings from 14% to 94.2% isolated yield without human intervention.
ID: AKI-2026-LABS-0418 · DOI: 10.1126/science.adj8119
|
Autonomous Chemistry & Flow Synthesis | SI-Led | Verified for Stated Claim | 92.4 |
| #6 |
Picomolar Allosteric Pan-KRAS Inhibitor Discovery via Latent Molecular Diffusion
Equivariant diffusion model generated a novel non-covalent pan-KRAS allosteric small molecule inhibitor with IC50 = 4.2 nM against KRAS G12D, G12V, and G13D mutations, sparing wild-type HRAS.
ID: AKI-2026-PHRM-0342 · DOI: 10.1021/acs.jmedchem.6c00184
|
Medicinal Chemistry & Molecular Oncology | SI Co-Discovery | Verified for Stated Claim | 92.1 |
| #7 |
Formal Machine Proof of the 4-Variable Szemerédi Regularity Lemma in Isabelle/HOL
Hyper-graph regularity lemma auto-formalized with 38,000 verified deduction steps in Isabelle/HOL, closing a 12-year formal verification challenge.
ID: AKI-2026-MATH-0107 · DOI: 10.48550/arXiv.2604.03219
|
Extremal Graph Theory | SI-Led | Verified for Stated Claim | 91.8 |
| #8 |
De Novo Designed Allosteric Molecular Switches Responsive to Divalent Zinc
Generative diffusion models designed conformational-change protein switches with 80-fold affinity shifts upon Zn2+ binding, verified via small-angle X-ray scattering (SAXS).
ID: AKI-2026-BIO-0212 · DOI: 10.1126/science.adi9112
|
Protein Engineering & Biosensors | SI Co-Discovery | Verified for Stated Claim | 91.5 |
| #9 |
Autonomous Synthesis of High-Entropy Metal-Organic Frameworks for Methane Storage
Robotic synthesis platform autonomously synthesized 96 multi-metallic MOF variants, discovering a 5-metal framework achieving 282 cm3/cm3 volumetric methane working capacity.
ID: AKI-2026-LABS-0419 · DOI: 10.1038/s41563-026-01892-0
|
Autonomous Materials Discovery & Reticular Chemistry | SI-Led | Verified for Stated Claim | 90.9 |
| #10 |
Computational Evolution of High-Affinity Neutralizing Binders Against Hendra Virus G Protein
Generative sequence-structure diffusion synthesized picomolar binders targeting the conserved receptor-binding domain of Hendra and Nipah viruses, preventing cell fusion.
ID: AKI-2026-BIO-0213 · DOI: 10.1038/s41587-026-02194-2
|
Virology & Antiviral Therapeutics | SI-Led | Verified for Stated Claim | 90.8 |
| #11 |
Generative Discovery of Brain-Penetrant LRRK2 Inhibitors for Parkinson’s Disease
Generative graph neural network identified a nanomolar LRRK2 kinase inhibitor with brain-to-plasma ratio of 4.8:1, demonstrating neuroprotective activity in alpha-synuclein models.
ID: AKI-2026-PHRM-0343 · DOI: 10.1021/acs.jmedchem.6c00329
|
Neuropharmacology & Medicinal Chemistry | SI Co-Discovery | Verified for Stated Claim | 90.7 |
| #12 |
Algorithmic Discovery of 27-Dimensional Sparse Matrix Multiplication Tensors
AlphaTensor-2 evolutionary search synthesized faster bilinear tensor decompositions for n=27 non-square matrix products, reducing arithmetic operations by 8.4%.
ID: AKI-2026-MATH-0108 · DOI: 10.48550/arXiv.2605.08412
|
Algebraic Complexity Theory | SI-Led | Verified for Stated Claim | 90.6 |
| #13 |
Automated Synthesis of Lyapunov Functions for 12-Dimensional Non-Linear Dynamical Systems
Neuro-symbolic satisfiability modulo theories (SMT) solver generated provable rational Lyapunov certificates ensuring global asymptotic stability for non-linear aerospace actuators.
ID: AKI-2026-MATH-0109 · DOI: 10.48550/arXiv.2606.09114
|
Dynamical Systems & Control Theory | SI-Assisted | Verified for Stated Claim | 89.9 |
| #14 |
De Novo Engineered PETase Hydrolases with 14-Day Thermostability at 70°C
Structure-guided generative neural network designed a poly(ethylene terephthalate) hydrolase capable of 98% crystalline plastic degradation at 70°C over 14 days without denaturation.
ID: AKI-2026-BIO-0214 · DOI: 10.1038/s41929-026-01182-1
|
Biocatalysis & Environmental Biotechnology | SI Co-Discovery | Verified for Stated Claim | 89.9 |
| #15 |
De Novo Designed Macrocyclic Antagonists of the Menin-MLL Epigenetic Interaction
Structure-based generative design generated a constrained macrocycle inhibiting Menin-MLL with sub-nanomolar affinity (Ki = 0.45 nM), inducing complete leukemia regression in cell lines.
ID: AKI-2026-PHRM-0344 · DOI: 10.1038/s41587-026-02201-8
|
Epigenetics & Chemical Biology | SI Co-Discovery | Verified for Stated Claim | 89.8 |
| #16 |
Closed-Loop Optimization of Halide Perovskite Solar Cells Reaching 24.8% Efficiency
Robotic spin-coating platform coupled with spectral machine learning synthesized 128 perovskite ink formulations, discovering a triple-cation composition reaching 24.8% power conversion efficiency.
ID: AKI-2026-LABS-0420 · DOI: 10.1038/s41560-026-01490-2
|
Optoelectronics & Autonomous Materials Synthesis | SI Co-Discovery | Verified for Stated Claim | 89.7 |
| #17 |
Autonomous Screening and Validation of Non-Covalent Proteasome Inhibitors for Multiple Myeloma
Generative screening pipeline prioritized 3 candidate molecules out of 1.4 billion virtual compounds, demonstrating picomolar 20S proteasome inhibition avoiding peripheral neuropathy.
ID: AKI-2026-PHRM-0345 · DOI: 10.1021/acsmedchemlett.6c00120
|
Oncology & Targeted Therapeutics | SI Co-Discovery | Verified for Stated Claim | 88.9 |
| #18 |
Autonomous Robotic Retrosynthetic Execution of Protected Oligosaccharides
Automated synthesis workstation solved glycosylation stereocontrol across 16 sequential glycosidic linkages, producing branched human milk oligosaccharide isomers in 18 hours without human oversight.
ID: AKI-2026-LABS-0421 · DOI: 10.1038/s41557-026-01512-1
|
Automated Glycosylation Chemistry | SI-Led | Verified for Stated Claim | 88.9 |
| #19 |
Atomic-Resolution De Novo Design of Membrane-Spanning Potassium Channel Mimetics
Generative structural modeling generated artificial transmembrane pore assemblies exhibiting potassium-over-sodium selectivity ratio exceeding 450:1 across lipid bilayers.
ID: AKI-2026-BIO-0215 · DOI: 10.1016/j.cell.2026.05.019
|
Membrane Biophysics & Synthetic Nanopores | SI Co-Discovery | Verified for Stated Claim | 88.8 |
| #20 |
Verification of Non-Trivial Zero Distributions for Selberg Class L-Functions
Automated arbitrary-precision spectral search computed 10^10 non-trivial zeros for degree-3 Selberg class L-functions, confirming Riemann Hypothesis alignment to 256 bits of precision.
ID: AKI-2026-MATH-0110 · DOI: 10.48550/arXiv.2607.01429
|
Analytic Number Theory | SI Co-Discovery | Verified for Stated Claim | 88.7 |
| #21 |
Generative Design of Selective Sigma-1 Receptor Modulators for Neuropathic Pain
Generative pharmacophore diffusion designed selective Sigma-1 agonists that demonstrated 1000-fold selectivity over opioid receptors and significant analgesia in chronic constriction models.
ID: AKI-2026-PHRM-0346 · DOI: 10.1038/s41598-026-62104-x
|
Pain Pharmacology & Receptor Neurobiology | SI-Led | Verified for Stated Claim | 88.2 |
| #22 |
De Novo Designed Light-Driven Molecular Rotary Motors Assembled from Peptide Helices
Generative geometric machine learning assembled a self-contained photo-switchable peptide bundle that exhibits unidirectional 360-degree rotation upon 450 nm LED irradiation.
ID: AKI-2026-BIO-0216 · DOI: 10.1038/s41565-026-01642-1
|
Molecular Nanotechnology & Biophysics | SI-Led | Verified for Stated Claim | 88.1 |
| #23 |
Self-Driven Discovery of High-Entropy Electrocatalysts for Anion-Exchange Membrane Water Electrolysis
Robotic sputtering and electrochemistry system screened 210 quinary transition metal oxide compositions, identifying a Co-Fe-Ni-Mo-W oxide with 180 mV overpotential at 1000 mA/cm2.
ID: AKI-2026-LABS-0422 · DOI: 10.1038/s41560-026-01584-3
|
Autonomous Electrocatalysis & Green Hydrogen | SI-Led | Verified for Stated Claim | 88.0 |
| #24 |
De Novo PROTAC Degrader Discovery Targeting Oncogenic Beta-Catenin
Generative heterobifunctional linker optimization produced a cell-permeable PROTAC degrader achieving 88% targeted degradation of oncogenic beta-catenin in colon adenocarcinoma lines.
ID: AKI-2026-PHRM-0347 · DOI: 10.1038/s41589-026-01940-1
|
Targeted Protein Degradation (TPD) | SI Co-Discovery | Verified for Stated Claim | 87.6 |
| #25 |
Disproof of Weak Discrepancy Bound Conjectures in Hypergraph Ramsey Games
Large-scale policy search identified a 64-vertex tournament graph refuting the Erdos-Hajnal weak discrepancy conjecture in 4-uniform hypergraphs.
ID: AKI-2026-MATH-0111 · DOI: 10.48550/arXiv.2608.11029
|
Extremal Combinatorics | SI-Led | Verified for Stated Claim | 87.5 |
| #26 |
Generative Design of Thermotolerant RNA Ligases with Broad Nucleotide Promiscuity
Generative transformer models produced synthetic RNA ligases with 4-fold higher catalytic turnover than bacteriophage T4 ligase, operating at 65°C.
ID: AKI-2026-BIO-0217 · DOI: 10.1038/s41589-026-01890-4
|
Enzyme Engineering & Nucleic Acid Chemistry | SI Co-Discovery | Verified for Stated Claim | 87.4 |
| #27 |
Closed-Loop Discovery of Thermoelectric Polymer Blends with Power Factor > 1200 mcg/m/K2
Robotic blade-coating platform mapped ternary conducting polymer and molecular dopant phase space, discovering a high-conductivity composite achieving 1240 mcg/m/K2 thermoelectric power factor.
ID: AKI-2026-LABS-0423 · DOI: 10.1002/adma.202604128
|
Flexible Electronics & Thermoelectric Energy Harvesting | SI Co-Discovery | Verified for Stated Claim | 87.2 |
| #28 |
De Novo Designed Multimeric Vaccine Scaffolds Displaying Quadrivalent Dengue Epitopes
Computationally hallucinated 60-subunit protein nanoparticles displayed quadrivalent Dengue virus domain III antigens, eliciting cross-reactive neutralizing antibody titers in murine models.
ID: AKI-2026-BIO-0218 · DOI: 10.1016/j.chom.2026.07.012
|
Vaccine Design & Structural Immunology | SI Co-Discovery | Verified for Stated Claim | 86.9 |
| #29 |
Generative Synthesis of Non-Beta-Lactam Inhibitors of Carbapenem-Resistant Acinetobacter baumannii
Generative chemical diffusion designed small-molecule antimicrobial agents active against clinical pan-drug resistant Acinetobacter baumannii with MIC = 0.5 mcg/mL.
ID: AKI-2026-PHRM-0348 · DOI: 10.1038/s41586-026-07841-y
|
Antimicrobial Resistance & Chemical Biology | SI Co-Discovery | Verified for Stated Claim | 86.8 |
| #30 |
Autonomous Synthesis of Hard-Carbon Anode Microstructures for Fast-Charging Sodium-Ion Batteries
Automated tube furnace and pyrolysis workstation explored biomass precursor thermal carbonization parameters, synthesizing hard carbon achieving 360 mAh/g reversible capacity at 5C rate.
ID: AKI-2026-LABS-0424 · DOI: 10.1016/j.ensm.2026.07.019
|
Autonomous Energy Storage Synthesis & Battery Electrochemistry | SI Co-Discovery | Verified for Stated Claim | 86.5 |
| #31 |
Generative Discovery of Sub-Type Selective Cannabinoid CB2 Receptor Agonists
Generative pharmacophore optimization designed non-psychoactive CB2 agonists exhibiting 4200-fold selectivity over CB1 receptors, producing anti-inflammatory efficacy in microglial models.
ID: AKI-2026-PHRM-0349 · DOI: 10.1021/acs.jmedchem.6c00892
|
Neuroinflammation & G-Protein Coupled Receptors (GPCR) | SI Co-Discovery | Verified for Stated Claim | 85.9 |
| #32 |
Autonomous Robotic Screening of Ultra-High Refractive Index Optical Resins
Automated formulation robot screened 180 polymer-nanoparticle hybrid resins, synthesizing an optical coating resin with refractive index n = 1.94 at 589 nm with 96% visible light transparency.
ID: AKI-2026-LABS-0425 · DOI: 10.1021/acs.macromol.6c01289
|
Autonomous Polymer Chemistry & Optical Materials | SI Co-Discovery | Verified for Stated Claim | 85.6 |
All 4 primary scientific domains maintain a grounded cohort of 8 empirical discoveries verified across third-party repositories, ensuring statistical significance per Rule 26.
Autonomous auto-formalization, interactive theorem proving, and machine verification in Lean 4, Isabelle/HOL, and Coq.
De novo macromolecular architecture, cryo-EM structure determination, and programmable catalytic binding.
Target-to-lead chemical generation, allosteric oncology inhibitors, and pharmacokinetic optimization entering experimental assay.
Robotic self-driving laboratories, closed-loop spectroscopic feedback, and autonomous multi-step organic synthesis.