Tecnología, Internet y juegos
10 meneos
51 clics
Este envío podría ser duplicada Asegúrate antes de menear

Sin intervención humana: una IA china resuelve un problema que llevaba diez años sin solución

La relación entre la inteligencia artificial y las matemáticas acaba de dar un salto que pocos anticipaban. Un equipo de investigadores chinos ha conseguido que un sistema autónomo resuelva una conjetura abierta desde 2014, sin que ningún ser humano tuviera que aportar razonamiento matemático durante el proceso. El resultado pone en cuestión la frontera entre lo que puede hacer una máquina y lo que hasta ahora se reservaba a las mentes más brillantes del álgebra.

| etiquetas: intervención , humana , ia , china , resuelve , problema , llevaba , diez
Falso.

Sin intervención humana no fué. Como mínimo le han puesto un prompt
La cuestión no es el tiempo que llevaba sin resolver, sino la dificultad del problema, los esfuerzos que se han puesto hasta la fecha en resolverlo y las implicaciones que tiene su resolución, es decir, la importancia del problema.

La respuesta ante esta pregunta aplicada a todos los problemas que la IA ha resuelto hasta ahora siempre es el misma; son problemas irrelevantes, que prácticamente nadie intenta resolver porque no tienen ninguna importancia ni ninguna aplicación mínimamente relevante.
#2 Si encontrar un algoritmo general para la multiplicación de matrices 4x4 en 48 pasos te parece irrelevante... arxiv.org/abs/2506.13131
#4 según se extrae de ese texto, ese nuevo método se ha descubierto a base de fuerza bruta, no de IA.
#5 Podrías explicar la diferencia?
#6 pues es una muy buena pregunta.

Se supone que las IAs con las que hay tanto hype últimamente, los LLMs, son "inteligentes", y que por ello son capaces de encontrar soluciones a problemas matemáticos que no se habían solucionado hasta ahora. Pero la realidad es que, aparte de que solo encuentran soluciones a problemas irrelevantes, por cada solución válida que encuentran a un problema que no tenía solución, están devolviendo miles o incluso cientos de miles de soluciones erróneas,…   » ver todo el comentario
#7 Desde ese punto de vista, cualquier problema moderno de optimización o demostración obtenida en un asistente de prueba por un humano es... ¿trivial?...
Hombre, si te quedas en el abstract sin comprender cómo el LLM diseña y guía la búsqueda es imposible que entiendas en qué diverge de lo que llamas "fuerza bruta" (y que no describe gran cosa en este contexto).

menéame