Agents

Axiom completes machine verification of math's longest proof, Classification of Finite Simple Groups

Original article in Korean액시엄, 수학 사상 가장 긴 증명 '유한 단순군 분류' 기계 검증 완수

Outlet: AI Times
Published: Oct 29, 2026
Importance: 4/5

Summary

Math AI startup Axiom finished computer-verifying the Classification of Finite Simple Groups (CFSG), a proof spanning 500+ papers and 15,000 pages by approximately 100 mathematicians. The team reconstructed the entire proof using AI agents and proof assistants, correcting errors and missing assumptions found in the original literature.

#ai-agent#mathematics#proof-assistant

Read the originalaitimes.com · in Korean

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