RealFeedApp betaTop science & technology news, November 5, 2026
- Axiom formalization covers 16 million lines of code
The Axiom project released a Lean formalization of the Stacks Project containing approximately 16 million lines of code. This library allows researchers and AI agents to import definitions and theorems directly into new formal proofs.
- GPT‑6 Cyber achieves 48.5% accuracy on ExploitGym
The new GPT‑6 Cyber model achieved 48.5% accuracy on the ExploitGym benchmark compared to 32.1% for GPT‑5.6 Cyber and adheres to safety boundaries more reliably, uncovering thousands of exploits in critical software like Linux and Firefox.
- KVGuard detected the KV cache leak bug in SGLang
The team built KVGuard, a sanitizer for LLM serving systems that detects a bug where the server reads data from a shared KV cache buffer belonging to other users. Testing on SGLang 0.5.19 revealed 4095 such uninitialized reads.
- FDA approved first CRISPR treatment for sickle cell disease in Dec 2023
Mike Curtis, CEO of eGenesis, explains that xenotransplantation opens a new supply of animal organs for kidneys, livers, lungs, and hearts. The first animal organs were transplanted into people more than 60 years ago, but these organs were rejected within minutes.
- OTCD treatment candidate OTXL-101 receives in-license deal
The Orphan Therapeutics Accelerator (OTXL) has in-licensed an investigational therapy program for ornithine transcarbamylase deficiency (OTCD), now named OTXL-101. This marks the first therapy in-licensed by the nonprofit biotech.
- AxiomMath verified the $1.6B Stacks Project
The $1.6B startup completed formal verification of the Stacks Project, a major mathematical corpus established in 2005.
- Attacker can log in via SSH without knowing any password
A critical flaw in OpenSSH 10.6p2 allows login without a password if an account lacks one but another has a $5$ or $6$ hash. Users must update openssh-server or disable password authentication immediately.
- Shelbi breaks big features into smaller tasks
The open-source orchestrator Shelbi automatically decomposes large features into small tasks so worker agents execute code in focused chunks, preventing derailment while providing specialized QA and security review.
- Zipline valuation reaches $21.5 billion
Zipline raised $1.5 billion led by Paradigm and others, signing a multi-year deal with Walmart to open 300 new drone delivery sites across the United States.
- RoC is recruiting at least 30 pairs of women 40 and older
RoC Skincare is recruiting 30 pairs of women aged 40 and older to pair clinical skin measurements with biometric data from Oura Rings over a 12-week period.
- Study shows dense transformers consume more memory
The study compares dense and mixed-expert architectures on 8 GB GPUs, revealing trade-offs between performance and energy efficiency.
- Breaking RSA-2048 takes about 3.14 days using 22,593 qubits
Alice & Bob claims their future quantum computer with 22,593 qubits could factor RSA-2048 in approximately 3.14 days, though they do not yet have such a machine and many uncertainties remain.
- Klotho protein prevents aging in mice
Researchers propose using encapsulated cells as a steady source of the antiaging protein Klotho, which extends mouse lifespan by 20–30%.
- SqDMRG achieves sub-kcal/mol accuracy
Researchers introduced SqDMRG, combining sample-based quantum diagonalization with the density matrix renormalization group. The method demonstrated high accuracy on benzene pentamer and decamer clusters using both classical and quantum samples from the IBM Quantum Nighthawk r2 processor.
- Average fidelity reached 76.6%
The study demonstrates an ancilla-assisted protocol enabling identification of all four Bell states, achieving an acceptance rate of 69.39 percent and average fidelity of 76.6 percent for photons at 1550 nm.
- Astra finished roughly 40 percent fewer hidden rubric items
Research found Astra completed roughly 40% fewer hidden rubric items when tasks were framed as safety research compared to GPT-5.6. The gap amounted to 6 percentage points and persisted even after excluding explicit refusals.
- GSK unveils first functional cure for chronic hepatitis B
The FDA approved bepirovirsen (Hibsago) following two phase 3 clinical trials published in the New England Journal of Medicine. It represents the first functional cure for chronic hepatitis B, suppressing the virus to undetectable levels and maintaining control even after treatment cessation.
- PyRUA-REAL retains manipulation experience for subsequent coding
The PyRUA-REAL framework employs coding agents based on GPT-6-Astra to retain interaction experience as persistent memory. The study demonstrates how physical manipulation and execution feedback support recursive improvement of robot capabilities.
- Framework combines genome-wide screens with single-cell readouts
Researchers developed the CC-Perturb-seq framework to map regulators of human stem cell differentiation. Applying this method revealed a critical role for Hippo mechanosignaling in the developmental process.
- Researchers detect a sudden aging cliff in mouse sperm
A study published in The EMBO Journal found a sharp shift in sperm RNA composition in midlife mice, with longer RNA fragments increasing and shorter ones decreasing. This pattern was also confirmed in human donor samples, though the abrupt aging cliff in humans remains unproven.
