OpenAI refuta Conjetura Connes: error en Lean 4

Investigador analizando errores en la verificación formal de IA, representando el desafío de la fiabilidad en modelos matemáticos como Lean 4.

¿Por qué una prueba matemática asistida por IA puede ser inválida? Un paper publicado en agosto de 2026 en PhilArchive demuestra que una formalización asistida por OpenAI que pretendía refutar la Conjetura de Rigidez de Connes es inválida. El error fundamental: los grupos especificados no cumplen con las hipótesis necesarias (ICC y propiedad (T)), lo …

Leer más

Meta invierte $145B en IA: ¿fracaso o estrategia?

Meta invierte masivamente en infraestructura de IA, analizando la estrategia de Zuckerberg y su impacto en el futuro tecnológico.

¿Realmente Meta no tiene resultados en IA? Mark Zuckerberg comprometió entre $130.000 y $145.000 millones en gastos de capital para 2026, una cifra que duplica la inversión del año anterior y representa una de las apuestas más agresivas en inteligencia artificial dentro de Big Tech. Esta decisión divide a inversores: mientras algunos ven una estrategia …

Leer más

USTAAR Miami: US$100K para startups latinoamericanas en 2026

Startup latinoamericana expandiéndose al mercado estadounidense a través de la aceleradora USTAAR en Miami.

USTAAR de la Universidad de Miami: US$500.000 en funding para startups estudiantiles en 2026 Cinco startups estudiantiles recibieron US$100.000 cada una en abril de 2026 como parte del programa USTAAR de la Universidad de Miami, sumando US$500.000 en inversión total en una sola ronda de pitch competition. Para founders latinoamericanos que buscan entrar al mercado …

Leer más

Snapchat elimina videos 100% IA de Spotlight en 2026

Cambios en Snapchat Spotlight sobre contenido IA y estrategias de contenido para startups ante nuevos algoritmos.

¿Qué anunció Snapchat exactamente sobre contenido IA? El viernes 24 de julio de 2026, Snapchat comunicó un cambio fundamental en su algoritmo de Spotlight: los videos totalmente generados por inteligencia artificial dejarán de ser elegibles para recomendación en la plataforma. La medida, confirmada públicamente el 31 de julio de 2026, busca priorizar contenido creado por …

Leer más

JetZero: avión 50% más eficiente desafía a Airbus y Boeing en 2027

Avión de ala integrada de JetZero revolucionando la aviación sostenible con tecnología deeptech.

Un avión que consume 50% menos combustible quiere desafiar el duopolio de Airbus y Boeing JetZero, la startup aeroespacial con sede en el desierto de Mojave (California), está construyendo un prototipo de avión con diseño de ala integrada que promete reducir el consumo de combustible entre 30% y 50% respecto a los jets convencionales. Con …

Leer más

Google retira IA de Earth en 24h: lección para founders

Lecciones para founders sobre ética y seguridad al integrar IA en productos tecnológicos tras el caso de Google Earth.

¿Qué pasó con la función de IA de Google Earth? Google retiró en menos de 24 horas una función de generación de imágenes con inteligencia artificial integrada en Google Earth tras críticas masivas por su potencial para crear deepfakes geoespaciales. La herramienta, lanzada el 30 de julio de 2026 y desactivada el 31 de julio, …

Leer más

ReElement recibe US$25M del Pentágono para minerales de defensa

Inversión del Pentágono en ReElement Technologies para el procesamiento de minerales críticos y economía circular en deep tech.

US$25 millones del Pentágono para ReElement Technologies: la startup que transforma residuos en minerales estratégicos El 13 de julio de 2026, el Departamento de Defensa de Estados Unidos anunció una inversión de US$25 millones en ReElement Technologies, una startup con sede en Indiana que convierte residuos mineros e imanes reciclados en tierras raras de alta …

Leer más

Startups con VC: 54% más fraude según estudio NBER 2026

Riesgo de fraude en startups respaldadas por venture capital y la importancia de la gobernanza empresarial.

¿Por qué las startups con venture capital tienen 54% más riesgo de fraude? Un estudio del National Bureau of Economic Research (NBER) publicado en 2026 revela que las startups respaldadas por venture capital tienen 54% más probabilidad de enfrentar cargos por fraude que empresas comparables sin financiamiento VC. El working paper titulado «Venture Fraud», firmado …

Leer más

Cornell chip microwave brain: cifrado satelital con 200 mW

Chip de IA microwave brain de Cornell para comunicaciones satelitales seguras y eficientes en energía.

Un chip de Cornell consume menos de 200 mW y codifica mensajes directamente en señales de radio El microwave brain de Cornell University acaba de dar un salto cualitativo: ahora utiliza microwave token embeddings para codificar información directamente en señales de microondas, logrando comunicaciones más rápidas y seguras para satélites y drones con un consumo …

Leer más

📡 El Daily Shot Startupero

Noticias del ecosistema startup en 2 minutos. Gratis, todos los días.