#erdos — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #erdos, aggregated by home.social.
-
🤖 Oh, look! #AI is now tackling #Erdős #problems because apparently, mathematicians need a break from proving humans can still be useful. 🙄 #Quanta #Magazine seems convinced that AI's conquest of #math puzzles is a #groundbreaking revelation, as if we haven't been #outsourcing our brains to computers for decades. 😂
https://www.quantamagazine.org/why-the-legendary-erdos-problems-are-falling-to-ai-20260803/ #HackerNews #ngated -
🤖 Oh, look! #AI is now tackling #Erdős #problems because apparently, mathematicians need a break from proving humans can still be useful. 🙄 #Quanta #Magazine seems convinced that AI's conquest of #math puzzles is a #groundbreaking revelation, as if we haven't been #outsourcing our brains to computers for decades. 😂
https://www.quantamagazine.org/why-the-legendary-erdos-problems-are-falling-to-ai-20260803/ #HackerNews #ngated -
🤖 Oh, look! #AI is now tackling #Erdős #problems because apparently, mathematicians need a break from proving humans can still be useful. 🙄 #Quanta #Magazine seems convinced that AI's conquest of #math puzzles is a #groundbreaking revelation, as if we haven't been #outsourcing our brains to computers for decades. 😂
https://www.quantamagazine.org/why-the-legendary-erdos-problems-are-falling-to-ai-20260803/ #HackerNews #ngated -
🤖 Oh, look! #AI is now tackling #Erdős #problems because apparently, mathematicians need a break from proving humans can still be useful. 🙄 #Quanta #Magazine seems convinced that AI's conquest of #math puzzles is a #groundbreaking revelation, as if we haven't been #outsourcing our brains to computers for decades. 😂
https://www.quantamagazine.org/why-the-legendary-erdos-problems-are-falling-to-ai-20260803/ #HackerNews #ngated -
🤖 Oh, look! #AI is now tackling #Erdős #problems because apparently, mathematicians need a break from proving humans can still be useful. 🙄 #Quanta #Magazine seems convinced that AI's conquest of #math puzzles is a #groundbreaking revelation, as if we haven't been #outsourcing our brains to computers for decades. 😂
https://www.quantamagazine.org/why-the-legendary-erdos-problems-are-falling-to-ai-20260803/ #HackerNews #ngated -
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
-
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
-
We have to think very much about #Causality, and whether it is bounded properly in terms of #Physics or #Mathematics. In other words does causality need one or the other ? .The mathematical #Universe of possibilities is far larger than #Physical models can accomodate. Do we need those in some fundamental aspect ? #Erdos spent a lot of time with this. #Ramanujan may have answered directly. The question is phrased differently in most relevant contexts
-
We have to think very much about #Causality, and whether it is bounded properly in terms of #Physics or #Mathematics. In other words does causality need one or the other ? .The mathematical #Universe of possibilities is far larger than #Physical models can accomodate. Do we need those in some fundamental aspect ? #Erdos spent a lot of time with this. #Ramanujan may have answered directly. The question is phrased differently in most relevant contexts
-
We have to think very much about #Causality, and whether it is bounded properly in terms of #Physics or #Mathematics. In other words does causality need one or the other ? .The mathematical #Universe of possibilities is far larger than #Physical models can accomodate. Do we need those in some fundamental aspect ? #Erdos spent a lot of time with this. #Ramanujan may have answered directly. The question is phrased differently in most relevant contexts
-
We have to think very much about #Causality, and whether it is bounded properly in terms of #Physics or #Mathematics. In other words does causality need one or the other ? .The mathematical #Universe of possibilities is far larger than #Physical models can accomodate. Do we need those in some fundamental aspect ? #Erdos spent a lot of time with this. #Ramanujan may have answered directly. The question is phrased differently in most relevant contexts
-
We have to think very much about #Causality, and whether it is bounded properly in terms of #Physics or #Mathematics. In other words does causality need one or the other ? .The mathematical #Universe of possibilities is far larger than #Physical models can accomodate. Do we need those in some fundamental aspect ? #Erdos spent a lot of time with this. #Ramanujan may have answered directly. The question is phrased differently in most relevant contexts
-
Do better, Math.
The recent spate of #AI "solutions"/"discoveries" in math is happening. You HAVE to stand against it UNTIL "ai" is without stain.I get it. Erods's has solved problems via Chat-GPT. Resist!
Do you care? Maths? Do you care?
It's not about humans vs computers. It's about humans vs humans.
Fuck AI solutions, as long as "AI" is thuggery.
Do you care about truth?
Do better...
-
Do better, Math.
The recent spate of #AI "solutions"/"discoveries" in math is happening. You HAVE to stand against it UNTIL "ai" is without stain.I get it. Erods's has solved problems via Chat-GPT. Resist!
Do you care? Maths? Do you care?
It's not about humans vs computers. It's about humans vs humans.
Fuck AI solutions, as long as "AI" is thuggery.
Do you care about truth?
Do better...
-
Do better, Math.
The recent spate of #AI "solutions"/"discoveries" in math is happening. You HAVE to stand against it UNTIL "ai" is without stain.I get it. Erods's has solved problems via Chat-GPT. Resist!
Do you care? Maths? Do you care?
It's not about humans vs computers. It's about humans vs humans.
Fuck AI solutions, as long as "AI" is thuggery.
Do you care about truth?
Do better...
-
Do better, Math.
The recent spate of #AI "solutions"/"discoveries" in math is happening. You HAVE to stand against it UNTIL "ai" is without stain.I get it. Erods's has solved problems via Chat-GPT. Resist!
Do you care? Maths? Do you care?
It's not about humans vs computers. It's about humans vs humans.
Fuck AI solutions, as long as "AI" is thuggery.
Do you care about truth?
Do better...
-
Do better, Math.
The recent spate of #AI "solutions"/"discoveries" in math is happening. You HAVE to stand against it UNTIL "ai" is without stain.I get it. Erods's has solved problems via Chat-GPT. Resist!
Do you care? Maths? Do you care?
It's not about humans vs computers. It's about humans vs humans.
Fuck AI solutions, as long as "AI" is thuggery.
Do you care about truth?
Do better...
-
AI agents are making real headway in math: a new study on arXiv reports an AI-aided formal proof-search system in Lean that autonomously solved 9/353 open Erdős problems (and proved 44/492 OEIS conjectures), using compiler-verified proofs instead of unreliable natural-language reasoning. https://arxiv.org/html/2605.22763v1 🚀📐 #AI #Mathematics
The #paper says the full-featured agent solved these 9 #Erdős open #problems (out of 353 attempted): #12(i), #12(ii), #125, #138, #152, #741(i), #741(ii), #846, and #26 (†)**
-
AI agents are making real headway in math: a new study on arXiv reports an AI-aided formal proof-search system in Lean that autonomously solved 9/353 open Erdős problems (and proved 44/492 OEIS conjectures), using compiler-verified proofs instead of unreliable natural-language reasoning. https://arxiv.org/html/2605.22763v1 🚀📐 #AI #Mathematics
The #paper says the full-featured agent solved these 9 #Erdős open #problems (out of 353 attempted): #12(i), #12(ii), #125, #138, #152, #741(i), #741(ii), #846, and #26 (†)**
-
AI agents are making real headway in math: a new study on arXiv reports an AI-aided formal proof-search system in Lean that autonomously solved 9/353 open Erdős problems (and proved 44/492 OEIS conjectures), using compiler-verified proofs instead of unreliable natural-language reasoning. https://arxiv.org/html/2605.22763v1 🚀📐 #AI #Mathematics
The #paper says the full-featured agent solved these 9 #Erdős open #problems (out of 353 attempted): #12(i), #12(ii), #125, #138, #152, #741(i), #741(ii), #846, and #26 (†)**
-
AI agents are making real headway in math: a new study on arXiv reports an AI-aided formal proof-search system in Lean that autonomously solved 9/353 open Erdős problems (and proved 44/492 OEIS conjectures), using compiler-verified proofs instead of unreliable natural-language reasoning. https://arxiv.org/html/2605.22763v1 🚀📐 #AI #Mathematics
The #paper says the full-featured agent solved these 9 #Erdős open #problems (out of 353 attempted): #12(i), #12(ii), #125, #138, #152, #741(i), #741(ii), #846, and #26 (†)**
-
AI agents are making real headway in math: a new study on arXiv reports an AI-aided formal proof-search system in Lean that autonomously solved 9/353 open Erdős problems (and proved 44/492 OEIS conjectures), using compiler-verified proofs instead of unreliable natural-language reasoning. https://arxiv.org/html/2605.22763v1 🚀📐 #AI #Mathematics
The #paper says the full-featured agent solved these 9 #Erdős open #problems (out of 353 attempted): #12(i), #12(ii), #125, #138, #152, #741(i), #741(ii), #846, and #26 (†)**
-
@paysmaths voilà le papier de #openAI "Planar Point Sets with Many Unit Distances" sur cette conjecture de #Erdos prouvée à l'aide de #ChatGPT
https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf
-
@paysmaths voilà le papier de #openAI "Planar Point Sets with Many Unit Distances" sur cette conjecture de #Erdos prouvée à l'aide de #ChatGPT
https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf
-
@paysmaths voilà le papier de #openAI "Planar Point Sets with Many Unit Distances" sur cette conjecture de #Erdos prouvée à l'aide de #ChatGPT
https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf
-
@paysmaths voilà le papier de #openAI "Planar Point Sets with Many Unit Distances" sur cette conjecture de #Erdos prouvée à l'aide de #ChatGPT
https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf
-
I saw that some #erdos #math problems have been solved by a handful of LLM, with verification by Terence Tao.
It's not even openai propaganda, some hobbies did itI felt that LLMs would be stuck in their non-originality, and wouldn't be reliable for such a difficult thing to do.
So what's the catch ?
Were these problems easy after all, and we make a fuss about it ?
Is #AI finally to a point were we should rely on it for our brainy tasks ?
What does it say about our future ? -
I saw that some #erdos #math problems have been solved by a handful of LLM, with verification by Terence Tao.
It's not even openai propaganda, some hobbies did itI felt that LLMs would be stuck in their non-originality, and wouldn't be reliable for such a difficult thing to do.
So what's the catch ?
Were these problems easy after all, and we make a fuss about it ?
Is #AI finally to a point were we should rely on it for our brainy tasks ?
What does it say about our future ? -
I saw that some #erdos #math problems have been solved by a handful of LLM, with verification by Terence Tao.
It's not even openai propaganda, some hobbies did itI felt that LLMs would be stuck in their non-originality, and wouldn't be reliable for such a difficult thing to do.
So what's the catch ?
Were these problems easy after all, and we make a fuss about it ?
Is #AI finally to a point were we should rely on it for our brainy tasks ?
What does it say about our future ? -
I saw that some #erdos #math problems have been solved by a handful of LLM, with verification by Terence Tao.
It's not even openai propaganda, some hobbies did itI felt that LLMs would be stuck in their non-originality, and wouldn't be reliable for such a difficult thing to do.
So what's the catch ?
Were these problems easy after all, and we make a fuss about it ?
Is #AI finally to a point were we should rely on it for our brainy tasks ?
What does it say about our future ? -
I saw that some #erdos #math problems have been solved by a handful of LLM, with verification by Terence Tao.
It's not even openai propaganda, some hobbies did itI felt that LLMs would be stuck in their non-originality, and wouldn't be reliable for such a difficult thing to do.
So what's the catch ?
Were these problems easy after all, and we make a fuss about it ?
Is #AI finally to a point were we should rely on it for our brainy tasks ?
What does it say about our future ? -
@paysmaths #OpenAI aime bien se vanter mais une centaine de conjectures de #Erdos, qui sont répertoriées sur le site https://www.erdosproblems.com , ont été récemment prouvées avec l'aide d'une #IA , dont celle de Erdős, Sárközy, and Szemerédi mi-Avril. Sur ces questions bien documentées l'IA va certainement aider des gens compétents du domaine à avancer plus vite et pour derrière s'attaquer à des problèmes plus raides.
-
@paysmaths #OpenAI aime bien se vanter mais une centaine de conjectures de #Erdos, qui sont répertoriées sur le site https://www.erdosproblems.com , ont été récemment prouvées avec l'aide d'une #IA , dont celle de Erdős, Sárközy, and Szemerédi mi-Avril. Sur ces questions bien documentées l'IA va certainement aider des gens compétents du domaine à avancer plus vite et pour derrière s'attaquer à des problèmes plus raides.
-
@paysmaths #OpenAI aime bien se vanter mais une centaine de conjectures de #Erdos, qui sont répertoriées sur le site https://www.erdosproblems.com , ont été récemment prouvées avec l'aide d'une #IA , dont celle de Erdős, Sárközy, and Szemerédi mi-Avril. Sur ces questions bien documentées l'IA va certainement aider des gens compétents du domaine à avancer plus vite et pour derrière s'attaquer à des problèmes plus raides.
-
@paysmaths #OpenAI aime bien se vanter mais une centaine de conjectures de #Erdos, qui sont répertoriées sur le site https://www.erdosproblems.com , ont été récemment prouvées avec l'aide d'une #IA , dont celle de Erdős, Sárközy, and Szemerédi mi-Avril. Sur ces questions bien documentées l'IA va certainement aider des gens compétents du domaine à avancer plus vite et pour derrière s'attaquer à des problèmes plus raides.
-
Algo que cada día me llama más la atención es cómo gente que es tremendamente minuciosa en las críticas al menor de los detalles de una afirmación en sus campos de conocimiento, valorando incluso la intencionalidad de los autores, no exploren la intencionalidad de OpenAI al publicar la solución de un problema en un campo tan nicho como la geometría discreta. Dos entradas interesantes al respecto
AI & Politics
https://web.archive.org/web/20260606124210/https://seanrichey.substack.com/p/the-ai-and-erdos-problem-debate-misses -
Algo que cada día me llama más la atención es cómo gente que es tremendamente minuciosa en las críticas al menor de los detalles de una afirmación en sus campos de conocimiento, valorando incluso la intencionalidad de los autores, no exploren la intencionalidad de OpenAI al publicar la solución de un problema en un campo tan nicho como la geometría discreta. Dos entradas interesantes al respecto
AI & Politics
https://web.archive.org/web/20260606124210/https://seanrichey.substack.com/p/the-ai-and-erdos-problem-debate-misses -
Algo que cada día me llama más la atención es cómo gente que es tremendamente minuciosa en las críticas al menor de los detalles de una afirmación en sus campos de conocimiento, valorando incluso la intencionalidad de los autores, no exploren la intencionalidad de OpenAI al publicar la solución de un problema en un campo tan nicho como la geometría discreta. Dos entradas interesantes al respecto
AI & Politics
https://web.archive.org/web/20260606124210/https://seanrichey.substack.com/p/the-ai-and-erdos-problem-debate-misses -
Algo que cada día me llama más la atención es cómo gente que es tremendamente minuciosa en las críticas al menor de los detalles de una afirmación en sus campos de conocimiento, valorando incluso la intencionalidad de los autores, no exploren la intencionalidad de OpenAI al publicar la solución de un problema en un campo tan nicho como la geometría discreta. Dos entradas interesantes al respecto
AI & Politics
https://web.archive.org/web/20260606124210/https://seanrichey.substack.com/p/the-ai-and-erdos-problem-debate-misses -
Algo que cada día me llama más la atención es cómo gente que es tremendamente minuciosa en las críticas al menor de los detalles de una afirmación en sus campos de conocimiento, valorando incluso la intencionalidad de los autores, no exploren la intencionalidad de OpenAI al publicar la solución de un problema en un campo tan nicho como la geometría discreta. Dos entradas interesantes al respecto
AI & Politics
https://web.archive.org/web/20260606124210/https://seanrichey.substack.com/p/the-ai-and-erdos-problem-debate-misses -
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
-
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
-
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
-
An amateur mathematician fed an #Erdős problem into GPT-5.4 Pro that humans have been working on for 60 years
"Previous #LLM solutions to Erdős problems used standard techniques, this one took an entirely different approach. Rather than starting from Erdős’ original probability-theory-based framing of the problem, as human mathematicians had, the LLM found an alternative route… that led naturally, in less than a page, to a correct proof"
We're fucking toast
-
An amateur mathematician fed an #Erdős problem into GPT-5.4 Pro that humans have been working on for 60 years
"Previous #LLM solutions to Erdős problems used standard techniques, this one took an entirely different approach. Rather than starting from Erdős’ original probability-theory-based framing of the problem, as human mathematicians had, the LLM found an alternative route… that led naturally, in less than a page, to a correct proof"
We're fucking toast
-
An amateur mathematician fed an #Erdős problem into GPT-5.4 Pro that humans have been working on for 60 years
"Previous #LLM solutions to Erdős problems used standard techniques, this one took an entirely different approach. Rather than starting from Erdős’ original probability-theory-based framing of the problem, as human mathematicians had, the LLM found an alternative route… that led naturally, in less than a page, to a correct proof"
We're fucking toast
-
An amateur mathematician fed an #Erdős problem into GPT-5.4 Pro that humans have been working on for 60 years
"Previous #LLM solutions to Erdős problems used standard techniques, this one took an entirely different approach. Rather than starting from Erdős’ original probability-theory-based framing of the problem, as human mathematicians had, the LLM found an alternative route… that led naturally, in less than a page, to a correct proof"
We're fucking toast
-
#OpenAI disproved the #Erdős planar unit distance conjecture of #DiscreteGeomerty.
#AI—disturbing on many levels....
https://openai.com/index/model-disproves-discrete-geometry-conjecture/
-
#OpenAI disproved the #Erdős planar unit distance conjecture of #DiscreteGeomerty.
#AI—disturbing on many levels....
https://openai.com/index/model-disproves-discrete-geometry-conjecture/
-
#OpenAI disproved the #Erdős planar unit distance conjecture of #DiscreteGeomerty.
#AI—disturbing on many levels....
https://openai.com/index/model-disproves-discrete-geometry-conjecture/
-
#OpenAI disproved the #Erdős planar unit distance conjecture of #DiscreteGeomerty.
#AI—disturbing on many levels....
https://openai.com/index/model-disproves-discrete-geometry-conjecture/
-
#OpenAI disproved the #Erdős planar unit distance conjecture of #DiscreteGeomerty.
#AI—disturbing on many levels....
https://openai.com/index/model-disproves-discrete-geometry-conjecture/
-
https://www.europesays.com/hu/117310/ Index – Belföld – Eljárás indult Lázár János batidai teniszpályája miatt #batida #belföld #CeNapi #erdős #Fidesz #HU #Hungarian #Hungary #LázárJános #Magyar #Magyarország #teniszpálya #terület #vadászház
