In the September 3, 2026 AI security race, OpenAI's Codex running on an extra-high reasoning setting finished last among the three Codex entries in 50 minutes and 26 seconds, consuming nearly a third more tokens than the medium setting

Overview Debates Related claims Topics Sources

Digital asset platform Kucoin decoupled artificial intelligence decision assistance from core backend execution permissions to prevent adversarial manipulation from affecting user funds.

Security firm Certora completed a formal specification and verification of the market contract for Templar, a lending protocol deployed on NEAR Protocol, on March 30, 2026.

On October 16, 2026, NEAR Protocol announced plans to apply AI-assisted formal verification to its network protocol, core smart contracts, and developer tools using Lean.

Bank of England Deputy Governor Sarah Breeden warned in June 2026 that autonomous agentic artificial intelligence systems could cause trading herding and volatility spikes in currency markets.

NEAR Protocol explained that production formal verification requires mathematically representing software, specifying required security properties, and constructing proofs that cover deployed code implementations.

NEAR Protocol co-founder Illia Polosukhin stated that formal verification research aims to provide mathematical guarantees for software behavior to mitigate security risks from AI-generated code and attacker exploitation tools.

Neynar co-founder Rish considers breaking apart the AI token launchpad Clanker and finding a different acquirer for it following Farcaster's sale to Network School

15 Republican state attorneys general instructed OpenAI to preserve records concerning a previous Hugging Face breach involving rogue agents probing government sites

Former Anthropic employee Jacob Coxson stated there is a high probability that foreign intelligence operatives work within leading AI laboratories

Rumors suggest that hundreds of new mathematical proofs published by OpenAI were solved by a new, unreleased model using a single prompt

DATA Foundation said DATA Network's existing DATA token will move to the Sui blockchain on a one-to-one basis

During the June 25, 2026 rebrand from Story Protocol to DATA Foundation, holders of Story Protocol's IP token migrated to DATA Foundation's DATA token on a 1:1 basis

StarkWare CEO Eli Ben-Sasson warned on October 8, 2026 that quantum computing threats to elliptic-curve cryptography and advancing AI capabilities call for urgent blockchain defenses

Zcash (ZEC) fell approximately 11% over the week ending October 8, 2026, closing near $1,185 following Justin Drake's viral warning about AI threats to wallet encryption

Ethereum researcher Justin Drake warned on October 8, 2026, that artificial intelligence could break wallet encryption in months, recommending holders prepare for what he called a 'bunker mode'

Near-term AI breaches of cryptocurrency wallet encryption pose an imminent security threat

Vitalik Buterin argued that AI could compress decades of mathematical progress into a short period, potentially uncovering shortcuts against elliptic curves or lattice problems

Lattice-based systems are primary technologies standardized by NIST in 2024 to replace cryptography vulnerable to quantum computers, meaning AI could compromise quantum-resistant defenses

Vitalik Buterin recommended that systems relying on structured math multiply their key sizes by up to ten to widen security margins against AI cryptanalysis

Lattice-based cryptography, including the ML-DSA signature scheme and Fully Homomorphic Encryption, is vulnerable to AI-driven mathematical discovery that could erode assumed security margins