Leis retweeted
ESTO ES HISTORIA
No sé si os hacéis una idea de lo que significa esto. Me tiemblan las manos...
¿Estamos viendo el primer indicio de ASI (superinteligencia artificial) emergente? Los primeros esbozos de una inteligencia artificial superior a la de cualquier humano.
Navier–Stokes, na' más y na' menos... RESUELTO POR IA! Si se confirma es un hito histórico. Sería el segundo Problema del Milenio en resolverse. El primero fue la conjetura de Poincaré, resuelta por Grigori Perelman en sus trabajos en 2003.
Las implicaciones de esto me hacen pensar que ya no se trata solo de estar a las puertas de la AGI (posiblemente ya lo estemos), sino de que podríamos darnos de bruces con una explosión exponencial de inteligencia.
Un punto de singularidad... Directos a la ASI!
Según OpenAI, unos 10.000 agentes de IA coordinados llegaron a la solución en unas 88 horas, más otras 17 para la formalización y verificación en Lean.
Qué locura. Tan solo 100 horas para encontrar una solución a un problema que llevaba unos 90 años sin resolverse! ¿Qué será lo siguiente?
DIOS SANTO.
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
Leis retweeted
🚨 Officiel ! La FIFA a désigné le Français 🇫🇷 Jeannot Enfantin comme arbitre de la demi-finale Angleterre 🏴 - Argentine 🇦🇷.
Il s'agit de son premier match en tant qu'arbitre professionnel.
Leis retweeted
⚽️ BUUUUUUUUUUTT DE DE KETELAEREEEEEE !!! 🇧🇪
LES BELGES ÉGALISEEEEENT !!!!
L'ESPAGNE ENCAISSE LE PREMIER BUT DE SON MONDIAL !!!
ESPAGNE 🇪🇸 1-1 🇧🇪 BELGIQUE
Leis retweeted
🚨 RUDI GARCIA : « ON A MONTRÉ QUE LA BELGIQUE 🇧🇪 ÉTAIT UN GRAND PAYS DE FOOTBALL. »
🎙️ @beinsports_FR
Leis retweeted
L’aura d’avoir ton adversaire qui triche pour essayer de t’éliminer tellement il a peur
Leis retweeted
RT POUR EFFRAYER UN SÉNÉGALAIS nitter.gq/KrylSpiritual/status/2…
Leis retweeted
🚨🚨 LA STAT DE ZINZIN :
LA BELGIQUE 🇧🇪 DEVIENT LA PREMIÈRE NATION DE L’HISTOIRE EN CDM À ÉVITER UNE DÉFAITE EN ÉTANT MENÉ 2-0 À LA 85EME MINUTE 😱😱
(@lequipe)
Leis retweeted
🚨🚨🚨💣💣 C'EST UN SCÉNARIO DE TARÉ : LA BELGIQUE BAT LE SÉNÉGAL 3-2 APRÈS AVOIR ÉTÉ MENÉE 2-0 !!!! 😱😱😱🇧🇪🇧🇪
(À la 81e, le Sénégal menait 2-0)
LES BELGES SORTENT LES CHAMPIONS D'AFRIQUE EN TITRE !!!!
TIELEMANS ET LUKAKU HÉROS DU JOUR 🤩

































