Erdős problems
PulseAugur coverage of Erdős problems — every cluster mentioning Erdős problems across labs, papers, and developer communities, ranked by signal.
1 day(s) with sentiment data
-
AI system LeanMarathon aids formalization of complex math research
Researchers have developed LeanMarathon, a new multi-agent system designed to improve the reliability of AI in formalizing complex mathematical research. The system uses an evolving blueprint to manage proof skeletons, …
-
New benchmarks assess LLM math reasoning, proof verification
Researchers have introduced new benchmarks and evaluation methods to assess the mathematical reasoning capabilities of large language models. ComBench focuses on Olympiad-level combinatorics, distinguishing between proo…
-
DeepMind's AlphaProof Nexus solves nine Erdős problems with AI
Google DeepMind's AlphaProof Nexus has successfully solved nine of the Erdős problems, a significant achievement in mathematical AI. The system utilizes Lean-checked proofs, marking a new era for AI in mathematics. This…
-
AI advances: Math problems solved, GPT-5.6 leaks, Pope issues AI warning
Google DeepMind's AlphaProof Nexus has solved several long-standing mathematical problems, demonstrating significant advancements in AI's problem-solving capabilities. Separately, OpenAI's upcoming GPT-5.6 model is rumo…
-
Google DeepMind AI solves 9 historic math problems for under $1000
Google DeepMind's AlphaProof Nexus has autonomously solved nine open Erdős mathematical problems, including two that had remained unsolved for 56 years. The AI system, which pairs a large language model with the Lean co…
-
Google DeepMind AI solves 9 open math problems autonomously
Google DeepMind has developed an AI agent capable of autonomously solving complex mathematical problems. This agent successfully tackled 9 out of 353 open Erdos problems, a significant achievement in mathematical resear…
-
AI agent solves open math problems using formal proof search
Researchers have developed an AI agent capable of autonomously solving open mathematical problems by generating formal proofs in languages like Lean. This agent successfully resolved 9 out of 353 open Erdős problems and…
-
Amateur uses ChatGPT to solve 60-year-old math problem, surprising experts
A 23-year-old amateur mathematician named Liam Price has solved a 60-year-old mathematical problem, known as an Erdős problem, using ChatGPT. Price, who has no advanced mathematics training, reportedly used a single pro…