Tecnología
verificación automática
Sobre esta tecnología, IA para hoy ha analizado 2 noticias, procedentes de 2 medios distintos. No ha habido cobertura nueva en la última semana. La fiabilidad media de esa cobertura es de 4,0 sobre 5, medida con las reglas de nuestro método. Las áreas de impacto que más se repiten son Ciencia, Desarrollo, Productividad. Aparece en 2 historias en seguimiento.
Relacionadas
LLM ×2agentes ×1Google ×1razonamiento ×1Axiom ×1Lean ×1razonamiento formal ×1
Historias
Noticias
Gemini Deep Think resuelve problemas de investigación en matemática, física e informática
Google DeepMind ha presentado avances de Gemini Deep Think en investigación científica de nivel profesional. El sistema, que en julio de 2025 logró medalla de…
Por qué importaDemuestra que IA de razonamiento profundo puede actuar como colaborador científico autónomo en investigación de frontera, no solo en problemas…
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…