#erdosproblems — Public Fediverse posts

Why the Legendary Erdős Problems Are Falling to AI

https://www.quantamagazine.org/why-the-legendary-erdos-problems-are-falling-to-ai-20260803/

Comments: https://news.ycombinator.com/item?id=49181519

#HackerNews #ErdosProblems #AIResearch #Mathematics #Technology #Innovation

Why the Legendary Erdős Problems Are Falling to AI

https://www.quantamagazine.org/why-the-legendary-erdos-problems-are-falling-to-ai-20260803/

Comments: https://news.ycombinator.com/item?id=49181519

#HackerNews #ErdosProblems #AIResearch #Mathematics #Technology #Innovation

I think more people need to read Terry Tao's slides on 'Mathematics in the age of AI' right here

#mathematics #ai #erdosproblems #math

I think more people need to read Terry Tao's slides on 'Mathematics in the age of AI' right here

#mathematics #ai #erdosproblems #math

On May 20, 2026, OpenAI made an announcement that shook the mathematical world. An internal AI model, one not available to the public, had come up with a counterexample to the “unit distance” problem, a conjecture made in 1946 by Paul Erdős, the prolific, itinerant Hungarian mathematician. Erdős posed thousands of questions, but this one was special: It was both simple to explain and mathematically deep. It was the first historically significant proof to come from an AI model. Though the model’s result wasn’t definitive, human mathematicians would substantially improve on it within weeks, it was innovative, bringing in ideas from a distant branch of math that no one had successfully applied to this problem before. And it was influential: Within a few days, related techniques were used to solve other important problems. Then on August 1, OpenAI announced that an unreleased model named Astra made 10 additional mathematical advances, including finding solutions to three more problems posed by Erdős. Many mathematicians have hailed developments such as these as a phase transition in the mathematical capability of AI models. These models are “changing dramatically the way mathematical research is being done,” said Noga Alon of Princeton University, who has solved dozens of Erdős problems over his decades-long career.

https://www.quantamagazine.org/why-the-legendary-erdos-problems-are-falling-to-ai-20260803

#AI #Erdős #Erdos #ErdősProblems #PaulErdős #OpenAI #Revolution #ArtificialIntelligence #QuantaMagazine #Maths #Math #NumberTheory #MathRevolution

On May 20, 2026, OpenAI made an announcement that shook the mathematical world. An internal AI model, one not available to the public, had come up with a counterexample to the “unit distance” problem, a conjecture made in 1946 by Paul Erdős, the prolific, itinerant Hungarian mathematician. Erdős posed thousands of questions, but this one was special: It was both simple to explain and mathematically deep. It was the first historically significant proof to come from an AI model. Though the model’s result wasn’t definitive, human mathematicians would substantially improve on it within weeks, it was innovative, bringing in ideas from a distant branch of math that no one had successfully applied to this problem before. And it was influential: Within a few days, related techniques were used to solve other important problems. Then on August 1, OpenAI announced that an unreleased model named Astra made 10 additional mathematical advances, including finding solutions to three more problems posed by Erdős. Many mathematicians have hailed developments such as these as a phase transition in the mathematical capability of AI models. These models are “changing dramatically the way mathematical research is being done,” said Noga Alon of Princeton University, who has solved dozens of Erdős problems over his decades-long career.

https://www.quantamagazine.org/why-the-legendary-erdos-problems-are-falling-to-ai-20260803

#AI #Erdős #Erdos #ErdősProblems #PaulErdős #OpenAI #Revolution #ArtificialIntelligence #QuantaMagazine #Maths #Math #NumberTheory #MathRevolution

👨‍🚀🚀 Ah, yes, because nothing says "I'm serious about math" like naming your #AI system 'Star Fleet' and using Lean 4 to conquer #math problems like it's the final frontier. 🖖 Just a casual desktop app with a mere *2,000 vCPUs* per starship, as if everyone's got a MacBook Pro strapped to an IBM mainframe. 😂 Who knew solving Erdős problems was as easy as running a script from a Star Trek fan's garage?
https://www.starfleetmath.com/ #StarFleet #Lean4 #ErdősProblems #TechHumor #HackerNews #ngated

👨‍🚀🚀 Ah, yes, because nothing says "I'm serious about math" like naming your #AI system 'Star Fleet' and using Lean 4 to conquer #math problems like it's the final frontier. 🖖 Just a casual desktop app with a mere *2,000 vCPUs* per starship, as if everyone's got a MacBook Pro strapped to an IBM mainframe. 😂 Who knew solving Erdős problems was as easy as running a script from a Star Trek fan's garage?
https://www.starfleetmath.com/ #StarFleet #Lean4 #ErdősProblems #TechHumor #HackerNews #ngated

Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel

https://www.starfleetmath.com/

Comments: https://news.ycombinator.com/item?id=48914646

#HackerNews #ErdősProblems #CodexAccounts #ParallelProcessing #MathChallenges #HackerNews

Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel

https://www.starfleetmath.com/

Comments: https://news.ycombinator.com/item?id=48914646

#HackerNews #ErdősProblems #CodexAccounts #ParallelProcessing #MathChallenges #HackerNews

DeepMind’s New AI Found A Strange New Way To Think

https://www.youtube.com/watch?v=Dkqzqw8rxXI

The discussed paper:

https://arxiv.org/html/2605.22763v1
https://github.com/google-deepmind/alphaproof-nexus-results

#AI #LLM #DeepMind #AlphaProof #Math #FormalProof #LeanProver #ErdosProblems #Erdős

DeepMind’s New AI Found A Strange New Way To Think

https://www.youtube.com/watch?v=Dkqzqw8rxXI

The discussed paper:

https://arxiv.org/html/2605.22763v1
https://github.com/google-deepmind/alphaproof-nexus-results

#AI #LLM #DeepMind #AlphaProof #Math #FormalProof #LeanProver #ErdosProblems #Erdős

Sum-product, unit distances, and number fields

https://www.erdosproblems.com/forum/thread/blog:6

#HackerNews #sumproduct #unitdistances #numberfields #mathdiscussion #ErdosProblems

Sum-product, unit distances, and number fields

https://www.erdosproblems.com/forum/thread/blog:6

#HackerNews #sumproduct #unitdistances #numberfields #mathdiscussion #ErdosProblems

Two announcements: AI for Math resources, and erdosproblems.com | What's new

Link