Tecnología
autoformalización
Sobre esta tecnología, IA para hoy ha analizado 1 noticia, procedentes de 1 medio distinto. En los últimos siete días han sido 1, frente a las 0 de la semana anterior. La fiabilidad media de esa cobertura es de 3,0 sobre 5, medida con las reglas de nuestro método. Las áreas de impacto que más se repiten son Ciencia. Aparece en 1 historia en seguimiento.
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
OpenAI ×1Anthropic ×1Lean ×1Physical Superintelligence ×1modelos de razonamiento ×1
Historias
Noticias
Physical Superintelligence resuelve con un modelo de Anthropic la conjetura de Aaronson-Ambainis en computación cuántica
La startup Physical Superintelligence (PSI) usó acceso anticipado a un modelo no publicado de Anthropic para resolver la conjetura Aaronson-Ambainis, un…
Por qué importaMuestra que los sistemas de IA empiezan a producir resultados matemáticos verificables en problemas abiertos, lo que puede acelerar la investigación…