#erdos — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #erdos, aggregated by home.social.
-
https://winbuzzer.com/2026/05/26/google-deepmind-says-alphaproof-nexus-is-still-not-agi-xcxwbn/
DeepMind’s AlphaProof Nexus solves nine Erdős problems using Lean-checked proofs, signaling a new phase in AI math after OpenAI’s geometry claim.
#AI #AlphaProofNexus #AlphaProof #GoogleDeepMind #Google #GoogleGemini #AIResearch #Erdős #Math
-
https://winbuzzer.com/2026/05/26/google-deepmind-says-alphaproof-nexus-is-still-not-agi-xcxwbn/
DeepMind’s AlphaProof Nexus solves nine Erdős problems using Lean-checked proofs, signaling a new phase in AI math after OpenAI’s geometry claim.
#AI #AlphaProofNexus #AlphaProof #GoogleDeepMind #Google #GoogleGemini #AIResearch #Erdős #Math
-
https://winbuzzer.com/2026/05/26/google-deepmind-says-alphaproof-nexus-is-still-not-agi-xcxwbn/
DeepMind’s AlphaProof Nexus solves nine Erdős problems using Lean-checked proofs, signaling a new phase in AI math after OpenAI’s geometry claim.
#AI #AlphaProofNexus #AlphaProof #GoogleDeepMind #Google #GoogleGemini #AIResearch #Erdős #Math
-
https://winbuzzer.com/2026/05/26/google-deepmind-says-alphaproof-nexus-is-still-not-agi-xcxwbn/
DeepMind’s AlphaProof Nexus solves nine Erdős problems using Lean-checked proofs, signaling a new phase in AI math after OpenAI’s geometry claim.
#AI #AlphaProofNexus #AlphaProof #GoogleDeepMind #Google #GoogleGemini #AIResearch #Erdős #Math
-
https://winbuzzer.com/2026/05/26/google-deepmind-says-alphaproof-nexus-is-still-not-agi-xcxwbn/
DeepMind’s AlphaProof Nexus solves nine Erdős problems using Lean-checked proofs, signaling a new phase in AI math after OpenAI’s geometry claim.
#AI #AlphaProofNexus #AlphaProof #GoogleDeepMind #Google #GoogleGemini #AIResearch #Erdős #Math
-
Chatbot de OpenAI resuelve una variante del problema geométrico de Erdős (distancia unitaria) 80 años después. Nature lo apunta como primer hallazgo científico autónomo de una IA. https://aidoo.news/noticia/6mPRBb
-
Chatbot de OpenAI resuelve una variante del problema geométrico de Erdős (distancia unitaria) 80 años después. Nature lo apunta como primer hallazgo científico autónomo de una IA. https://aidoo.news/noticia/6mPRBb
-
Chatbot de OpenAI resuelve una variante del problema geométrico de Erdős (distancia unitaria) 80 años después. Nature lo apunta como primer hallazgo científico autónomo de una IA. https://aidoo.news/noticia/6mPRBb
-
-
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
-
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/
-
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
-
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
-
#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
-
#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
-
#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
-
#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
-
#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
-
#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 ... -
#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 ... -
RE: https://mastoxiv.page/@arXiv_mathCO_bot/115904052353835071
Here is the second manuscript coming out of the "Topics in Ramsey theory" online-only problem-solving session (https://sparse-graphs.mimuw.edu.pl/doku.php?id=sessions:2025sessions:2025session1) of the Sparse (Graphs) Coalition, which took place less than a year ago.
The first manuscript already came out a couple months earlier (https://arxiv.org/abs/2510.17981).
Both have made serious progress in serious Erdős problems.
#combinatorics #remoteconferences #graphtheory #extremalcombinatorics #erdős
-
Hinton so sánh LLM hiện nay như 10.000 sinh viên đại học: có kiến thức rộng & khả năng suy luận tốt, nhưng chưa đạt mức giải quyết vấn đề cấp độ Tiến sĩ. AI đã tự động tìm tài liệu, lập luận & tạo kiến thức mới, nhưng vẫn chưa phá vỡ các bài toán khó như IMO Problem 6. Nhiều chuyên gia kỳ vọng cuối năm sẽ xuất hiện mô hình “PhD‑level”. #AI #LLM #GeoffreyHinton #MachineLearning #TríTuệNhânTạo #IMO #Erdős #NghiênCứu
https://www.reddit.com/r/singularity/comments/1qgah6e/to_borrow_geoffrey_hintons_
-
Cette #IA #AI a résolu un #problème #mathématique ouvert depuis 45 ans #Erdös #Problem #397 www.numerama.com/tech/2157819...
Il résistait depuis 45 ans : c... -
Cette #IA #AI a résolu un #problème #mathématique ouvert depuis 45 ans #Erdös #Problem #397 www.numerama.com/tech/2157819...
Il résistait depuis 45 ans : c... -
AI solves Erdos problem #728 (Terence Tao mathstodon post)
https://mathstodon.xyz/@tao/115855840223258103
#HackerNews #AI #Erdos #Problem #Terence #Tao #Mathstodon #Innovation
-
Der ungarische Soziologe Sandor Szalai hat beobachtet, dass wenn man ungefähr 20 Kinder hat, dass man dann immer 4 finden kann, die sich alle paarweise kennen, oder 4 die sich alle komplett unbekannt sind.
Erst dachte er, das sei irgendwie gesellschaftlich bedingt, aber nach einem Gespäch mit Erdös, Turán, and Sós wurde ihm klar, dass es sich um ein mathematisches Phänomen handelt.
1/3
-
Der ungarische Soziologe Sandor Szalai hat beobachtet, dass wenn man ungefähr 20 Kinder hat, dass man dann immer 4 finden kann, die sich alle paarweise kennen, oder 4 die sich alle komplett unbekannt sind.
Erst dachte er, das sei irgendwie gesellschaftlich bedingt, aber nach einem Gespäch mit Erdös, Turán, and Sós wurde ihm klar, dass es sich um ein mathematisches Phänomen handelt.
1/3
-
Der ungarische Soziologe Sandor Szalai hat beobachtet, dass wenn man ungefähr 20 Kinder hat, dass man dann immer 4 finden kann, die sich alle paarweise kennen, oder 4 die sich alle komplett unbekannt sind.
Erst dachte er, das sei irgendwie gesellschaftlich bedingt, aber nach einem Gespäch mit Erdös, Turán, and Sós wurde ihm klar, dass es sich um ein mathematisches Phänomen handelt.
1/3
-
Der ungarische Soziologe Sandor Szalai hat beobachtet, dass wenn man ungefähr 20 Kinder hat, dass man dann immer 4 finden kann, die sich alle paarweise kennen, oder 4 die sich alle komplett unbekannt sind.
Erst dachte er, das sei irgendwie gesellschaftlich bedingt, aber nach einem Gespäch mit Erdös, Turán, and Sós wurde ihm klar, dass es sich um ein mathematisches Phänomen handelt.
1/3
-
Der ungarische Soziologe Sandor Szalai hat beobachtet, dass wenn man ungefähr 20 Kinder hat, dass man dann immer 4 finden kann, die sich alle paarweise kennen, oder 4 die sich alle komplett unbekannt sind.
Erst dachte er, das sei irgendwie gesellschaftlich bedingt, aber nach einem Gespäch mit Erdös, Turán, and Sós wurde ihm klar, dass es sich um ein mathematisches Phänomen handelt.
1/3
-
Show HN: Erdos – open-source, AI data science IDE
https://www.lotas.ai/erdos
#ycombinator #Data_Science #AI_for_Data_Science #VSCode #RStudio #code_editor #Rprogramming #data_analysis #Rao #Erdos #Python #SQL #IDE #Coding_Agent #Data_Analysis -
Show HN: Erdos – open-source, AI data science IDE
https://www.lotas.ai/erdos
#ycombinator #Data_Science #AI_for_Data_Science #VSCode #RStudio #code_editor #Rprogramming #data_analysis #Rao #Erdos #Python #SQL #IDE #Coding_Agent #Data_Analysis -
Show HN: Erdos – open-source, AI data science IDE
https://www.lotas.ai/erdos
#ycombinator #Data_Science #AI_for_Data_Science #VSCode #RStudio #code_editor #Rprogramming #data_analysis #Rao #Erdos #Python #SQL #IDE #Coding_Agent #Data_Analysis -
Show HN: Erdos – open-source, AI data science IDE
https://www.lotas.ai/erdos
#ycombinator #Data_Science #AI_for_Data_Science #VSCode #RStudio #code_editor #Rprogramming #data_analysis #Rao #Erdos #Python #SQL #IDE #Coding_Agent #Data_Analysis -
🎩✨ Behold, the miraculous Erdos: an #AI #IDE so advanced it’ll redefine the way you scroll through #Jupyter #notebooks. 🐢💨 Experience the thrill of a plots pane and integrated docs intelligence that probably just read the same docs you Googled five minutes ago. 🚀🔍 Want to know if it's free? Let's just say they're as transparent as your morning coffee. ☕💸
https://www.lotas.ai/erdos #Erdos #Innovation #TechTransparency #HackerNews #ngated -
Erdos – open-source, AI data science IDE
#HackerNews #Erdos #AI #open-source #data #science #IDE #technology #innovation
-
Ha, ha. Meine #Erdös-Zahl ist niedirger als die von #AngelaMerkel.
Das ist aber auch völlig egal, weil das nichts über Qualität aussagt. Die Erdös-Zahl ist so ein Witz unter Mathematikern, weil Erdös extrem produktiv war und mit sehr vielen anderen Mathematikern zusammen publiziert hat. Die Zahl sagt was über Ketten von Koautorenschaften aus: Mit Erdös direkt publiziert = 1, mit jemandem, der mit Erdös publiziert hat = 2 usw.
https://en.wikipedia.org/wiki/Erd%C5%91s_number
Für Physiker*innen oder Chemiker*innen ist diese Zahl also völlig irrelevant. Für Sprachwissenschaftler*innen auch. =:-)
Hier meine Zahl:
https://hpsg.hu-berlin.de/~stefan/erdoes.html
@tschfflr hat auch vier. Ihre Verbindung ist auch auf der Seite.
