Ir al contenido
IA para hoy

verificación formal

Noticias etiquetadas con «verificación formal»

7 noticias

Filtrar
Investigación

OpenAI publica 722 demostraciones matemáticas generadas por IA verificadas con Lean

OpenAI subió a GitHub 722 manuscritos de demostraciones matemáticas agrupados en 372 familias de teoremas, todos verificados formalmente con el asistente de…

Por qué importaEs el mayor corpus de demostraciones de investigación generadas por IA y verificadas formalmente, lo que sugiere que estos modelos pueden actuar como…

Impacto bajo Fiabilidad confirmado por varias fuentes Relevancia 8/10 WWWhat's new
Investigación

OpenAI publica 372 resultados matemáticos generados por IA y provoca advertencia de 25 medallistas Fields

OpenAI publicó en GitHub 372 resultados matemáticos generados por un modelo interno de frontera, con formalizaciones en Lean para verificación automática. Cada…

Por qué importaMarca un intento de desplazar la validación científica desde las revistas peer-reviewed hacia repositorios de código verificados formalmente…

Impacto bajo Fiabilidad confirmado por varias fuentes Relevancia 8/10 The Decoder
Investigación

Axiom Math verifica automáticamente el teorema 246 sobre números primos con IA

Axiom Math ha verificado automáticamente por primera vez la prueba del teorema 246, que establece la existencia de infinitos pares de números primos separados…

Por qué importaDemuestra que la IA puede abordar problemas matemáticos de frontera y formalizar pruebas complejas. Más importante aún, Axiom Math propone usar estas…

Impacto alto Fiabilidad varias fuentes Relevancia 8/10 IEEE Spectrum AI
Herramientas y productos

AWS añade verificación formal a Bedrock para garantizar cumplimiento normativo en IA

AWS ha integrado Automated Reasoning checks en Amazon Bedrock Guardrails, una técnica de verificación formal que valida matemáticamente las salidas de modelos…

Por qué importaEn sectores regulados (finanzas, seguros, healthcare), la validación manual de decisiones IA consume recursos y deja brechas de auditoría. Una…

Impacto alto Fiabilidad fuente primaria Relevancia 7/10 AWS Machine Learning Blog
Modelos y avances

Mistral lanza Small 4, modelo unificado de 119B con razonamiento y código

Mistral ha lanzado Mistral Small 4, un modelo de 119B parámetros con arquitectura Mixture-of-Experts (6B activos) bajo licencia Apache 2 que unifica…

Por qué importaLa unificación de capacidades en un solo modelo simplifica la integración y reduce la necesidad de orquestar múltiples modelos especializados, lo que…

Impacto alto Fiabilidad una fuente fiable Relevancia 8/10 Simon Willison
Investigación

Startup Axiom resuelve cuatro problemas matemáticos no solucionados con su IA AxiomProver

Axiom, una startup fundada por Ken Ono y Carina Hong, ha desarrollado AxiomProver, un sistema de IA que resuelve problemas matemáticos con pruebas…

Por qué importaEste avance demuestra capacidades de razonamiento y verificación formal en IA que van más allá de la generación de texto: la herramienta no solo…

Impacto alto Fiabilidad una fuente fiable Relevancia 8/10 Wired AI
Investigación

Google DeepMind propone tres métodos para identificar y eliminar errores en modelos de IA

Google DeepMind ha publicado un artículo de investigación describiendo tres enfoques para identificar y eliminar fallos en modelos de aprendizaje profundo…

Por qué importaLa robustez de los modelos de IA es crítica para despliegues en producción y aplicaciones de seguridad crítica. Los métodos propuestos permiten…

Impacto alto Fiabilidad fuente primaria Relevancia 7/10 Google DeepMind