Mundo matematico
8 meneos
68 clics
Sobre la resolución de problemas de Erdős usando inteligencia artificial generativa

Sobre la resolución de problemas de Erdős usando inteligencia artificial generativa

Cada día se publican nuevas soluciones obtenidas con ayuda de alguna IA. Por ello, mucha gente tiene la falsa sensación de que todos los problemas de Erdős serán resueltos con IA en los próximos meses. De hecho, ya se ha publicado en arXiv la que se afirma que es la primera resolución de un problema de Erdős generada de forma íntegra con IA, sin ninguna intervención humana, la resolución del problema #728. La demostración ha sido obtenida por GPT-5.2 Pro en lenguaje matemático humano, luego se ha usado Aristotle para transformarla en una demos

| etiquetas: ia , problemas de erdős , resolución
7 1 0 K 124
7 1 0 K 124
  1. Resumen del artículo; un reloj roto da la hora dos veces bien al día.

    No es que ninguna IA haya descubierto nada, lo que ocurre es que hay miles de aficionados pidiéndole insistentemente a la IA posibles soluciones para distintos problemas, los cuales ni entienden, y comprobándolas con otra IA que simplemente te dice si la solución es matemáticamente correcta (Pero no si aplica al problema que se quiere resolver), y a base de probar un millón de "soluciones" plausibles, al final ChatGPT ha dado con una correcta.

    Esta es la gran "inteligencia" de los LLMs. Tan inteligente como usar fuerza bruta, o menos, porque se gastan muchísimos más recursos. :shit: :clap:
  2. #2, te crees que los matemáticos no construyen sus demostraciones a base de prueba y error. Una tasa del 1-2% es infinitamente superior al de la tuya, la mía y de la inmensísima mayoría de seres humanos que es del 0%.
  3. #3 Una tasa del 1-2% para problemas totalmente irrelevantes que no se han resuelto antes (O si, pero ni se sabia de lo irrelevantes que son) por la única razón de que a nadie le importan:

    la gran mayoría (de problemas) son de dificultad mínima. Estos últimos no han sido resueltos porque o bien carecen de interés y ningún matemático se ha puesto a hacerlo, o bien alguien los ha resuelto sin saber que estaba resolviendo un problema de Erdős y la demostración está oculta en la literatura científica. ... La mayoría tienen poco interés, o incluso carecen de interés. De hecho, la mayoría de los problemas resueltos con IA o con ayuda de la IA carecen de interés; por ello, estos resultados no serán publicados en ninguna revista científica.

    Vamos, que así no se va a resolver ya no un problema del milenio, sino directamente ningún problema con un mínimo de dificultad y por lo tanto interés
  4. #4, hasta hace poco un LLM no podía generar nada nuevo aunque fuese la cosa más trillada del mundo, ahora el problema es que los problemas son muy fáciles de resolver, tan fáciles que mucha gente está utilizando LLM's para resolverlos en lugar de resolverlos ella misma a pesar de estar trillados. Ahora, hasta que no resuelva un problema del milenio, la IA seguirá siendo una patata y cuando lo haga ya nos inventaremos algo sobre la marcha. Es lo de siempre, seguir moviendo la portería.

menéame