Tecnología
verificación formal
Evolución en 16 semanas
El momentum semanal se estima con la misma fórmula que el momentum actual: volumen, aceleración respecto a la semana anterior, diversidad de fuentes e impacto.
Relacionadas
LLM ×2OpenAI ×1Google DeepMind ×1AWS ×1agentes IA ×1Coinbase ×1agentes de IA ×1blockchain ×1razonamiento matemático ×1deep learning ×1
Historias
Noticias
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…
Solv Labs construye pagos de agentes verificables y auditables en AWS Bedrock
Solv Labs ha implementado un flujo de trabajo de pagos de agentes IA en Amazon Bedrock AgentCore payments con gobernanza en dos capas: el motor de políticas…
Por qué importaResuelve un desafío crítico en empresas reguladas: cuando un agente autónomo mueve dinero real, la capacidad de demostrar a auditores, contrapartes y…
OpenAI presenta intentos de prueba en matemática avanzada con modelos de razonamiento investigativo
OpenAI ha compartido los intentos de prueba de su modelo de IA en el desafío First Proof, una competencia de matemática de nivel experto. La iniciativa busca…
Por qué importaEl razonamiento matemático avanzado es un indicador clave de las capacidades cognitivas de los sistemas de IA. Los progresos en este dominio sugieren…
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…