solver.press

Discoveries Archive

Computer Science + AI + Machine LearningJul 26, 2026Refuted by computation

Mantissa, not dynamic range, limits bf16 long-context attention

EVP available✗ Computationally refuted

Source: AegisMind Research

Read full discovery
Computer Science + Drug Discovery + Machine Learning + Formal VerificationJul 26, 2026Evaluation Score: 78%

Cryptographic Runtime Monitors Reduce Drug Discovery Agent Tool Misuse

EVP available🔬 Computation performed — inconclusive

Source: AegisMind Research

Read full discovery