Noticias de ciencia y lo que la rodea
27 meneos
78 clics
GPT 5.2 resuelve el problema matemático #728 de Erdős

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

Según el reconocido matemático Terence Tao, GPT-5.2 resolvió de forma autónoma el problema #728 de Erdős, con verificación formal en Lean por Aristotle, marcando el primer caso documentado de IA que soluciona y valida un problema matemático abierto sin intervención humana directa. Hubo apoyo humano en presentación y ajustes. El logro generó debate por inspirarse en trabajos previos y resolver una variante menos compleja, pero muestra el potencial de IA y prueba formal para acelerar innovación científica y deep tech. Más: bit.ly/4aSX9nM

| etiquetas: ia , gpt 5.2 , resolver , problema , matemáticas , #728 , erdős
18 9 1 K 141
16 comentarios
18 9 1 K 141
Comentarios destacados:      
tdgwho #1 tdgwho *
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.
2 K 8
jm22381 #2 jm22381
#1 Lo corrijo del titular para ser más específico.
0 K 19
JungSpinoza #5 JungSpinoza
#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
4 K 61
rojo_separatista #11 rojo_separatista *
#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.
3 K 47
WarDog77 #13 WarDog77 *
#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.
0 K 12
rojo_separatista #14 rojo_separatista *
#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.
2 K 36
tdgwho #7 tdgwho
#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 xD
1 K -2
alafia #4 alafia
#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
7 K 86
tdgwho #6 tdgwho
#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.
3 K 13
JungSpinoza #3 JungSpinoza
el anuncio de Terence Tao en mastodon

mathstodon.xyz/@tao/115855840223258103
1 K 27
rojo_separatista #8 rojo_separatista *
@Torrezzno, @chavi creo que esto os interesa.
0 K 17
Torrezzno #9 Torrezzno
#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
1 K 32
rojo_separatista #10 rojo_separatista *
#9, todos los logros desde la edad de piedra se hacen inspirándose con soluciones previas muchas de ellas fallidas.
4 K 60
ronko #12 ronko
Antes de que alguien le haga la siguiente pregunta :  media
3 K 38
eltoloco #15 eltoloco *
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…   » ver todo el comentario
0 K 10
eltoloco #16 eltoloco *
#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…   » ver todo el comentario
0 K 10

menéame