OpenAI acaba de poner sobre la mesa una afirmación seria.
Su investigación más reciente sobre IA implicó aproximadamente 10.000 agentes trabajando juntos para resolver el problema de Navier–Stokes, uno de los famosos retos no resueltos de las matemáticas.
En lugar de que un solo modelo atacara el problema desde una única dirección, el sistema exploró muchos enfoques en paralelo. OpenAI afirma que un problema anterior, más sencillo, de Euler ayudó a los agentes a desarrollar ideas que luego se aplicaron a Navier–Stokes.
Según se informa, el avance llegó tras unas 88 horas.
El resultado propuesto apunta a un escenario en el que un vórtice sigue concentrándose y estirándose hasta que se forma una singularidad en un tiempo finito, incluso aunque la energía total se mantenga finita.
Después, OpenAI tradujo el argumento a Lean para que la demostración pudiera comprobarse mecánicamente.
Esa parte importa. Un argumento espectacular generado por IA es una cosa. Una prueba verificada formalmente es otra.
Aun así, hay una advertencia importante: el resultado de OpenAI todavía no se ha convertido en una solución aceptada por la comunidad matemática.
El problema conlleva un Premio Millennium de 1M dólares, pero OpenAI dice que no pretende reclamarlo.
Además, la cifra de ~$15M que circula en línea es una estimación externa de costos de tokens, no una cifra oficial de OpenAI. Y no hay evidencia de que $WLD se haya usado para pagarlo.
$SUI $4Stock
Su investigación más reciente sobre IA implicó aproximadamente 10.000 agentes trabajando juntos para resolver el problema de Navier–Stokes, uno de los famosos retos no resueltos de las matemáticas.
En lugar de que un solo modelo atacara el problema desde una única dirección, el sistema exploró muchos enfoques en paralelo. OpenAI afirma que un problema anterior, más sencillo, de Euler ayudó a los agentes a desarrollar ideas que luego se aplicaron a Navier–Stokes.
Según se informa, el avance llegó tras unas 88 horas.
El resultado propuesto apunta a un escenario en el que un vórtice sigue concentrándose y estirándose hasta que se forma una singularidad en un tiempo finito, incluso aunque la energía total se mantenga finita.
Después, OpenAI tradujo el argumento a Lean para que la demostración pudiera comprobarse mecánicamente.
Esa parte importa. Un argumento espectacular generado por IA es una cosa. Una prueba verificada formalmente es otra.
Aun así, hay una advertencia importante: el resultado de OpenAI todavía no se ha convertido en una solución aceptada por la comunidad matemática.
El problema conlleva un Premio Millennium de 1M dólares, pero OpenAI dice que no pretende reclamarlo.
Además, la cifra de ~$15M que circula en línea es una estimación externa de costos de tokens, no una cifra oficial de OpenAI. Y no hay evidencia de que $WLD se haya usado para pagarlo.
$SUI $4Stock
