How to get URL link on X (Twitter) App
Gauss es un sistema de autoformalización que escribe y verifica automáticamente pruebas en Lean, trabajando ininterrumpidamente durante horas.
https://twitter.com/OpenAI/status/1953504357821165774/video/1Antes que nada, si queréis ver todas las conclusiones sobre GPT-5, tenéis resubido el directo que acabamos de finalizar, con la presentación (interesante la primera parte) y mis análisis al principio y al final 👍
Dice Sam que GPT-OSS (el nombre del modelo) es comparable a o4-mini y capaz de ser ejecutado en tu propio ordenador!
https://twitter.com/midjourney/status/1935377193733079452/video/1La verdad es que la experiencia es "muy Midjourney" en el buen sentido de la expresión:
Para los despistados, Codex es la nueva herramienta agéntica de OpenAI, en este caso orientada a labores de programación: te conectas a tu base de código, puedes hacerle preguntas a la IA, pedirle que te arregle bugs o que implemente nuevas funcionalidades.
https://x.com/agrimgupta92/status/1868745017571131582
Esto es útil porque 1) seguimos dándole a la IA tareas más difíciles que podemos evaluar, y por tanto nos servirá para medir el progreso de los futuros sistemas y 2) porque que la IA haga labores de ML permitirá crear un feedback positivo de automejora 🔥
https://twitter.com/AIatMeta/status/1842188252541043075/video/1A nivel de calidad visual se sitúa cerca de Sora, mostrando en varios ejemplos movimientos más fluidos y realistas.
Como podéis ver, una vez entrenado el modelo los resultados son muy buenos a nivel de composición y realismo.
El artículo es este de aquí 👇
La primera cosa interesante la encontramos al final del artículo, donde podemos ver que lo firman los pesos pesados de OpenAI, con el desaparecido Ilya Sutskever también!
El documento es este y contiene información sobre el origen de OpenAI, las donaciones de Elon, el miedo a DeepMind y a Google, GPT-4, Q* y la AGI.
Sólo tenéis que acceder a la web de ChatGPT, ir a la pestaña de explore GPTs y verificar que tenéis marcada la Global View.
#1 🔮 TRADUCCIÓN MULTI-IDIOMA DE CALIDAD EN TIEMPO REAL

🖼️ Generación de imágenes (2022)
