Claude Opus 4.8 y Lean 4 verifican interseccion de poligonos

Verificación formal de algoritmos de geometría computacional mediante IA, Claude Opus 4.8 y Lean 4 para código seguro.

¿Que logro este proyecto con Claude Opus 4.8 y Lean 4?El desarrollador schildep publico en Hacker News el primer algoritmo de interseccion de poligonos formalmente verificado usando Lean 4, y lo logro en un solo intento con Claude Opus 4.8 de Anthropic. El proyecto, disponible en GitHub como codigo abierto, maneja casos complejos como multipoligonos, …

Leer más

Dost-Crowe: 4 claves de IA financiera para startups en 2026

CFOs debatiendo sobre IA financiera, automatización y gobernanza en el ecosistema startup, representando la transformación digital en 2026.

¿Qué está pasando con la IA financiera en España?El 4 de junio de 2026, la firma de servicios profesionales Crowe y la plataforma de automatización financiera Dost reunieron en el Club Alcatí a directores financieros y CFOs de empresas valencianas para abordar los retos reales de la digitalización en finanzas. No fue un evento más …

Leer más

Esh-Tech derriba 30 drones/min con láser portátil

Sistema láser portátil Dronelight de Esh-Tech derribando drones, innovación en defensa DeepTech.

¿Qué es Dronelight y cómo funciona?Esh-Tech, una startup con sede en Omer, Israel, ha desarrollado Dronelight, un sistema de intercepción por láser pulsado diseñado específicamente para contrarrestar enjambres de drones. A diferencia de los sistemas láser de onda continua tradicionales —que requieren mantener el haz sobre el blanco durante 15 segundos o más—, Dronelight utiliza …

Leer más

📡 El Daily Shot Startupero

Noticias del ecosistema startup en 2 minutos. Gratis, cada día hábil.