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
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.
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 !!!!
habría que darle una vuelta a las autorías con la llegada de los llms
A día de hoy todos los científicos usamos IA para… » ver todo el comentario
¿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.
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
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