Tecnología
verificación automática
Relacionadas
LLM ×2agentes ×1Google ×1razonamiento ×1razonamiento formal ×1Lean ×1Axiom ×1University of Virginia ×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…
Impacto alto
Fiabilidad confirmado por varias fuentes
Relevancia 9/10
Google DeepMind
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