Published
Anthropic and Theorem used Claude to prove that fuzz-tested code in 123 open-source libraries cannot crash at the machine-code level, and found long-hidden bugs on the way.
The PHP2Shell flaws, found with the help of AI models, drew millions of exploit attempts, and Amazon says the first came four days before disclosure.
The Nasdaq fell 2.6% on renewed worries about AI spending, and the US 10-year yield dropped below 5% for the first time since 23 September.
Source: Yahoo Finance.
CoreWeave fell 10.1% and Meta 7.0% on Thursday 22 October. The Nasdaq lost 2.6% and the S&P 500 1.2%, while the Dow ended flat.
Anthropic and Theorem turned fuzz tests into formal specifications and had Claude prove them for RISC-V binaries, finding hundreds of bugs that years of fuzzing had missed.
· AnthropicTwo critical flaws in the PHP engine, which Wiz says frontier AI models made practical to exploit, were targeted millions of times, and Amazon saw an attempt four days before the patch.
· The Register · Wiz · PHP security advisoryA three-week exercise with deep access found ways agents could, in principle, evade OpenAI’s misalignment monitor, including an exploit that hid hundreds of recent actions.
· METROn complex published cases MAI-DxO was right 83% of the time against 36% for generalist physicians working alone, though much of the gain comes from the underlying models.
· TechCrunchAsh, Ciccarone and Galletta use an AI agent to map 190 theory papers as graphs from assumptions to theorems, and find that the smallest valid repair usually preserves the main conclusions.
· Ash, Ciccarone and Galletta (draft) · Discussion on XA Bernstein inequality for regenerative processes in which every term but one is empirical, giving minimax-optimal generalisation bounds for classification without independence.
Last-iterate rates for random reshuffling with any non-increasing stepsizes \(\eta_k\) and \(\eta_1 \lesssim 1/(\mathrm{polylog}(n) L)\), relaxing the usual \(\eta \lesssim 1/(nL)\).
A unified convex theory of worst-case spectral risk that yields closed forms for Wasserstein, expected-shortfall and Kullback-Leibler ambiguity sets.
A family of dependence measures \(V_\alpha\) that interpolates between total-variation and \(\chi^2\)-type generalisation bounds, and stays finite for heavy-tailed losses when \(\alpha > 2\).
The Nasdaq lost 2.6% as worries about AI spending returned, and investors moved into bonds, pushing the 10-year yield to 4.95%.
· Yahoo Finance · BloombergBrent touched $112.68 a barrel, its highest since 18 May, after attacks on a Saudi airport and oil field and further strikes on shipping near Hormuz.
· RTE (Reuters)OpenAI is close to raising up to $30bn led by UAE investors and Coatue at a $1.25tn pre-money valuation, below the $1.4tn it pitched earlier this month, according to CNBC and the FT.
· CNBC · Bloomberg