Science & Math - SiliconNoon

The Guardrails

Elvis Presley's rightsholders sue Anthropic for $41M over 274 songs

Two bills came due this weekend: one for the songs that went into a model, one for the weather models that got outperformed by one. The Elvis estate wants $41 million. The forecasters are rethinking their defaults. Authentic Brands Group, which controls Elvis Presley's music and likeness, sued Anthropic on Friday for training Claude on 274 of Presley's songs, and it wants $150,000 for each one. The complaint, filed as ABE EPE LLC v.

The Arena

Today in AI — October 16, 2026

A day that split neatly in two: the frontier labs spent it proving things nobody could check (a 26-year-old cryptographic mystery, a proof its own author didn't understand) while the rest of the industry argued about money — an IPO valuation that just got cheaper, founders who sold $3.3 billion of stock, and $137 million of synthetic election ads. Models & Research * Claude solved a 26-year-old cryptography mystery in under half an hour, and the answer was timestamps.

The Frontier

Shanghai AI Lab's Intern-S2 helped close a 30-year conjecture

An AI-assisted proof landed in a form mathematicians can actually audit — and a second team with different tools checked the work. The arXiv paper proving the codimension-one case of a conjecture Étienne Ghys posed in 1995 now carries an explicit declaration of AI use: its author, Jiesong Zhang, says he used an internal version of Shanghai AI Lab's Intern-S2 "to assist in developing the mathematical ideas and arguments" across multiple rounds of dialogue, and thanks Shanghai AI Lab and Bowen…

The Arena

Today in AI — October 10, 2026

A day where the boring machinery took center stage: proof checkers, order books, warehouses and the humble text message — plus fresh arguments about who gets to declare any of it safe. Models & Research * Mathematicians get a reliability primer for the Lean Theorem Prover. A guest post by Thomas Hales on Terence Tao's blog walks through what Lean actually guarantees — and devotes itself to the "Summer of Soundness Bugs," the string of kernel bugs found this summer that let false proofs…

The Frontier

DeepSeek's cheap long-context trick leaves periodic blind spots

Ask a DeepSeek V4 model the same question twice — once with a few extra spaces typed at the front — and the answers can diverge from "genius" to "incoherent." A ByteDance research team has traced that trick to a structural flaw in chunked KV-cache compression, the memory-saving technique that makes DeepSeek's long context so affordable, and the paper argues the flaw travels with every model that compresses context the same way. The bug, in plain terms Long contexts are expensive because…

The Frontier

Google's Nano Banana 2.1 ships 4K images at half the price

Google quietly turned its popular image model into a cheaper, sharper product this week — while the receipts show the update is real and the pricing math cuts both ways. Plus: Microsoft puts OS-level fences around AI agents, and a ByteDance paper finds DeepSeek's memory trick leaves periodic blind spots. Google released Nano Banana 2.1, and the API bill for image generation just got cut roughly in half.

The Guardrails

Buterin backs 'bunker mode' as AI math threatens crypto keys

OpenAI's machine-generated math drop had consequences beyond mathematics today — and the sharpest one landed on wallet security, where Ethereum's most-followed voices are openly debating whether AI has put key cryptography on a countdown. Ethereum researcher Justin Drake is calling for "bunker mode": a calm, planned migration of funds to fresh, never-used addresses, because he thinks AI-accelerated math could break today's wallet cryptography before quantum computers ever get the chance.

The Frontier

The $1.8B bet that biology's bottleneck is data, not models

The biggest AI-for-science announcement in months contains no model release, no benchmark, and no demo — just a very large pile of money pointed squarely at the least glamorous part of the pipeline: the raw measurements a model would train on. What happened On October 7, Biohub — the nonprofit research institute backed by Mark Zuckerberg and Priscilla Chan — announced an expansion of its Virtual Biology Initiative alongside the U.S.

The Frontier

Deep Dive — 722 math manuscripts from a model nobody can run

At 6 p.m. Eastern on Tuesday, OpenAI committed 722 mathematical manuscripts to a public GitHub repository, organized into 372 "families" of related results, all produced by an internal frontier model the company has not released and has not named. The claims are not small: a solution to the four-dimensional Kakeya conjecture, improvements to some of the most important algorithms in computer science, stated progress toward the Riemann hypothesis, and — as preprint 109 in the catalogue — integer…

The Frontier

OpenAI drops 372 math results, nearly all from one prompt

A dense news day across three fronts: OpenAI published a mountain of mathematics from an unreleased model, SpaceX reportedly wants the debt market to fund its Nvidia orders, and Anthropic restructured its cyber program around three tiers of trust. OpenAI published 372 mathematical result families from an internal frontier model — and says nearly all of them came from a single prompt handed to a single AI agent.

The Frontier

Meta AI solves five open math problems across six papers

Math and money, both from the same wave: Meta says its models closed five previously open research questions, and a 3D-generation startup says the general-model era grew its business instead of killing it. Meta published six papers on October 2 that it says answer five previously open research questions — spanning probability, PDEs, group theory, optimization, arithmetic physics and non-associative algebra.

The Stack

AI 101 — What is a neural network?

A neural network is a computing system made of layers of simple math functions whose internal numbers are tuned by examples until the whole thing gets the right answers — a design loosely inspired by the brain, and the foundation of every AI system in the news. ChatGPT, Midjourney, AlphaFold: all neural networks, all variations on the same idea. The concept is older than computers.

See all

Elvis Presley's rightsholders sue Anthropic for $41M over 274 songs

Today in AI — October 16, 2026

Shanghai AI Lab's Intern-S2 helped close a 30-year conjecture

Today in AI — October 10, 2026

DeepSeek's cheap long-context trick leaves periodic blind spots

Google's Nano Banana 2.1 ships 4K images at half the price

Buterin backs 'bunker mode' as AI math threatens crypto keys

The $1.8B bet that biology's bottleneck is data, not models

Deep Dive — 722 math manuscripts from a model nobody can run

OpenAI drops 372 math results, nearly all from one prompt

Meta AI solves five open math problems across six papers

AI 101 — What is a neural network?

Get SiliconNoon in your inbox