ciencia: comentarios [4134424]

#16 GPT 5.2 resuelve el problema matemático #728 de Erdős

eltoloco — Tue, 13 Jan 2026 11:23:36 +0000

#15 fe de erratas: quien lo ha resuelto son dos personas que se hacen llamar ThunderBeanage y AcerFur en Reddit. Aristotle es una plataforma de IA:

www.reddit.com/r/singularity/comments/1q7u78b/terence_taos_writeup_of_

me and AcerFur on X used GPT-5.2 to resolve Erdos Problem #728

Yo entiendo el hype de darle el logro a una o varias IAs, pero esto es absurdo, pues aunque se demostrase que la información la ha generado la IA en lugar de basarse en información previa, lo cual en este caso está como poco en duda.

Es como si a mi me dijesen en el trabajo que no me pagan porque es el ordenador el que hace las operaciones y no yo quien que soy el que las programa. O al camionero le dijesen que el que hace el trabajo es el camión y no él que lo conduce. O al científico le dijesen que el que merece el premio es el microscopio y no el por apuntarlo a las bacterias.

La IA es solo una herramienta como cualquier otra, y quien hace el trabajo y por lo tanto los descubrimientos son sus usuarios.

» autor: eltoloco

#15 GPT 5.2 resuelve el problema matemático #728 de Erdős

eltoloco — Tue, 13 Jan 2026 10:53:44 +0000

Según el reconocido matemático Terence Tao, GPT-5.2 resolvió de forma autónoma el problema #728 de Erdős

Esto es totalmente FALSO. Lo que dijo Terence Tao es literalmente "was solved more or less autonomously by AI ". Traducido "de forma más o menos autónoma", es decir, que de autónomo no tiene nada.

mathstodon.xyz/@tao/115855840223258103

Quien ha resuelto el problema matemático es una persona que hace llamar Aristotle, con ayuda de GPT, que no es lo mismo.

Además de que se han encontrado documentos con soluciones parciales en las que se ha basado GPT, por lo que incluso la parte aportada por GPT está bajo sospecha, como ha ocurrido muchas otras veces. Aquí hay una lista enormes de casos que aseguraban lo mismo y finalmente han sido descartados:

github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erdős-proble

No me extrañaría nada que todo esto esté orquestrado por detrás por el mismo Altman, quien evidentemente tiene fuertes intereses económicos en que este tipo de noticias salten a los medios de masas, y mucho dinero para pagarle a gente que se dedique a esto y promocionarlo.

Voto sensacionalista.

» autor: eltoloco

#14 GPT 5.2 resuelve el problema matemático #728 de Erdős

rojo_separatista — Sat, 10 Jan 2026 18:15:47 +0000

#13, incluso para rebuscar se necesita cierta inteligencia. Si yo le pido a una IA que me diga el nombre de una especie de rana del color del cabello de Donald Trump, aunque no cree nuevo conocimiento demuestra capacidad de razonamiento, no es una respuesta memorizada.

Esta noticia lo tendrá difícil para llegar a portada por que contraviene los dogmas de los negacionistas de la IA cuya forma de interpretar los hechos es análoga a los negacionistas del cambio climático o las vacunas, la evidencia empírica deja de ser relevante y siempre hay alguna excusa.

» autor: rojo_separatista

#13 GPT 5.2 resuelve el problema matemático #728 de Erdős

WarDog77 — Sat, 10 Jan 2026 18:08:00 +0000

#11 Los talibanes anti-IA son así...
Yo lo tengo claro. Si le pregunto algo a la IA y me da una respuesta que ha encontrado por ahí rebuscando pues evidentemente no ha "pensado" nada, si le hago la IA una pregunta que que está sin solución y me da una respuesta que tras verificarla se comprueba que es correcta pues ahí si diré que la IA "ha pensado" pues ha creado algo nuevo donde lo no había.

» autor: WarDog77

#12 GPT 5.2 resuelve el problema matemático #728 de Erdős

ronko — Sat, 10 Jan 2026 15:41:24 +0000

Antes de que alguien le haga la siguiente pregunta :

» autor: ronko

#11 GPT 5.2 resuelve el problema matemático #728 de Erdős

rojo_separatista — Sat, 10 Jan 2026 15:16:55 +0000

#5 para #_7, ponerse a discutir sobre el plan que han utilizado en una noticia en la que el mejor matemático del munda anuncia que herramientas de IA generativa han conseguido resolver de forma "prácticamente autónoma" un problema matemático de frontera, me parece el mejor ejemplo de quedarse mirando al dedo en lugar de a la luna.

» autor: rojo_separatista

#10 GPT 5.2 resuelve el problema matemático #728 de Erdős

rojo_separatista — Sat, 10 Jan 2026 15:10:38 +0000

#9, todos los logros desde la edad de piedra se hacen inspirándose con soluciones previas muchas de ellas fallidas.

» autor: rojo_separatista

#9 GPT 5.2 resuelve el problema matemático #728 de Erdős

Torrezzno — Sat, 10 Jan 2026 15:08:45 +0000

#8 "El logro generó debate por inspirarse en trabajos previos y resolver una variante menos compleja"

Esto es exactamente lo que pasó con el problema del millenio. Usó una solucion previa a una variante menos compleja. Aún asi el hecho de que haya resuelto un problema aunque sea recombinando trabajos previos tiene su mérito claro

» autor: Torrezzno

#8 GPT 5.2 resuelve el problema matemático #728 de Erdős

rojo_separatista — Sat, 10 Jan 2026 15:04:06 +0000

@Torrezzno, @chavi creo que esto os interesa.

» autor: rojo_separatista

#7 GPT 5.2 resuelve el problema matemático #728 de Erdős

tdgwho — Sat, 10 Jan 2026 14:55:13 +0000

#5 Entonces el articulo mete gpt 5.2 por vicio.

Lo que es seguro e que no ha usado el plan free ni el pro

» autor: tdgwho

#6 GPT 5.2 resuelve el problema matemático #728 de Erdős

tdgwho — Sat, 10 Jan 2026 14:54:34 +0000

#4 Yo es que ha sido leer "Tao" y acordarme de Gran Torino cuando Clint Eastwood le llamaba a uno "aton Tao" y me he quedado ahí.

Fuera bromas, no conocía a este señor, no estoy en el mundillo. Gracias por la info.

» autor: tdgwho

#5 GPT 5.2 resuelve el problema matemático #728 de Erdős

JungSpinoza — Sat, 10 Jan 2026 14:38:49 +0000

#1 #2 #1 #2 En el anuncio de Terence Tao en mastodon, parece que fue via prompting. y fue usando ChatGPT, Aristoteles AI y 4 participantes.

> the proof contained some minor errors in it, but the AI tool Aristotle was able to automatically repair these gaps and produce a Lean-verified proof.

mathstodon.xyz/@tao/115855840223258103

» autor: JungSpinoza

#4 GPT 5.2 resuelve el problema matemático #728 de Erdős

alafia — Sat, 10 Jan 2026 14:37:36 +0000

#1 el "matemático este" es Terence Tao, el mejor matemático del mundo y se dice de él que la persona con mayor IQ del mundo.

es.wikipedia.org/wiki/Terence_Tao

» autor: alafia

#3 GPT 5.2 resuelve el problema matemático #728 de Erdős

JungSpinoza — Sat, 10 Jan 2026 14:29:04 +0000

el anuncio de Terence Tao en mastodon

mathstodon.xyz/@tao/115855840223258103

» autor: JungSpinoza

#2 GPT 5.2 resuelve el problema matemático #728 de Erdős

jm22381 — Sat, 10 Jan 2026 14:22:35 +0000

#1 Lo corrijo del titular para ser más específico.

» autor: jm22381

#1 GPT 5.2 resuelve el problema matemático #728 de Erdős

tdgwho — Sat, 10 Jan 2026 14:20:12 +0000

No es lo mismo chatgpt 5.2 que gpt 5.2 dudo que haya sido el chat quien ha hecho esto, habrá sido el modo thinking high, via api, con system prompts adecuados... en general, el chat es bastante "idiota"

Además, no puede decir que lo hizo de forma "autonoma" porque requirió de la iniciativa del matemático este....

Que está guay? obvio, pero es un pelín sensacionalista.

» autor: tdgwho