Source details
- Original source
- The Decoder
- Published
- 2026-05-25
- Primary topic
- AI Agents
Why it matters
Agent products, browser agents, autonomous workflows, operator systems, and orchestration tools. Use the original source for the full report, then use the directory shortcuts below to compare the products and workflows the story points toward.
What happened
Google Deepmind's AlphaProof Nexus has autonomously solved nine open Erdős problems, including two that stumped mathematicians for 56 years, for just a few hundred dollars per problem in inference costs. Unlike OpenAI's natural-language approach, the system uses the Lean compiler to verify every proof step automatically. Still, the overall success rate sits at just 2.5 percent. The article Google Deepmind's AlphaProof Nexus solves decades-old math problems for a few hundred dollars appeared first on The Decoder .
What to do next
Move into automation and workflow tools next so you can evaluate whether the agent story is actionable or still mostly experimental.
Google Deepmind's AlphaProof Nexus has autonomously solved nine open Erdős problems, including two that stumped mathematicians for 56 years, for just a few hundred dollars per problem in inference costs. Unlike OpenAI's natural-language approach, the system uses the Lean compiler to verify every proof step automatically. Still, the overall success rate sits at just 2.5 percent. The article Google Deepmind's AlphaProof Nexus solves decades-old math problems for a few hundred dollars appeared first on The Decoder .
This AimostAll brief summarizes the linked source so readers can scan AI developments quickly and jump to the original reporting when needed.
