Erdős problems
PulseAugur coverage of Erdős problems — every cluster mentioning Erdős problems across labs, papers, and developer communities, ranked by signal.
5 day(s) with sentiment data
-
OpenAI's Astra AI solves legendary Erdős problems, reshaping math research
OpenAI has announced significant breakthroughs in mathematics, with its unreleased AI model, Astra, solving several long-standing Erdős problems. This marks a pivotal moment where AI is not just assisting but independen…
-
AI cracks legendary Erdős problems, revealing insights into mathematical creativity · 4 sources tracked
Artificial intelligence is increasingly being used to solve long-standing mathematical problems, particularly those posed by the prolific mathematician Paul Erdős. These "Erdős problems" are known for their difficulty a…
-
AI cracks long-standing math problems, sparking debate in scientific community · 4 sources tracked
AI has made significant strides in solving complex mathematical problems, including those that have stumped human mathematicians for decades. A notable breakthrough occurred in July 2026 when an internal OpenAI model di…
-
AI system 'Starfleet' uses Lean 4 to solve math problems
A new AI system named 'Starfleet' has been developed to tackle complex mathematical problems, including those posed by Erdős. The system utilizes the Lean 4 programming language and is described humorously as a desktop …
-
20 Erdős Problems Solved Using Parallel Codex Accounts
A mathematician has utilized 20 instances of Codex Accounts to tackle 20 of the renowned Erdős problems. This approach involved running the accounts in parallel to address these complex mathematical challenges.
-
GPT 5.6 Pro Solves Five Erdős Problems, User Claims
A user on Reddit claims to have used GPT 5.6 Pro to solve five specific Erdős problems in mathematics. The user, who has previously used AI models to solve mathematical problems and co-authored a paper with prominent ma…
-
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…