Paul Erdős
PulseAugur coverage of Paul Erdős — every cluster mentioning Paul Erdős across labs, papers, and developer communities, ranked by signal.
8 day(s) with sentiment data
-
AI solves Erdős math problem, prompting calls for research guardrails
An AI system has successfully solved a long-standing mathematical problem posed by Paul Erdős, specifically the "Happy Ending Problem" in Euclidean geometry. This achievement has prompted mathematicians and AI experts t…
-
OpenAI model disproves 80-year-old math conjecture
An OpenAI model has successfully disproven an 80-year-old mathematical conjecture posed by Paul Erdős, known as the unit distance conjecture. The model, utilizing a "test-time compute" mechanism, explored multiple reaso…
-
New pipeline optimizes unit-distance lower bounds in geometry
Researchers have developed an open-source Python pipeline to optimize and verify lower-bound certificates for the unit-distance problem in planar geometry. This pipeline, built upon Sawin's quantitative refinement of th…
-
New methods optimize unit-distance lower-bound certificates
Researchers have developed new computational methods to optimize lower-bound certificates for the unit-distance problem. This work builds upon the 2026 disproof of Erdős's conjecture, which showed that the number of uni…
-
AI 'godfather' Hinton predicts superintelligence, warns of capitalist exploitation
Geoffrey Hinton, often called the 'godfather of AI,' believes that artificial intelligence is rapidly advancing and will soon surpass human intelligence. He highlighted an AI's recent ability to prove a complex mathemat…
-
GPT-5.4 Pro solves 60-year-old math problem, sparking debate
An amateur mathematician utilized GPT-5.4 Pro to solve a long-standing mathematical problem posed by Paul Erdős, which had eluded human mathematicians for 60 years. The AI's approach differed significantly from human me…
-
OpenAI AI solves 80-year-old math conjecture
An internal OpenAI AI model has successfully disproved the Erdős unit distance conjecture, a complex mathematical problem that had remained unsolved for 80 years. The AI model applied existing mathematical concepts to c…
-
Demis Hassabis: Solving Math Problems Isn't True Invention
Demis Hassabis, CEO of Google DeepMind, stated that solving mathematical problems like those posed by Paul Erdős does not equate to true invention. He believes that genuine invention involves creating novel concepts and…
-
OpenAI model solves 80-year-old math problem, sparking debate
OpenAI announced that a new, unreleased reasoning model helped solve an 80-year-old mathematical conjecture. The model, which utilizes chain-of-thought reasoning, systematically explored paths that human mathematicians …
-
OpenAI AI disproves 80-year-old math conjecture
OpenAI's general-purpose reasoning models have made a significant breakthrough in discrete geometry, disproving a central conjecture related to Paul Erdős's planar unit distance problem. The AI identified an infinite fa…
-
OpenAI model disproves 80-year-old math conjecture
OpenAI's general-purpose reasoning model has disproved an 80-year-old conjecture in discrete geometry, known as the unit distance problem. This marks a significant advancement for AI in mathematics, as the model autonom…
-
OpenAI's GPT-5.4 Pro assists in solving a 60-year-old mathematical problem
OpenAI has announced that a 60-year-old unsolved mathematical problem, known as the Erdős problem, has been solved with the assistance of their GPT-5.4 Pro model. Researchers from OpenAI detailed how the AI's advanced r…
-
OpenAI's GPT-5.4 Pro aids in solving 60-year-old math problem
OpenAI's GPT-5.4 Pro assisted in solving a 60-year-old mathematical problem posed by Paul Erdős. This development raises questions about the future of AI in mathematical research and problem-solving. OpenAI researchers …
-
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…
-
Hugging Face paper introduces SimpleTES framework for scaling LLM-driven scientific discovery
Researchers have introduced a framework called Simple Test-time Evaluation-driven Scaling (SimpleTES) to enhance the scalability of language model-driven scientific discovery. This method strategically combines parallel…
-
OpenAI's GPT-5.2 advances science and math, with evaluations showing low catastrophic risk
OpenAI has released GPT-5.2, a new model demonstrating significant advancements in mathematical and scientific reasoning. The model achieved high scores on benchmarks like GPQA Diamond and FrontierMath, indicating impro…