Agents

Axiom Math bets on formal verification to keep unchecked AI proofs out of mathematics

Original titleAxiom Math wants to keep AI slop out of mathematics

Outlet: TechCrunch
Published: Nov 6, 2026
Importance: 3/5

Summary

Axiom Math is focusing on formal verification to ensure the quality of AI-generated proofs in mathematics. The startup's AI agents formally verified the Stacks Project, one of the field's largest libraries.

Original excerpt

As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally verified the Stacks Project, one of the field’s biggest libraries.

#agent#mathematics#verification

Read the original

See all →

Oct 11

AI agents learn to decompile a first-person shooter with 500 billion tokens

AI agents were trained on 500 billion tokens to decompile a first-person shooter game.

Hacker NewsTrending 55

Jul 6

JADEPUFFER is the first agentic ransomware operation

Security firm Sysdig describes an extortion attack where a language model independently broke in, stole credentials, and destroyed databases with no apparent human control. It marks the first documented case of autonomous AI-conducted ransomware.

The Decoder

Oct 10

Anthropic's Claude orchestrates up to 1,000 AI agents in parallel through dynamic workflows

Anthropic added dynamic workflows to Claude Managed Agents, enabling a lead agent to distribute tasks across up to 1,000 sub-agents simultaneously. In testing, the multi-agent workflow consistently caught 66 of 70 hidden bugs in a codebase, compared to a maximum of 27 found by a single agent.

The Decoder

Oct 12

AI agent teams waste tokens for barely measurable quality gains, research finds

According to research by Vals AI, teams of AI agents cost up to 5.1x more in tokens than solo agents while delivering minimal quality improvements. Only one of four tests with GPT-6 Sol and Claude Opus 5.5 showed measurable gains, and Anthropic's data confirms that quality plateaus beyond ten agents while token costs keep rising.

The Decoder +1 more