๐Ÿšจ ๐—ข๐—ฝ๐—ฒ๐—ป๐—”๐—œ ๐—ฝ๐—ผ๐—ป๐—ฒ ๐—ฎ ๐˜๐—ฟ๐—ฎ๐—ฏ๐—ฎ๐—ท๐—ฎ๐—ฟ ๐—ฎ ๐Ÿญ๐Ÿฌ,๐Ÿฌ๐Ÿฌ๐Ÿฌ ๐—ฎ๐—ด๐—ฒ๐—ป๐˜๐—ฒ๐˜€ ๐—ฑ๐—ฒ ๐—œ๐—” ๐˜† ๐—ฎ๐˜๐—ฎ๐—ฐ๐—ฎ ๐˜‚๐—ป๐—ผ ๐—ฑ๐—ฒ ๐—น๐—ผ๐˜€ ๐—บ๐—ฎ๐˜†๐—ผ๐—ฟ๐—ฒ๐˜€ ๐—ฝ๐—ฟ๐—ผ๐—ฏ๐—น๐—ฒ๐—บ๐—ฎ๐˜€ ๐—ฑ๐—ฒ ๐—น๐—ฎ ๐—บ๐—ฎ๐˜๐—ฒ๐—บ๐—ฎฬ๐˜๐—ถ๐—ฐ๐—ฎ

Lo que acaba de revelar OpenAI podrรญa marcar un antes y un despuรฉs en la historia de la #InteligenciaArtificial y la investigaciรณn cientรญfica. ๐Ÿค–

La compaรฑรญa afirma que un sistema compuesto por aproximadamente ๐Ÿญ๐Ÿฌ,๐Ÿฌ๐Ÿฌ๐Ÿฌ ๐—ฎ๐—ด๐—ฒ๐—ป๐˜๐—ฒ๐˜€ ๐—ฑ๐—ฒ ๐—œ๐—”, trabajando de manera coordinada, encontrรณ una soluciรณn al famoso problema de #NavierStokes, uno de los siete Problemas del Milenio y una pregunta matemรกtica que permanecรญa sin resolver desde hace aproximadamente 90 aรฑos.

El objetivo era determinar si las ecuaciones que describen el movimiento de los fluidos en tres dimensiones pueden desarrollar una singularidad, es decir, una situaciรณn en la que la soluciรณn matemรกtica deja de comportarse de manera regular.

La escala del experimento es extraordinaria: los agentes trabajaron durante aproximadamente ๐Ÿด๐Ÿด ๐—ต๐—ผ๐—ฟ๐—ฎ๐˜€ y, solamente en el esfuerzo dedicado a Navier-Stokes, intercambiaron alrededor de ๐Ÿฎ.๐Ÿณ ๐—บ๐—ถ๐—น๐—น๐—ผ๐—ป๐—ฒ๐˜€ ๐—ฑ๐—ฒ ๐—บ๐—ฒ๐—ป๐˜€๐—ฎ๐—ท๐—ฒ๐˜€ y generaron aproximadamente ๐Ÿญ๐Ÿฏ๐Ÿฌ ๐—บ๐—ถ๐—น ๐—บ๐—ถ๐—น๐—น๐—ผ๐—ป๐—ฒ๐˜€ ๐—ฑ๐—ฒ ๐˜๐—ผ๐—ธ๐—ฒ๐—ป๐˜€ ๐—ฑ๐—ฒ ๐˜€๐—ฎ๐—น๐—ถ๐—ฑ๐—ฎ.

En lugar de depender de un รบnico modelo intentando resolver el problema, OpenAI dividiรณ a los agentes en diferentes grupos para explorar mรบltiples caminos matemรกticos. Despuรฉs, utilizaron #Codex para compartir y combinar los avances mรกs prometedores entre los distintos grupos.

๐—˜๐—น ๐—ฟ๐—ฒ๐˜€๐˜‚๐—น๐˜๐—ฎ๐—ฑ๐—ผ: los agentes produjeron una demostraciรณn analรญtica en la que un fluido inicialmente suave puede desarrollar una singularidad en tiempo finito.

Pero hay otro detalle clave. La demostraciรณn fue posteriormente formalizada y verificada utilizando #Lean, un sistema de verificaciรณn matemรกtica, en un proceso adicional de aproximadamente 17 horas con GPT-6 Astra.

โš ๏ธ ๐—˜๐˜€ ๐—ถ๐—บ๐—ฝ๐—ผ๐—ฟ๐˜๐—ฎ๐—ป๐˜๐—ฒ ๐—ป๐—ผ ๐—ฐ๐—ผ๐—ป๐—ณ๐˜‚๐—ป๐—ฑ๐—ถ๐—ฟ โ€œ๐—ข๐—ฝ๐—ฒ๐—ป๐—”๐—œ ๐—ฝ๐—ฟ๐—ผ๐—ฝ๐—ผ๐—ป๐—ฒ ๐˜‚๐—ป๐—ฎ ๐˜€๐—ผ๐—น๐˜‚๐—ฐ๐—ถ๐—ผฬ๐—ปโ€ ๐—ฐ๐—ผ๐—ป โ€œ๐—น๐—ฎ ๐—บ๐—ฎ๐˜๐—ฒ๐—บ๐—ฎฬ๐˜๐—ถ๐—ฐ๐—ฎ ๐˜†๐—ฎ ๐—น๐—ผ ๐—ต๐—ฎ ๐—ฑ๐—ฒ๐—ฐ๐—น๐—ฎ๐—ฟ๐—ฎ๐—ฑ๐—ผ ๐—ผ๐—ณ๐—ถ๐—ฐ๐—ถ๐—ฎ๐—น๐—บ๐—ฒ๐—ป๐˜๐—ฒ ๐—ฟ๐—ฒ๐˜€๐˜‚๐—ฒ๐—น๐˜๐—ผโ€. El trabajo ahora deberรก ser analizado y evaluado por matemรกticos independientes.

Mรกs allรก del problema especรญfico, el verdadero impacto podrรญa estar en el mรฉtodo: miles de agentes especializados colaborando, explorando hipรณtesis simultรกneamente y utilizando herramientas de verificaciรณn para convertir ideas generadas por #IA en demostraciones matemรกticas comprobables.

ยฟEstamos viendo el comienzo de una nueva era en la que la #InteligenciaArtificial no solamente responde preguntas, sino que participa activamente en el descubrimiento cientรญfico?

En ๐—”๐—ฆ๐—ข๐— ๐—œ๐—” seguiremos acercando estos avances a la sociedad para entender cรณmo la #IA estรก transformando la ciencia, la educaciรณn, las empresas y nuestro futuro.

๐ŸŒ ๐—™๐—ผ๐—ฟ๐—บ๐—ฎ ๐—ฝ๐—ฎ๐—ฟ๐˜๐—ฒ ๐—ฑ๐—ฒ ๐—”๐—ฆ๐—ข๐— ๐—œ๐—” y participa en la conversaciรณn sobre el futuro de la Inteligencia Artificial: asomia.org