๐จ ๐ข๐ฝ๐ฒ๐ป๐๐ ๐ฝ๐ผ๐ป๐ฒ ๐ฎ ๐๐ฟ๐ฎ๐ฏ๐ฎ๐ท๐ฎ๐ฟ ๐ฎ ๐ญ๐ฌ,๐ฌ๐ฌ๐ฌ ๐ฎ๐ด๐ฒ๐ป๐๐ฒ๐ ๐ฑ๐ฒ ๐๐ ๐ ๐ฎ๐๐ฎ๐ฐ๐ฎ ๐๐ป๐ผ ๐ฑ๐ฒ ๐น๐ผ๐ ๐บ๐ฎ๐๐ผ๐ฟ๐ฒ๐ ๐ฝ๐ฟ๐ผ๐ฏ๐น๐ฒ๐บ๐ฎ๐ ๐ฑ๐ฒ ๐น๐ฎ ๐บ๐ฎ๐๐ฒ๐บ๐ฎฬ๐๐ถ๐ฐ๐ฎ
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



