El oro histórico de la IA en la Olimpiada de Matemáticas nos prepara para algo muy grande: el fin de los problemas matemáticos sin solución
A los modelos de inteligencia artificial (IA) disponibles actualmente se les dan bien las matemáticas. De hecho, en octubre de 2024 Meta AI, la IA de Meta, consiguió generalizar la función de Lyapunov. El matemático ruso Aleksander Lyapunov propuso el concepto de la función que lleva su nombre en 1892. Su trabajo es una herramienta … Leer más