😂 "Los LLMs no son IA" Esto es simplemente mover los postes. La IA está resolviendo problemas en matemáticas que los humanos no han podido resolver durante décadas. Otros puntos, dignos de discusión. Problema de Erdős #1196: En abril de 2026, GPT-5.4 Pro resolvió esta conjetura de teoría de números en aproximadamente 80 minutos utilizando la función de von Mangoldt, una estrategia previamente no considerada por los humanos. Conjetura de Jacobian: En julio de 2026, el matemático Levant Alpöge utilizó Claude Fable 5 de Anthropic para encontrar un contraejemplo a este problema de 87 años, marcando el problema más complejo resuelto por IA hasta la fecha. Conjetura de Dinitz-Garg-Goemans: También en julio de 2026, ChatGPT 5.6 Pro refutó esta conjetura de teoría de grafos de 30 años utilizando solo cuatro indicaciones simples.