Se me ha escapado una lágrima con este vídeo de la extenista Nadja Manjon, donde conversa con su ‘yo’ de hace 12 años y le cuenta que no ha ganado Wimbledon y que nunca llegó a todo lo que había soñado.
“Te darás cuenta que sirves para mucho más que para ser tenista” 😢
Cuatro estudiantes aplican la física cuántica y ponen en jaque las reglas de la partida clásica de mus: "Es abrir la caja de Pandora" https://t.co/SfFlUiv6b0
El Pedro Sánchez del pasado:
“Todo aquel compañero que tenga que comparecer en un juicio, ante un tribunal, tendrá que dimitir. El PSOE está por encima de eso”.
Hoy se la pela que su mujer vaya a ir a juicio por cuatro delitos.
Resumen del Lunes Santo:
- Policía Nacional y Local, boicotean Sevilla.
- Viva el Polígono San Pablo.
- Más fuego.
- AM Redención no tiene pellizco, ni na.
- Incienso de Santa Marta.
- Vera Cruz.
- Mitin anual de Las Aguas.
- Cuadrillon de Alfonso Morillo, sí otra vez.
Microsoft Defender for Office 365
Part 1 Introduction: Beyond The Basics https://t.co/72lfsPDOuQ
Part 2 Deployment & Configuration Guide https://t.co/a7XAeETv6h
Part 3 Email Authentication Deep Dive https://t.co/Dawgro79CF
Part 4: Anti-Spam & Anti-Malware https://t.co/BhvxGrfI7C
El código de Derecho de Ciberseguridad Español tiene 1372 páginas.
No es que sean todas regulaciones específicas es por la cantidad de áreas en las que interviene la Ciberseguridad.
Cuantas páginas tiene el Código de Derecho de la Ciberseguridad de tu país? No hay o peor, solo ¿entienden como ciberseguridad sólo la tipificación de delitos? 🙄
https://t.co/VeHEQpWq2L
🔴 ¡HITO de VERIFICACIÓN EN MATEMÁTICAS!
El equipo de Math Inc. cuyo objetivo es "solucionar las matemáticas" con IA, han anunciado que han completado la autoformalización de dos teoremas asociados al trabajo por la que la matemática Maryna Viazovska recibió la medalla Fields: empacado óptimo de esferas en 8 y 24 dimensiones.
Aquí formalizar los teoremas no significa que la IA los haya resuelto per se, sino que se ha encargado de generar automáticamente una prueba formal.
Originalmente este era un proyecto de formalización que se inició en 2024 y que conlleva un trabajo arduo, lento y artesanal para ir demostrando paso a paso que los teoremas se cumplen usando Lean como lenguaje.
Desde Noviembre 2025 el equipo de Math. Inc se involucró en el proyecto y en sólo 5 días Gauss terminó de verificar el teorema para 8 dimensiones (algo que hubiera llevado 6 meses de trabajo), y posteriormente en 2 semanas se encargó de autoformalizar el teorema para 24 dimensiones, usando sólo el paper como input.
Es decir, usando Gauss en 3 semanas se ha realizado un trabajo que normalmente hubiera llevado años!!
En el proceso de formalización la IA también ha depurado y completado pasos intermedios, sellando grietas de la prueba original. Automáticamente!
El impacto de este hito es que se está demostrando que la IA sí puede usarse para autoformalización a escalas no vistas previamente. Esto trae un cambio de paradigma en las matemáticas donde las máquinas van a ayudar a comprobar, verificar, indexar e incluso reutilizar todo este conocimiento.
Hasta hace nada formalizar era carísimo en tiempo humano, pero si el coste baja radicalmente esto podría hacer posible la existencia de un "internet de teoremas" donde el conocimiento ya no sea una colección de papers con pruebas escritas sino un grafo de conocimiento compilado donde incluso se pueda componer nuevos resultados automáticamente (algo ideal incluso para que futuras IAs trabajen en buscar nuevo conocimiento).
La IA continúa avanzando con pie firme a la automatización de la búsqueda de conocimiento 🫡