Claude sube un límite zeta al 67%
Anthropic afirma que una versión de investigación inédita de Claude elevó un límite inferior ligado a ceros de la zeta de Riemann del 41,6% al 67,2%.
Noticias y análisis de matemáticas
4 artículos verificados sobre matemáticas, productos y movimientos del sector.
OpenAI hace que Astra escriba diez pruebas
OpenAI presentó Astra con diez resultados en matemáticas y ciencias de la computación teórica, junto con un paper de 249 páginas, certificados Lean y recorridos de razonamiento.
GPT-5.6 presenta una prueba de teoría de grafos
GPT-5.6 presenta una prueba de teoría de grafos. Una localización breve de los hechos verificados y la señal industrial de fondo.
DeepSeek lanza el modelo de demostración matemática Prover-V2
DeepSeek ha lanzado un modelo especializado llamado Prover-V2 en el ámbito de la demostración de teoremas matemáticos, con el objetivo de utilizar IA para probar automáticamente teoremas matemáticos en el sistema de verificación formal Lean 4.