
Security
DeepMind’s AI verifies Signal’s encryption code
AlphaProof Code produced machine-checked proofs for a compiled build of Signal’s cryptographic library. Here is how the guarantees work.

Security
AlphaProof Code produced machine-checked proofs for a compiled build of Signal’s cryptographic library. Here is how the guarantees work.

Barclays’ Q3 13F reports 3.94 million IBIT fund shares worth $186.7m on 30 September, up 48.3% in shares from June.
Bitcoin Core disclosed one High and two Medium vulnerabilities on 10 November. The fixes date to 2025 and concern mining, block processing and Tor permissions.
Deutsche Bank’s digital-asset custody is available in Germany. Separately, OKXICE targets 23 November for a conditional-exemption US securities venue.
MLex reports draft supplier restrictions and quantum-safe purchasing provisions. The Commission’s published strategy uses procurement to build European industrial capacity.
IBM announced Nighthawk r3 with targets of 520 programmable qubits and 10,000 operations, and plans a linked 1,040-qubit system in 2027.
Microsoft’s Lazarus research plants triggered behaviour through small model-weight edits. Its agent-security implications depend on checkpoint access and tool permissions.
New York’s RAISE Portal is open. Large frontier developers must register by 1 January 2027, with separate computation, revenue, safety and incident-reporting tests.
Railway’s November post-mortem explains the October attack chain, an exposure ceiling near 100,000 workspaces, linked-account tokens and customer reimbursements.
Quantum X Labs reports up to 20% fewer logical decoding failures in preliminary benchmarks using data from IBM Fez, Kingston and Pittsburgh.
Bloomberg reports roughly $270m in commitments for Project Faro’s operations. The 21-institution consortium targets a dollar stablecoin in the first half of 2027.
QuEra, Harvard and Anthropic report lower quantum circuit resource estimates. Separately, Xanadu and HyperLight report 7 mdB optical switch insertion loss.
Claude Fable 5.2 is Anthropic's model for difficult coding and research. Released on 9 November 2026, it offers a 1M-token context and standard API prices of $8 input and $40 output per million tokens.
Avalanche will supply the clearing ledger for an upcoming NYSE-affiliated tokenised-securities venue, targeting 24/7 trading and settlement subject to approvals.
Human-guided DeepMind agents reproduced a legacy RSA computation with 3.5 times less CPU work. A second paper estimates cheaper batch factoring.
Nvidia’s independent directors and outside counsel will examine reports concerning Jensen Huang and Alice Huang. The board says it retains confidence in its CEO.
Two draft designs would preserve existing contracts as Ethereum reviews Glamsterdam gas changes. Hoodi’s activation remains delayed while developers assess the risks.
Solana’s draft SIMD-0723 would retire durable nonces no earlier than 5 May 2027. Custodians face a migration to programme-based offline signing.
Quantum Art researchers have proposed a quantum algorithm for wave propagation that prepares states directly on a resonant surface.
Intel has agreed to acquire Classiq, combining its quantum software platform with Intel's silicon spin-qubit work. Globes reports a deal value of about $2.2 billion.
Quantinuum reports a logical-memory error rate of about five in a million correction rounds on Helios, corresponding to 99.9995% fidelity per round. Its distance-7 colour-code result and error-suppression measurements support the company's fault-tolerance research programme.
The models, assets and machines behind the news, across all three desks.

Navigate crypto, AI and quantum technology conferences worldwide.

17 free browser games. High scores stay on your device.
Play arcadeLook it up. Every model, coin and qubit.
Find a model, project or technology.
Models shipping, chains breaking, qubits holding. The whole frontier in one short read, written by the desks that cover it. Join the waitlist and get in before launch.