La IA convierte los teoremas en algo barato y amenaza con devolver las matemáticas a la era del secreto
How do we prevent mathemathics from devolving into the Medieval Era of secrecy?
Las grandes empresas de IA pueden gastar millones en cómputo para resolver problemas famosos y quedarse con el crédito, lo que empuja a los matemáticos a ocultar sus avances. Terence Tao advierte que esto podría revertir siglos de ciencia abierta. El autor propone exigir que solo los humanos reciban crédito y que se publique la metodología completa, incluidos los prompts y la configuración de los agentes.
El uso indiscriminado de potentes herramientas de extracción de soluciones puede lograr el objetivo inmediato de resolver los problemas en cuestión, pero a costa de sostener el ecosistema para la próxima ola de progreso, o de comprender el progreso ya obtenido.