solver.press

Science at the speed of computation

Every claim we can test by computation, we test, and the answer is published either way

Most published findings are never re-run. solver.press is the public window into AegisMind, an engine built to change that. It generates hypotheses, stress-tests them in five-model debate, and settles what a computation can settle against a pre-registered protocol, in our own claims and in published papers. We re-test our own results on fresh seeds. Refutations, corrections and withdrawals sit beside what held, because a record that only shows wins isn't a record.

Everything here is a research lead; none has yet been confirmed in a wet lab. We are working with wet-lab partners to test selected leads, and we will report each result here, including when it goes against us. Where computation is itself the experiment, the numerical result stands on its own. In biology it does not, and we label it accordingly.

Last 30 days, since 2026-10-07

19

hypotheses published

Passed the publication gate. Drafts are not counted.

4

settled by computation

2 refuted, 2 supported. A negative counts. 9 settled to date.

Recently withdrawn, corrected or updated

last 30 days: 0 withdrawn, 4 corrected, 1 updated. Withdrawn = claim taken down; corrected = something we published was wrong, now fixed; updated = claim revised or narrowed, nothing false.

  • Oct 30, 2026 Updated Localized cGAMP-STING signaling drives demyelination neuroinflammation: Update: the paper this hypothesis builds on (Carvalho et al. 2026, mouse EAE) reports that microglia, astrocytes and inhibitory neurons all respond to extracellular cGAMP, and its abstract does not describe…
  • Oct 28, 2026 Corrected Fast Exact Hessians for Defects in Perovskites via Sparse ML: Premise tested 27 Oct 2026: for MACE-POLAR the Hessian has small couplings beyond the local receptive-field pattern, so the exactness claim does not hold as stated; speed claim untested.
  • Oct 20, 2026 Corrected Localized cGAMP-STING signaling drives demyelination neuroinflammation: the rationale said 'Strong multi-model consensus and literature grounding' and the summary stated the claim as fact, on a row with no completed test.

Read the full record → · We have also re-tested 4 of our own published results on fresh seeds: 4 agreed. See them →

Recently computed

Discoveries that have had a computation run against them, most recent first, whether it supported the hypothesis or refuted it. Where that computation is itself the experiment it is marked verified; where it is a structure-prediction score against a protein target it is marked as docking only, which is a screening result and not evidence of binding.

View all →
Computer Science + Medicine + BiologyAntimicrobial ResistanceOct 3, 2026Refuted by computation

SAM Optimization Improves Antibiotic Resistance Detection via Mass Spectrometry

EVP available✗ Computationally refuted

Source: AegisMind Research

Read full discovery
Computer Science + Chemistry + Medicine + Quantum + BiologyAntimicrobial ResistanceAug 7, 2026Refuted by computation

Quantum machine learning predicts antimicrobial peptide potency against resistant pathogens

EVP available✗ Computationally refuted

Source: AegisMind Research

Read full discovery
Computer Science + Chemistry + MedicineOther BiomedicalAug 30, 2026Evaluation Score: 78%

What is computed from the poses, not how hard they are searched, limits SARS-CoV-2 Mpro virtual screening

EVP available🔬 Docking / simulation performed

Source: AegisMind Research

Read full discovery
Mathematics + Physics + Computer ScienceApr 1, 2026Evaluation Score: 73%

Performative optimization converges to classical stochastic solutions

EVP available🧪 Numerically verifiedPreprint · corrected ↗

Source: AegisMind Research

Read full discovery
Biology + Computer Science + AIOther BiomedicalAug 21, 2026Refuted by computation

UCB outperforms Expected Improvement in mRNA sequence multi-objective optimization

EVP available✗ Computationally refuted

Source: AegisMind Research

Read full discovery
Computer Science + Engineering + Space SystemsJul 28, 2026Evaluation Score: 62%

Exploration costs about 1.5x the battery aging for the same simulated LEO mission value

EVP available🧪 Numerically verifiedPreprint ↗

Source: AegisMind Research

Read full discovery

Recent discoveries

Running since March 2026. These are research leads that survived adversarial debate — not findings, and not confirmed.

View all →
Computer Science + Medicine + AIOther BiomedicalNov 6, 2026Evaluation Score: 73%

Bayesian exploration bonuses prevent AI agents from picking wrong tools

EVP available

Source: AegisMind Research

Read full discovery
Computer Science + Medicine + MathematicsOther BiomedicalNov 4, 2026Evaluation Score: 68%

Meta-learning personalized heart simulations with efficient context management

EVP available

Source: AegisMind Research

Read full discovery
Computer Science + AI + MathematicsOct 25, 2026Evaluation Score: 70%

Bayesian thresholds prevent hallucination cascades in multi-agent AI systems

EVP available

Source: AegisMind Research

Read full discovery
Computer Science + Economics + AIOct 25, 2026Evaluation Score: 69%

Multi-Agent LLM Compliance Bypass Through Planner Reframing

EVP available

Source: AegisMind Research

Read full discovery
Computer Science + AI + MathematicsOct 22, 2026Evaluation Score: 69%

Sanitized Memory Filters Reduce Silent Context Injection in Agentic Systems

EVP available

Source: AegisMind Research

Read full discovery
Physics + Materials + ChemistryOther BiomedicalOct 17, 2026Evaluation Score: 71%

Pressure tunes superconductivity onset via density-of-states competition in NbNiTe5

EVP available

Source: AegisMind Research

Read full discovery

Track record →

The full corrections and verdicts log, what has been settled, and the aggregate results, including those against our own numbers.

Method →

How a hypothesis is generated, debated and tested, and what each stage does not establish.

Have a falsifiable claim?

Send one. We test it with a pre-registered computation on named public data and report the result whether or not it supports you. Our own claims are tested the same way.

Request a test →

Research teams and organisations interested in domain-specific discovery runs can get in touch via aegismind.app.