Science & Math - SiliconNoon (Page 6)

The Frontier

Apodex launches TRACES, a benchmark that evaluates AI on real scientific discovery

Most AI benchmarks test whether a model can recall the right answer. TRACES, introduced today by Apodex, asks a harder question: can an AI system actually investigate a problem it hasn't seen before, form hypotheses, use tools, and arrive at a verifiable solution? The benchmark comes with a technical report on arxiv and a press release backed by multiple outlets, giving it more credibility than the usual "we made a leaderboard" announcement.

The Frontier

Ex-Nvidia AI research VP Fidler raises $90M+ seed for world-model startup

A massive seed round just landed in the world-model space. Veeda, a new startup building world models and led by Sanja Fidler — formerly Nvidia's VP of AI Research — has raised over $90 million in seed funding from Khosla Ventures and Radical Ventures, according to The Logic. World models — systems that learn to simulate how the physical world works — have become one of the hottest frontiers in AI since NVIDIA open-sourced Cosmos 3 earlier this year.

The Frontier

Sarnak's AlphaZero test — LLMs can calculate, not create math

The people best placed to judge whether AI can do mathematics keep landing on the same verdict — and one of them just proposed a clean test for when the machines would finally prove him wrong. Princeton number theorist Peter Sarnak has proposed an "AlphaZero Test" for AI mathematics — and he expects the machines to fail it.

The Frontier

Gowers: LLMs solve math's biggest problems with counterexamples

A Fields Medalist's honest read on the LLM math boom, and a new benchmarking tool that tests models against your own data instead of someone else's. Fields Medalist Timothy Gowers says the most famous mathematics problems LLMs have solved so far came almost all as counterexamples, not proofs. Writing days after OpenAI announced it had cracked ten major open problems — including the first construction of a non-sofic group and a superexponential lower bound for multicolor Ramsey numbers — Gowers…

The Arena

Anthropic's first profitable quarter rewrites the IPO math

Anthropic told prospective investors it generated more than $11.5 billion in revenue in the second quarter with positive adjusted operating income — its first profitable quarter by that measure. The numbers, from documents viewed by Bloomberg, land weeks before what reporting has described as potentially the largest IPO on record, and they reset the conversation about whether frontier AI can be a real business. The numbers behind the milestone The scale of the jump matters as much as the…

The Frontier

PerceptionBench: no frontier model breaks 60% on basic vision

Frontier models can hold their own on math and code, but Moonshot AI's new benchmark suggests most of them still can't reliably see — and what gets blamed as a reasoning failure may actually start at the eyeball. Moonshot AI, the lab behind Kimi, released PerceptionBench, a benchmark that isolates visual perception from reasoning — and no frontier model clears 60 percent accuracy on it.

The Frontier

Claude settles every open Hadamard matrix below order 2000

A morning of frontier math and agent reality checks: Claude just closed out every open Hadamard matrix below order 2000, Anthropic published its first deep study of what happens when agents interact at scale, and Qualcomm's $3.9 billion bet on AI software is officially complete. Anthropic mathematician Levent Alpöge and two collaborators used Claude to construct every previously unknown Hadamard matrix below order 2000 — twelve in all, led by the order-668 case that had been the smallest…

Quick Hits

Quick Hits — August 13, 2026

A midday batch: Anthropic maps what happens when agents talk to agents, Claude helps close a 30-year-old math gap, and a Chinese AI workbench turns generated webpages into living documents. Anthropic's red team published a report on emerging multiagent systems — the lab's first serious attempt to map what happens when AI agents start interacting with each other at scale.

The Frontier

The neurosurgery resident who solved Crouzeix's conjecture — with ChatGPT 5.6

A 22-year-old open problem in numerical linear algebra fell this week — not to a tenured professor, but to a neurosurgery resident who let GPT-5.6 Sol run for 16 hours and went back to clinical work while it worked. The mathematician who posed the problem has checked the proof and believes it is correct.

The Everyday

Apple's iOS 27 could prove iPhone photos aren't deepfakes

Trust is the theme of this brief: Apple is building hardware-backed proof that a photo came from a real iPhone camera, and a Rocky Linux founder is trying to make AI training data as auditable as source code. Apple is quietly working on a photo-authentication system that would let iPhone users prove a picture was really captured by their camera — not conjured or edited by AI.

The Frontier

Claude lifts Riemann zeta zero bound to 67.2 percent

Anthropic published the most striking AI-math result in weeks, while a Hugging Face–EleutherAI project found a cheap fix for one of open training data's quietest problems — and Hong Kong's biggest broadcaster decided it wants in on the compute buildout. An unreleased research version of Claude improved a long-standing lower bound on the proportion of Riemann zeta zeros that lie on the critical line — from 41.6 percent to 67.2 percent — and produced a formally verifiable proof of the result.

The Frontier

ChatGPT-assisted proof topples the 30-year-old HRT conjecture

Another classic open problem has fallen to an AI-assisted counterexample — this time in harmonic analysis, and with a proof that was, by the authors' own account, painstakingly human-verified afterward. Mathematicians have disproved the Heil–Ramanathan–Topiwala (HRT) conjecture — a 30-year-old open problem about whether a signal's time-frequency shifts can ever cancel each other out — with an explicit counterexample that ChatGPT helped find.

See all