Science & Math - SiliconNoon (Page 2)

The Frontier

Ten Claude agents formalize a 122-year-old physics problem

A proof no human wrote, a 320-billion-parameter release from an unknown Chinese lab, and OpenAI's billing system quietly starting to carry other labs' models — the overnight lane had a research flavor. Ten Claude Sonnet 5.5 agents spent roughly 15 hours and 1,270 messages producing a 17,895-line Lean proof that settles the N=7 case of the Thomson problem — J.J. Thomson's 1904 question of how seven charged points arrange themselves on a sphere to minimize their mutual repulsion.

The Frontier

An LLM that edits molecules instead of drawing them

Nature Machine Intelligence has published a Peking University method that reframes molecular design as editing rather than generation — and the numbers suggest the framing is the contribution. SynCraft, from Junren Li and Luhua Lai, takes a molecule that scores well but can't be made and asks a language model for the shortest set of structural repairs that make it synthesizable: delete an atom, mutate one, add a bond, change a bond order, set a chiral centre.

The Arena

Numeral raises $100M to automate sales tax in 90 countries

The fastest-growing enterprise AI category this month is not sales or support — it is compliance with the rules. The latest proof is a nine-figure round for a company whose product is, in effect, the tax code. Numeral announced a $100 million Series C led by Insight Partners, taking the San Francisco company to $157 million raised since 2023.

The Guardrails

The Take — Medicare's denial pilot has the burden of proof backwards

Medicare's AI prior-authorization pilot is being argued about as if the scandal were the algorithm or the bounty. I think the real defect is smaller, plainer, and more fixable than either: the program never has to prove a denial was correct, and the only party who can force the question is the patient.

The Everyday

Jensen Huang says it doesn't matter if kids forget long division

Nvidia's chief executive was handed research showing that AI helps students finish homework without learning the material. His answer was that the skills in question were never worth much — and offered his own life as proof. Jensen Huang's first long interview since Nvidia became the load-bearing company of the AI boom is a case for not mourning what the technology erases.

The Guardrails

New Jersey fines an AI data center $1.07M over 62 gas generators

The enforcement bill for the "bring your own power" data center buildout just arrived in New Jersey — and it came with a number small enough to be telling. Meanwhile, Tokyo's Sakana AI put the man who invented the LSTM on its letterhead. New Jersey's Department of Environmental Protection has fined DataOne $1.07 million for installing 62 natural-gas generators at its Vineland site without a preconstruction permit, and for running them without a valid operating certificate.

The Arena

Enveda raises $311 million to turn nature's chemistry into drugs

A biotech that reads molecules out of plants and microbes just raised the largest round of the week — and a 2.5B open model showed up to embarrass models twice its size. Enveda has raised $311 million in a Series E led by Catalio Capital Management, at a $2 billion valuation that doubles what the company was worth twelve months ago. The Boulder, Colorado company does not design molecules from scratch; it searches for them.

The Frontier

Ex-Huawei Pangu CTO raises hundreds of millions for a physics model

Two of Huawei's best-known large-model people have a new company, and it isn't Huawei's. Shenzhen's XIRRA has raised several hundred million yuan to build a foundation model for the physical world — and the framing around it needs one correction. Li Yin, the former CTO of Huawei Cloud's Pangu large-model team, left to found XIRRA (Shenzhen Xirrang Kaiwu Technology), and the company has now closed seed and angel rounds worth several hundred million yuan in total.

The Guardrails

The UN's new AI panel says proof can wait — action can't

The UN's new scientific panel has published its first thematic brief, and the argument is procedural: on loss of control, the burden of proof should not sit with the people asking for safeguards. The Independent International Scientific Panel on AI used its first thematic brief to argue that governments should not wait for researchers to explain how or why an agent escapes containment before acting — because loss-of-control risk is exactly what the precautionary principle exists for.

The Frontier

Deep Dive — Latent-space pretraining survived 5.7 trillion tokens

For as long as large language models have existed, one rule has been treated as structural rather than optional: predict the next token, and let structure emerge from the statistics. A technical report posted to arXiv on September 9 breaks that rule at a scale where earlier attempts fell apart — and the numbers attached to it are why the open-source community has spent two weeks arguing about a base model nobody can chat with. The paper is NCP-ArchPreview, from the Intern-NCP Team at Shanghai…

The Frontier

Google's leaked Mathematica shows the raw chain of thought

Two model stories where the interesting part is what the lab is willing to show: Google's internal math model runs on traces nobody has cleaned up, and StepFun finally put a date on open weights. An experimental Google model codenamed Mathematica has surfaced in leaked evaluation screenshots, and its most revealing detail is the unfiltered chain of thought.

The Frontier

React's creator closed Conway's 50-year-old conjecture with AI

The most interesting AI proof of the year did not come out of a lab. It came out of a software engineer's chat subscriptions, a swarm of agents he admits he didn't understand, and a Lean repository anyone can check. Dan Abramov, co-creator of React, says he proved Conway's refinement conjecture — an open problem John Conway posed 50 years ago in On Numbers and Games — using a self-built laboratory of AI agents that he steered mostly on instinct.

See all