#erdos — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #erdos, aggregated by home.social.
-
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
-
#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 ... -
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
