Science & Math - SiliconNoon (Page 5)

The Frontier

Claude formalized Fermat's Last Theorem in 11 days

Anthropic says a team of Claude agents produced the first complete, machine-checked formalization of Fermat’s Last Theorem — and Kevin Buzzard, the Imperial College London mathematician who has spent years on the same problem, has already compiled the result and confirmed it checks out. Also today: React’s compiler has gone Rust-native, and one real codebase got most of its build time back. Claude just closed the last open problem on formal mathematics' most famous benchmark list.

The Stack

AI 101 — Local LLMs vs cloud APIs: what's the difference?

A local LLM is an AI model that runs on hardware you own — the actual math happens on your laptop, phone, or server. A cloud API is the same kind of model running on someone else's machines, which you reach over the internet and pay for by the token. Same technology, two very different deals about privacy, cost, and control. Why the question is live right now For most of the last three years, "using AI" meant calling an API.

The Frontier

Physical Superintelligence raises $58M after its AI plotted a star route

A physics lab staffed by virtual physicists came out of stealth with $58 million, a new world model put cameras back in the director's hands, and a startup that tunes open models for a company's own traffic closed a $40 million Series A. Physical Superintelligence (PSI) launched on September 1 with $58 million in seed funding led by Breakthrough Energy Ventures, and its first public result is an interstellar one: the trajectory for the Fermi Explorer Mission, a nonprofit probe that aims to…

The Frontier

China's chemistry model 3.0 Pro stops answering and starts acting

Two releases out of China this morning point at the same shift: domain models are done proving they can talk about a technical field, and are being rebuilt to do the work inside it. China's first chemical-industry large model shipped its 3.0 Pro release today, and the pitch has fundamentally changed.

The Everyday

RayNeo's 34-gram AI glasses break the smart-glasses first-sale record

The camera-free AI glasses bet just got its first real proof of demand. RayNeo's iO is topping sales charts across China's three biggest e-commerce platforms within days of launch. The iO, a 34-gram pair of camera-free smart glasses priced from 1,996 yuan (about $280), swept the smart-glasses sales charts on JD.com, Tmall and Douyin in its first sales window, RayNeo announced August 27.

The Guardrails

China's AI ethics reviews reach city level — and a space AI model just trained itself in orbit

Two stories today about what happens after the model is built: Beijing is wiring ethical review into how Chinese cities actually deploy AI, while one of its aerospace institutes has proved a neural network can keep learning on a satellite, 500 kilometers up. China's industry ministry says it is now organizing artificial intelligence ethics review and service pilots across multiple cities, the most concrete sign yet that the country's April rulebook for AI governance is moving from paper to…

The Guardrails

C2PA camera proofs can be forged on a rooted Pixel

Two stories worth your afternoon: the cryptographic system built to expose AI forgeries just got broken on its strongest implementation, and open-source speech recognition got absurdly fast. The content-credential system meant to prove a photo came from a real camera has been broken at its strongest point.

The Frontier

Accelerated Understanding launches a physics foundation model

AI's frontier-pushing crowd spent the week cleaving to language and agentic models — but one of the field's better-known researchers used Tuesday to bet on a different kind of foundation model: one that predicts how the physical world changes, not how the world talks. Caltech professor Anima Anandkumar, a former Nvidia machine-learning research director, unveiled a startup and a model aimed squarely at enterprise engineering, promising a single system for chip design, weather, and…

The Frontier

AI 101 — What is a learned kernel?

A learned kernel is the low-level math software that runs on a GPU and was designed — or tuned by trial and error — by an AI program, rather than hand-written by a human engineer. When a large language model does its math, it doesn't just "think" in a clean way: every layer boils down to enormous matrix multiplications that must be executed millions of times per second. On Nvidia GPUs those operations are performed by special routines called kernels.

Quick Hits

Quick Hits — August 22, 2026

Three notes from the AI ecosystem: a space robot brain going open-source, a clever trick for cheaper long-context inference, and a vibe-coded app that keeps finding fans. SpaceClaw ("Space Lobster"): the first open-source space embodied-intelligence project. Three companies — group-intelligence world-model firm UltraBrain, commercial spaceflight outfit Future Aerospace, and flexible-arm maker Xiyun Robotics — unveiled SpaceClaw at this week's World Robot Conference, aiming to land a real…

The Arena

Astromech raises $20M to build a 'biological operating system'

A startup betting that biology can be forecast like the weather just pulled in a $20 million vote of confidence — and a valuation that says investors think the model might actually work. Astromech, the AI-bio company co-founded by entrepreneur Ben Lamm and geneticist George Church, has raised $20 million in new funding at a $3.8 billion valuation, lifting its total raised to $60 million.

The Frontier

Terence Tao warns AI could trigger math's biggest crisis since Gödel

Fields Medalist Terence Tao argues in a new essay that AI is about to force mathematics to confront questions it has spent a century avoiding — and the reckoning could be as destabilizing as Gödel's incompleteness theorems. Tao's central claim is that AI will soon handle a meaningful fraction of research-level math, and the field is nowhere near ready for the consequences.

See all