Un supersólido combina un flujo superfluido (con viscosidad cero) y un orden cristalino (una modulación periódica de la densidad que rompe la simetría de traslación). En marzo de 2025 se publicó en Nature la observación de un supersólido “de luz” en un condensado de excitones-polaritones en un sistema fuera del equilibrio (forzado y disipativo).

Según el reconocido matemático Terence Tao, GPT-5.2 resolvió de forma autónoma el problema #728 de Erdős, con verificación formal en Lean por Aristotle, marcando el primer caso documentado de IA que soluciona y valida un problema matemático abierto sin intervención humana directa. Hubo apoyo humano en presentación y ajustes. El logro generó debate por inspirarse en trabajos previos y resolver una variante menos compleja, pero muestra el potencial de IA y prueba formal para acelerar innovación científica y deep tech. Más: bit.ly/4aSX9nM