Noticias de ciencia y lo que la rodea
13 meneos
127 clics

El problema #1196 de Erdös llevaba 60 años sin resolverse. Un joven lo ha conseguido en 80 minutos con GPT-5.4

Tiene 23 años, se llama Liam Price y no tiene formación matemática avanzada. Aun así hace unos días abrió la web de problemas de Erdös, cogió uno al azar y lo pegó en ChatGPT. No sabía la historia del problema ni quién lo había intentado antes. Lo que recibió de vuelta parecía una solución correcta, y tras consultarlo con un amigo que estaba estudiando matemáticas, ambos se dieron cuenta de que podían tener entre manos algo especial.

| etiquetas: matemáticas , ia , joven
12 1 0 K 26
12 1 0 K 26
Si la historia es cierta, no lo ha conseguido "un joven en 80 minutos", lo ha conseguido ChatGPT en 80 minutos.

Una cosa es que entiendas el problema, tengas alguna idea, guíes al LLM en el proceso y llegues a una solución correcta, y otra es que cojas algo que ni entiendes, lo metas en un LLM, y copies el resultado.
#1 Si la historia es cierta, no lo ha conseguido "un joven en 80 minutos", lo ha conseguido ChatGPT en 80 minutos.

Y como es que tardó tanto?

Le dijeron "resuelve el problema de Erdos, anda", esperaron 80 minutos y recogieron la solución o algo?

Que es Xataka, hombre !!!!
#1 entonces tampoco lo ha conseguido Chatgpt sin más, existe intervención humana. O por lo menos colaboración.

habría que darle una vuelta a las autorías con la llegada de los llms
#2 Sí, existe intervención humana, pero obviamente la contribución de la persona en este caso es nula, más allá de haber abierto una lista de problemas random y haber hecho copia-pega de uno en chatgpt. Ni siquiera ha revisado él mismo la solución, se la ha llevado a un amigo para que la revise. Su contribución (científica) es inexistente. Nadie le va a invitar a un congreso ni va a escuchar su fascinante charla sobre cómo ha usado chatgpt.

A día de hoy todos los científicos usamos IA para…   » ver todo el comentario
Una pena de titular, es articulo es bastante interesante. Al empezar el texto, la duda que me saltó fué:
¿Como demonios consiguió que el monstruo Terence TAO confirmase la solución?.

Luego se dice que Tao lleva un repositorio con soluciones Erdos realizadas por IA. Si el esta trabajando con eso, pues hay futuro, me gustó su explicación sobre el éxito de la máquina, las LLM no tenía los prejuicios de los matemáticos e intentó herramientas matemáticas alternativas para conseguirlo.

Aunque hubiera sido más honesto un titular diciendo una LLM da una vía para solucionar un problema erdos pero aún necesitó varios matemáticos para formalizarla.
Quisiera saltar por aquí antes de que aparezcan los alucinados habituales reclamando que esto es la prueba de que los LLM razonan.

Un LLM no tiene ninguna capacidad de razonar, por lo que, obligatoriamente, si el LLM ha llegado a una solución es a través de otros caminos.

Puesto que un LLM solamente puede usar las respuestas previamente memorizadas se deduce que ha ido usando estas respuestas paso a paso hasta lograr dar con algo. Pero los métodos de resolución existían antes del…   » ver todo el comentario
De la propia noticia

El logro es real, pero con matices. Litchman elogió la solución propuesta por GPT-5.4, pero hay un detalle que se ha omitido en muchos comentarios sobre este suceso: la salida en bruto de ChatGPT era, en palabras de este matemático, "bastante pobre". Esa salida hizo necesaria que varios expertos la interpretaran, la detallaran y extrajeran de ella la idea que subyacía y permitía solucionar la conjetura. Price no sabía que tenía la solución hasta que su

…   » ver todo el comentario
La descubridora más importante de la historia de la humanidad es la casualidad.

menéame