🔴 ¡OPENAI LIBERA AVANCES EN MATEMÁTICA! Por fin OpenAI ha publicado...

Por fin OpenAI ha publicado los cientos de resultados de problemas matemáticos que llevaba estas últimas semanas guardando bajo llave.
Son 372 resultados que han publicado en un repositorio de Github y que cubre avances en muchísimas ramas de las matemáticas.
Recordemos, todos estos resultados se han conseguido por su futuro modelo durante el último mes, lo cuál es una barbaridad!
Dicen que usarán el nuevo repositorio de Github para continuar publicando avances según los vayan consiguiendo para así seguir avanzando la frontera del conocimiento.
Muchos resultados vienen acompañados con su formalización Lean, y otros no, así que de estos últimos avisan podrían contener errores.
Ahora quedan 722 manuscritos que la comunidad científica podrá escrutinar para valorar así qué tan relevantes son estos avances. Seguiremos informando.

We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results.
github.com/openai/math

There are some sad stories related to their users getting scooped / conflicts of interest (kakeya maximal comes to mind), and obviously we had some of the problems (without commenting on precise rumours).
We should put that aside for today though. It’s obviously the most significant moment in mathematical history.

RH says zeta has no zeros in Re(s)>1/2. The best we had until a second ago was a region that got thinner and thinner the higher up the imaginary axis you go. I thought maybe they’d fatten that up a bit, that’d be a massive breakthrough. But no. They got a zero free strip!!!! Insane



