Anthropic disclosed that an unreleased research Claude model raised the proven fraction of zeta zeros on the critical line from 41.6% to 67.2%, the largest single-step jump in history, using 60 AI sub ...

keyv npm supply chain attack on August 4, 2026 let the Shai-Hulud worm compromise 400-plus packages and more than two billion monthly downloads. The Wave Six payload hid inside AI agent config files ...

The Hacker News is the top cybersecurity news platform, delivering real-time updates, threat intelligence, data breach ...

A third option is suppression: the United States would forgo development of ASI and stop anyone else from building it on the basis that superintelligence is just too dangerous to be unleashed on the ...

After a major push across the United States to overhaul how schools teach reading, many states have expanded their focus to math. States have adopted a flurry of math-related laws and policies in ...

Humpty Dumpty had all the king's horses and all the king's men, but it wasn't enough to put him back together again. This ...

Axiom Math says its AxiomProver system has produced a machine-checked Lean 4 proof of the strongest known result on gaps ...

Hui He explains why artificial intelligence is fundamentally transforming mathematical work—and why that’s a good thing ...

AI-powered breakthroughs are raising big questions about how to do mathematics – and why we do it in the first place.

There’s a $1-million prize for proving the Riemann hypothesis. Claude couldn’t pull that off, but it made significant progress on a related problem ...

A research version of Claude boosted the proven share of Riemann zeta function zeros on the critical line from 41.6% to 67.2% in just 1.5 days.

OpenAI showed that AI can tackle long-standing problems in mathematics. Experts are excited about the possibilities — and worried about what comes next for their field.