Aprendiendo más sobre las capacidades matemáticas de Claude
Se informa que una versión no publicada del modelo Claude de Anthropic ha mejorado un límite inferior clave relacionado con la función zeta de Riemann, elevando la fracción demostrada de ceros que satisfacen la hipótesis de Riemann del 41.6% al 67.2% al recombinar resultados humanos recientes y formalizar la demostración en Lean. Los comentaristas debaten cuán sustancial es realmente este avance matemático, si refleja creatividad genuina o una búsqueda heurística extremadamente rápida, y cuánto intervino la guía humana más allá de simples indicaciones de “ánimo”. El hilo se amplía hacia preguntas sobre la antropomorfización de la IA, el potencial de los modelos para impulsar futuros avances en distintos campos y si las empresas mantendrán privados sus sistemas más potentes capaces de investigar.
Avance matemático y su contexto
- La discusión se centra en un modelo no publicado de Claude que mejora el límite inferior demostrado sobre los ceros de zeta en la línea crítica del 41.6% al 67.2%.
- Los comentaristas señalan que esto se apoya en un trabajo humano previo sustancial; un preprint de 2025 ya había alcanzado >66% bajo una suposición adicional, y el paso clave de Claude fue eliminar esa condición.
- Algunos ven esto como “más que notable”; otros argumentan que es un refinamiento numérico incremental más que una ruptura conceptual sobre la Hipótesis de Riemann en sí.
Fuerza bruta vs. intuición matemática
- Debate sobre si esto es “fuerza bruta” o exploración heurística.
- Muchos subrayan que aquí es imposible una búsqueda exhaustiva; en cambio, el modelo remezcló literatura existente, generó ideas y ejecutó muchos scripts/comprobaciones.
- Otros sostienen que la búsqueda a gran escala sigue dominando, solo que “comprimida en tiempo” en comparación con los humanos.
Antropomorfización y “ánimo”
- La descripción del artículo de un humano enviando sobre todo mensajes motivacionales (“cree en ti mismo”, “sigue adelante”) provoca fuertes reacciones.
- Los críticos consideran esto antropomorfizante y “de mal gusto”, argumentando que rebaja la experiencia humana.
- Los defensores dicen que es solo otra señal de dirección en lenguaje natural; no se cree que el modelo sea una persona, y el lenguaje es inherentemente antropomórfico.
- Varios señalan que los modelos a menudo “se rinden” demasiado rápido, y el ánimo parece empujarlos más allá del pesimismo aprendido a partir de los datos de entrenamiento.
Capacidades de la IA, creatividad y límites
- Algunos ven esto como evidencia de que nos estamos acercando o ya estamos en una “singularidad”, esperando que la IA aborde pronto grandes problemas abiertos e incluso mejore sus propios algoritmos.
- Otros replican que:
- RH es extremadamente difícil; este resultado no implica que una demostración completa esté cerca.
- Los modelos actualmente parecen confinados a remezclar dentro de la distribución, no a hacer realmente nueva matemática o literatura creativa.
- Las arquitecturas transformer enfrentan límites teóricos inferiores; las aceleraciones y los nuevos paradigmas no son triviales.
Verificación, publicación y atribución
- Se valora la formalización en Lean como protección contra “alucinaciones bien elaboradas”.
- Preocupa que los PDFs alojados por Anthropic y una autoría/atribución poco convencional desafíen las normas estándar de publicación matemática.
- Se reconoce que los matemáticos humanos de la empresa desempeñaron en la práctica el papel de revisores intensivos más que el de coautores.
Implicaciones más amplias y aspectos prácticos
- Se especula que los laboratorios punteros podrían retener sus modelos más fuertes para aprovechar ganancias económicas (p. ej., finanzas, medicina), equilibrado por presiones regulatorias y competitivas.
- Comentarios recurrentes sobre el coste, el uso de tokens y el papel de los sistemas multiagente.
- Varios usuarios informan victorias personales análogas usando Claude en problemas de matemáticas/CS, pero también señalan problemas como el exceso de confianza, la presión por “publicar” y la necesidad de una verificación externa rigurosa.