Scott Neville5h ago

OpenAI, @wtgowers , and more(?) report that there's a better configuration of points for producing unit distances. In fact, an entire family! There's this blog post that comes up first when I search: https://openai.com/index/model-disproves-discrete-geometry-conjecture/

They helpfully picture the point configuration that is no longer champion (the best set of points humans could find with as many pairs as possible being unit distance apart). As far as I can see, they don't include a picture of any of the new point configurations!

Internet. I have a task. Somebody please plot the new configuration and show me a picture. It would make me very happy.
#maths #unitdistance #erdos #mathConjecture #mathart

An OpenAI model has disproved a central conjecture in discrete geometry

An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.

OpenAI
Fish Face3d ago

The #AI solution to #erdos problem 1196 made it onto #bbc More or Less

#maths #mathematics #math

AidooMay 9

Un joven de 23 años usó ChatGPT-5.4 para desbloquear una idea clave en un problema de Erdős. Revisores confirman el avance, pero subrayan: sin depuración y validación humana no habría demostración rigurosa. https://aidoo.news/noticia/Wd0DJV

#Matemáticas #InteligenciaArtificial #Erdos #Investigación

ChatGPT ayuda a resolver un problema matemático que llevaba años sin solución

Un joven de 23 años, Liam Price, presentó una solución a uno de los problemas de Erdős tras usar un prompt en ChatGPT-5.4. Especialistas analizaron la demostrac

Aidoo Noticias
AidooMay 9

Un joven de 23 años usó ChatGPT-5.4 para desbloquear una idea clave en un problema de Erdős. Revisores confirman el avance, pero subrayan: sin depuración y validación humana no habría demostración rigurosa. https://aidoo.news/noticia/Wd0DJV

#Matemáticas #InteligenciaArtificial #Erdos #Investigación

ChatGPT ayuda a resolver un problema matemático que llevaba años sin solución

Un joven de 23 años, Liam Price, presentó una solución a uno de los problemas de Erdős tras usar un prompt en ChatGPT-5.4. Especialistas analizaron la demostrac

Aidoo Noticias
Laurent CheylusMay 2
An Amateur with no advanced Mathematics Training has just solved a 60-year-old Erdős Problem with the Help of ChatGPT #AI #Maths #Erdos https://www.scientificamerican.com/article/amateur-armed-with-chatgpt-vibe-maths-a-60-year-old-problem/
Amateur armed with ChatGPT ‘vibe maths’ a 60-year-old problem

A ChatGPT AI has proved a conjecture with a method no human had thought of. Experts believe it may have further uses

Scientific American
🐦‍🔥nemo™🐦‍⬛ 🇺🇦🍉Apr 30
heise reports: A 23-year-old used GPT-5.4 Pro to crack a 60-year-old Erdős problem — a discrete, Markov-chain-based proof now verified in Lean. Experts call it a notable AI-assisted breakthrough in number theory. 🔬🤖📐 Read more: https://www.heise.de/en/news/Creative-solution-AI-solves-60-year-old-Erd-s-problem-11276442.html #Math #AI #Erdos
Creative solution: AI solves 60-year-old Erdős problem

A 23-year-old amateur solved open Erdős problem #1196 with a prompt to GPT-5.4 Pro – mathematicians see a new quality in this.

heise online
🐦‍🔥nemo™🐦‍⬛ 🇺🇦🍉Apr 30
KI löst 60 Jahre altes Erdős-Problem #1196: Der 23‑jährige Liam Price nutzte einen Prompt an GPT‑5.4 Pro — Beweis formal in Lean verifiziert; Kernidee: Markov‑Ketten in der Zahlentheorie. Fachwelt sieht neue Qualität in KI‑gestützter Forschung. 🧠✨📐 #KI #Mathematik #Erdos https://www.heise.de/news/Kreativer-Loesungsweg-KI-loest-60-Jahre-altes-Erd-s-Problem-11275796.html
KI löst 60 Jahre altes Mathe-Problem mit neuem Ansatz

Ein 23-jähriger Laie hat mit einem Prompt an GPT-5.4 Pro das offene Erdős-Problem #1196 gelöst – Mathematiker sehen darin eine neue Qualität.

heise online
tech news ᳇ eicker.newsApr 27
#LiamPrice, a 23-year-old with no advanced maths training, used #ChatGPT to solve a 60-year-old #Erdős problem about “primitive sets” of whole numbers. The #AI used a #novelmethod, applying a well-known formula in a new way, which experts believe could have broader applications in understanding large numbers. https://www.scientificamerican.com/article/amateur-armed-with-chatgpt-vibe-maths-a-60-year-old-problem/?eicker.news #tech #media #news
Amateur armed with ChatGPT ‘vibe maths’ a 60-year-old problem

A ChatGPT AI has proved a conjecture with a method no human had thought of. Experts believe it may have further uses

Scientific American
Rod2ik 🇪🇺 🇨🇵 🇪🇸 🇨🇱 🇺🇦 🇨🇦 🇬🇱 ☮🕊️Apr 27
#Korben: Un amateur résout un #problème d' #Erdős vieux de 60 ans avec un seul #prompt #GPT-5.4 korben.info/un-amateur-r...

Un amateur résout un problème ...
Un amateur résout un problème d'Erdős vieux de 60 ans avec un seul prompt GPT-5.4 - Korben

Liam Price, 23 ans, mathématicien amateur sans formation avancée, a résolu un problème d'Erdős resté ouvert depuis 60 ans en posant la question à GPT-5.4 ...

Le site de Korben
Rod2ik 🇪🇺 🇨🇵 🇪🇸 🇨🇱 🇺🇦 🇨🇦 🇬🇱☮🕊️Apr 27

#Korben:

Un amateur résout un #problème d' #Erdős vieux de 60 ans avec un seul #prompt #GPT-5.4

https://korben.info/un-amateur-resout-un-probleme-derdos-vieux-de-60-ans-avec-un-seul-prompt-gpt-5-4.html

Un amateur résout un problème d'Erdős vieux de 60 ans avec un seul prompt GPT-5.4 - Korben

Liam Price, 23 ans, mathématicien amateur sans formation avancée, a résolu un problème d'Erdős resté ouvert depuis 60 ans en posant la question à GPT-5.4 ...

Le site de Korben