5 artículos verificados sobre Matemáticas, productos y movimientos del sector.
Anthropic publicó en abierto, bajo Apache 2.0, una prueba completa verificada por el núcleo de Lean 4 del Último Teorema de Fermat, con 60.475 módulos y tres verificaciones independientes.
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%.
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. Una localización breve de los hechos verificados y la señal industrial de fondo.
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.