La inteligencia artificial (IA) ha brillado en las matemáticas, con una medalla de oro en la Olimpiada Internacional de la disciplina en julio, pero no sólo está teniendo efectos positivos.
También empezó a contaminar algunos foros especializados, revitalizando una vieja práctica: anuncios de demostraciones de problemas famosos, como la hipótesis de Riemann (vinculada a la distribución de los números primos) o el problema llamado “P = NP” (vinculado a la complejidad de la resolución de problemas), dos problemas valorados en 1 millón de dólares (850.000 euros) desde 2000 por el Instituto de Matemáticas Clay. Pero también podríamos citar el caso de la conjetura de Goldbach o la de Siracusa, también llamada Collatz (sobre las propiedades de los números enteros).
Todos los matemáticos profesionales han recibido, en un momento u otro, este tipo de “pruebas” de aficionados. “¡Pero ahora es casi uno por semana!”lamentó Patrick Massot, profesor de la Universidad Paris-Saclay, durante una conferencia dedicada a la relación entre inteligencia artificial y matemáticas, celebrada el 18 de noviembre en el Instituto Henri-Poincaré. Esta “papilla” (traducción de la expresión dedicada pendiente de la IA) Hacer “perder el tiempo”añadió. Hay que decir que el foro que frecuenta atrae especialmente a aficionados en busca de fama. Está dedicado a Lean, un software llamado “asistente de prueba”, que también es un lenguaje formal, que permite certificar secuencias lógicas. Por lo tanto, las IA, durante su entrenamiento, también han aprendido a hablar “Lean” y pueden engañar proporcionando textos que parecen correctos.
Te queda el 56,99% de este artículo por leer. El resto está reservado para suscriptores.
About The Author
