Una parte de la comunidad matemática está en pie de guerra contra OpenAI
Algunos matemáticos están indignados. Otros están preocupados. Y muchos de ellos están fascinados. Todos tienen motivos de peso para sentirse así. La irrupción de los modelos de inteligencia artificial (IA) de frontera en el ámbito de la investigación en matemáticas ha desencadenado una catarsis que no es del todo fácil entender.
Durante las últimas semanas OpenAI ha protagonizado varios de los grandes hitos de esta década en el terreno de las matemáticas. Y ayer mismo publicó en X un tuit en el que anticipa que está preparando la publicación de más resultados matemáticos producidos por un modelo de frontera interno.
La comunidad matemática más crítica está horrorizada
"OpenAI, que actualmente se defiende en demandas por acusaciones de plagio ilegal, infracción de derechos de autor y dilución de marca, publicó un repositorio de manuscritos que supuestamente contienen soluciones a varios problemas destacados de las matemáticas. Los matemáticos no pidieron que se hiciera este trabajo ... OpenAI ha demostrado un desprecio total por las normas de la investigación científica, normas que garantizan que las matemáticas sigan siendo fiables, se investiguen de forma ética y sirvan al interés público".
Este texto es un extracto del comunicado emitido ayer por la Asociación de Matemáticas Humanas como respuesta al lanzamiento de resultados matemáticos de OpenAI del 6 de octubre. Su tono es muy crítico y llega incluso más lejos de lo que cabría esperar:
Es evidente que los ánimos están muy caldeados. Como acabamos de ver, a algunos matemáticos no les hace ninguna gracia que un laboratorio de IA publique de golpe un aluvión de resultados sin someterse a las normas de investigación mayoritariamente aceptadas. En su artículo del 6 de octubre, OpenAI expresa su visión acerca de este asunto:
Hay otro problema de fondo
En la comunidad científica existe un consenso casi unánime que defiende que Terence Tao, que tiene la doble nacionalidad australiana y estadounidense, es el auténtico 'Mozart de las matemáticas'. Su prestigio se lo ha ganado a pulso. Ganó la Medalla Fields, que suele ser considerada el Nobel de las matemáticas, en 2006, cuando tenía 31 años. Y se hizo con ella por sus contribuciones en tres áreas fundamentales: la teoría de números, las ecuaciones en derivadas parciales y el análisis armónico.
Tao no cree que la IA acabe sustituyendo a los investigadores; sostiene que, en realidad, es una herramienta muy valiosa que permite a los matemáticos dejar atrás la investigación individual y colaborar en proyectos mucho más grandes y ambiciosos. Y predica con el ejemplo. De hecho, ha introducido Lean en su flujo de trabajo diario.
Esta herramienta es un asistente de demostraciones y un lenguaje de programación diseñado para verificar los razonamientos matemáticos y comprobar que son totalmente correctos. Tao es actualmente uno de los mayores impulsores de Lean dentro de la comunidad científica.
En la coyuntura actual no es razonable acusar a Tao de ser un matemático contrario al uso de la IA. Pese a todo, en su artículo 'Las matemáticas en la era de la IA' ha puesto sobre la mesa con mucha lucidez algunos de los problemas derivados del uso de esta tecnología en el ámbito de la investigación en matemáticas. Una de sus preocupaciones se ciñe a las matemáticas que nos estamos perdiendo al ceder la investigación a un modelo de IA:
Además, Tao considera que aunque un modelo de IA produzca demostraciones correctas y comprensibles, esto no significa que "haya resuelto las matemáticas", como sostienen algunos partidarios de la IA. Según este investigador, las matemáticas no consisten únicamente en resolver problemas, sino también en desarrollar conceptos y teorías, formular nuevas preguntas, unificar áreas diferentes, educar a nuevas generaciones y construir conocimiento acumulativo.
Imagen RF._.studio _
En este blog Estos dos problemas han desconcertado a los matemáticos durante décadas. Un genio los ha resuelto de un plumazo
No hay comentarios.: