Would Erdős hate that mathematicians are using AI/LLM's as assistants to find new proofs? I'm not sure sure! #math #ai #erdos

youtube.com/shorts/0SXdv...

¿Cómo GPT-5.2 logró resolver el problema #728 de Erdős? GPT-5.2 logra resolver el problema #728 de Erdős y valida la prueba con Lean, un hito que abre debate sobre IA, matemáticas y verificación formal. En los últimos días, una pieza de matemáticas “de ver...

¿Cómo GPT-5.2 logró resolver el problema #728 de Erdős? #GPT52 #Erdos #Matematicas #InteligenciaArtificial #Ciencia #Tecnologia #IA #Investigacion #DeepTech #VerificacionFormal #Lean #10deenero #felizsabado donporque.com/gpt-5-2-prob...

Terence Tao (@tao@mathstodon.xyz) Recently, the application of AI tools to Erdos problems passed a milestone: an Erdos problem (#728 https://www.erdosproblems.com/728) was solved more or less autonomously by AI (after some feedback from an initial attempt), in the spirit of the problem (as reconstructed by the Erdos problem website community), with the result (to the best of our knowledge) not replicated in existing literature (although similar results proven by similar methods were located). This is a demonstration of the genuine increase in capability of these tools in recent months, and is largely consistent with other recent demonstrations of AI using existing methods to resolve Erdos problems, although in most previous cases a solution to these problems was later located in the literature, as discussed in https://mathstodon.xyz/deck/@tao/115788262274999408 . This particular case was unusual in that the problem as stated by Erdos was misformulated, with a reconstruction of the problem in the intended spirit only obtained in the last few months, which helps explain the lack of prior literature on the problem. However, I would like to talk here about another aspect of the story which I find more interesting than the solution itself, which is the emerging AI-powered capability to rapidly write and rewrite expositions of the solution. (1/5)

So there's a #Mastodon instance for people that are into #math called mathtodon… and that instance allows users to use #LaTeX.

The #Fediverse is amazing on so many levels.
Ah, and also you might read about #Erdos problem 728: 😉

https://mathstodon.xyz/@tao/115855840223258103

The maximal length of the Erdős–Herzog–Piranian lemniscate in high degree I’ve just uploaded to the arXiv my preprint The maximal length of the Erdős–Herzog–Piranian lemniscate in high degree. This paper resolves (in the asymptotic regime) an old question about the polynomial lemniscates attached to monic polynomials of a given degree , and specifically the question of bounding the arclength of such lemniscates. For instance, when […]

The story of Erdős problem #1026 Problem 1026 on the Erdős problem web site recently got solved through an interesting combination of existing literature, online collaboration, and AI tools. The purpose of this blog post is to try to tell the story of this collaboration, and also to supply a complete proof. The original problem of Erdős, posed in 1975, is […]

Formalization of Erdős problems This is a guest post by Boris Alexeev. Now over to Boris.] I’m here to tell you about various exciting developments centering on Erdős problems, especially involving the formalization of old and new mathematics using artificial intelligence. Background As is … [Continue reading →

Original post on podcasts.social

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 […]

Growth rates of sequences governed by the squarefree properties of its translates Wouter van Doorn and I have uploaded to the arXiv my paper “Growth rates of sequences governed by the squarefree properties of its translates“. In this paper we answer a number of questions of Erdős} (Problem 1102 and Problem 1103 on the Erdős problem web site) regarding how quickly a sequence of increasing natural numbers […]

Louvre security should have read the book.

#Erdos @cardcolm.bsky.social

Estamos viviendo un momento REVOLUCIONARIO en la historia de las Matemáticas. Acaban de publicar la solución a un problema mítico de Erdos junto su correspondiente prueba formalizada. Mirad la lista de autores (!!!!) @pmarsupia Ver post completo: Estamos viviendo un momento REVOLUCIONARIO en la historia de las Matemáticas.

Estamos viviendo un momento REVOLUCIONARIO en la historia de las Matemáticas. Acaban de publicar la solución a un problema mítico de Erdos junto su correspondiente prueba formalizada. Mirad la lista de autores (!!!!) @pmarsupia Ver post completo: Estamos viviendo un momento REVOLUCIONARIO en la historia de las Matemáticas.

#chatgpt #erdos #mathematics llms have not solved unsolved math problems, but they do read a lot of math papers. TikTok video by Zigurd Mednieks

#chatgpt #erdos #mathematics llms have not solved unsolved math problems, but they do read a lot of math papers. www.tiktok.com/t/ZTMmAYbxG/

Erdős Helia - Honkai Impact 3rd
Drawn by Ooo挽歌 (Ooo Banka)

#waifu #animewaifu #animegirl #animeart #mangaart #mihoyo #hoyoverse #game #gacha #honkaiimpact3rd #erdos #helia #butt

X of the creator: x.com/a449230563

Los animales no tu son comida, son tus amigos 💚

Respeta sus vidas 🙏

👉 Ayuda gratuita para hacerte vegan: bit.ly/Vegano22

#erdos #paulmccartney #tocino #amigosnocomida #friendsnotfood

With an Erdos number of 4, we are a dying breed. Matt Damon is a poser. #erdos

My #Erdos number is 3 via Frank Harary and Norman Draper

New #orblog on @barabasi's talk on #Network #Science @UMassAmherst + #Erdos + Bacon numbers http://bit.ly/1Plbqty https://t.co/cZZJDL3U3q