Búsqueda · 28 momentos en 12 episodios
Juan Carlos GilIgnacio CrespoFrancis VillatoroJosé EdelsteinHéctor SocasLuisa AchaerandioGastón Giribetmodelo interno openaimodelos disponibles públicamenteautores de la empresa openaiversión 5 3 openaimodelo lenguaje potente openaivalidación generalización modelo openaifrancis villatoro en modo mudoFrancis VillatoroHéctor SocasOpenAIChatGPTSG12SG23SG34SG123modelo 5.3modelo 5.2versión Proversión PlusAltmanDemis KassabiDeepMind
Validación generalización modelo OpenAI
Con
0:000:301:001:302:002:303:003:19
Héctor Socas comenta sobre un modelo de lenguaje más potente que el público, posiblemente interno de OpenAI, utilizado para validar una generalización.
…número? Y tú más o menos lucubras cuál sería el número, pues algo así; lo que hizo fue un reconocimiento de patrones y dice: pues yo creo que esto parece que tiene pinta de que esta expresión general cumple esta secuencia, entonces esa fue la conjetura. y entonces utilizar un otro modelo porque supongo que necesitarían a lo mejor algo más potente que no está disponible públicamente que es un modelo interno de OpenAI que supongo que por eso como hay autores de la empresa porque no se han limitado a usar los modelos públicos sino que han usado digamos pues eso que podría ser perfectamente el 5.3 que ya es Público un par de meses después es probable. Sí, la verdad es que no lo dicen. No, porque todavía no se llamaba nada. Bueno, que con ese otro modelo más potente es el que les hace, no sé cómo ni en qué circunstancias; es el que les explica, el que demuestra que efectivamente esa generalización es la correcta. Y ahí no sé cómo, no sé cómo. Yo debo decir otra cosa: que yo empecé. Francis está muteado y Francia está muteado. Aprovecho tu muteo para completar una charradilla, que es que Yo me, bueno, esto no es el auspicio OpenAI, debo aclarar, pero bueno, yo me compré el Plus cuando estuve contigo en tu cumpleaños, Héctor, que bueno, me transmitiste; yo era bastante escéptico. A mí también, a mí también me lo transmitió. Bueno, me…
Significado #1 · Palabras #1
Héctor Socas comenta sobre cómo se generalizó un modelo anterior hasta aplicarse a cualquier valor de N, utilizando la versión Pro del modelo 5.2.
Habla: Héctor SocasPalabras #6modelo 5 2 versión progeneralizar modelo hasta cualquier nhector socas comenta generalización…HPT pasó acto seguido a dar argumentos sólidos que demostraban que el resultado era correcto. Insisto, los detalles no los conozco; no sé si los espero en algún momento poder hablar un poquito más de ellos, pero bueno, parece que es realmente impresionante. Yo igual puedo aportar un poquito; leí un poquito sobre el tema de cómo lo habían hecho porque me resultaba muy llamativa esa parte y efectivamente, como has dicho tú, para ese primer paso de generalizar lo que ellos tenían hasta en igual a 6, generalizarlo para cualquier N, usaron un modelo ya público comercial, el 5.2, la versión Pro, pero es el 5.2 que, en fin, no sé si la versión gratuita está disponible, pero yo tengo el Plus y tengo el 5.2 y con eso lo hicieron; pero para lo otro que tú dices, para demostrarlo, o sea, eso es una conjetura. Digamos que el 5.2 dijo: mira, viendo, hizo como una extrapolación de las expresiones que había para 2, 3, 4, 5 y 6; como que vio la estructura, fue una especie de reconocimiento de patrones, como si tú ves una serie y dices: ¿cuál es esto que te ponen redes…
Héctor Socas comenta sobre un modelo de lenguaje más potente que el público, posiblemente interno de OpenAI, utilizado para validar una generalización.
Habla: Héctor SocasSignificado #1 · Palabras #1modelo interno openaimodelos disponibles públicamenteautores de la empresa openaiversión 5 3 openaimodelo lenguaje potente openaivalidación generalización modelo openaifrancis villatoro en modo mudo…número? Y tú más o menos lucubras cuál sería el número, pues algo así; lo que hizo fue un reconocimiento de patrones y dice: pues yo creo que esto parece que tiene pinta de que esta expresión general cumple esta secuencia, entonces esa fue la conjetura. y entonces utilizar un otro modelo porque supongo que necesitarían a lo mejor algo más potente que no está disponible públicamente que es un modelo interno de OpenAI que supongo que por eso como hay autores de la empresa porque no se han limitado a usar los modelos públicos sino que han usado digamos pues eso que podría ser perfectamente el 5.3 que ya es Público un par de meses después es probable. Sí, la verdad es que no lo dicen. No, porque todavía no se llamaba nada. Bueno, que con ese otro modelo más potente es el que les hace, no sé cómo ni en qué circunstancias; es el que les explica, el que demuestra que efectivamente esa generalización es la correcta. Y ahí no sé cómo, no sé cómo. Yo debo decir otra cosa: que yo empecé. Francis está muteado y Francia está muteado. Aprovecho tu muteo para completar una charradilla, que es que Yo me, bueno, esto no es el auspicio OpenAI, debo aclarar, pero bueno, yo me compré el Plus cuando estuve contigo en tu cumpleaños, Héctor, que bueno, me transmitiste; yo era bastante escéptico. A mí también, a mí también me lo transmitió. Bueno, me…
Tras describir cómo ChatGPT simplifica fórmulas complejas, Francis Villatoro explica que el modelo puede generar soluciones aparentemente sofisticadas, aunque en realidad sean triviales.
Habla: Francis VillatoroSignificado #14 · Palabras #2chatgpt simplifica fórmulas complejasformulitas triviales openaisg12 más sg23 chatgptopenai busca validación científicademis kassabi y deepmind ciencia artificialinversión multimillonaria ciencia artificialherramientas imprescindibles matemáticas físicaamplitudes de gluones física teórica…a las fórmulas 35-38. La 38 es una fórmula que, aunque está puesta en dos líneas, es trivial, es un producto súper trivial. Entonces, cuando ves la 35-36-37-38, hasta CharGPT, sea pro o no sea pro, te la generaliza en la fórmula 39, que es la fórmula que Han probado. Pero claro, una cosa es que ChatGPT te conjeture; mira, estas formulitas son tan bonitas que no te das cuenta de que si SG12 más SG23 está multiplicado por SG34 más SG123, o sea, son fórmulas como súper triviales de generalizar, ¿no? Entonces te lo generalizan. ¿Qué hicieron? Pues a contactaros con OpenAI. OpenAI está muy interesada, Altman lo ha dicho muchas veces, en que lo que está haciendo es serio y la manera de demostrar que es serio es aplicarlo en ciencia, que los científicos lo usen. Y eso mismo lo está haciendo Demis Kassabi, el premio Nobel, en DeepMind, lo ha dicho muchas veces. Entonces, lo que nosotros estamos haciendo de ciencia artificial será considerado algo serio; es decir, habrá cientos de miles de millones de dólares invertidos cuando demostremos que es útil en lo más difícil que ha hecho la humanidad, que es la ciencia. Entonces hay un interés enorme en posicionar a estas herramientas como herramientas imprescindibles en matemáticas, en física, en ciencia, pero no solo en ciencias puras y naturales y teóricas, porque esto es física teórica; esto de las amplitudes de gluones al fin y al cabo es jugar con garabatos en hojas de papel. Posicionarlo en el campo de la ciencia de la vida y en la ciencia de la salud, porque ahí es donde realmente está todo el mercado de estas tecnologías cuando nadie pueda hacer nada en ciencias de la salud sin tener en cuenta este tipo de herramientas. Y eso…
Francis Villatoro explica cómo OpenAI utilizó una versión más potente de ChatGPT para resolver una fórmula compleja, un proceso que requirió 12 horas de cálculo y posterior verificación por otros modelos y humanos.
Habla: Francis VillatoroSignificado #8demostración fórmula compleja openaiopenai pro plus límite minutoschatgpt resuelve fórmula complejaverificación humana de openaidemostración verificada por humanos…gran desgracia. En física teórica, si esta fórmula está mal, es irrelevante, ¿vale? O sea, esto en el IHC, alguien va a ponerse a buscar esto en el IHC, si estas configuraciones son casi imposibles, no; pero se está, entonces hay mucho interés en eso, ¿no? entonces aquí lo que se utilizó, claro, entonces ¿qué pasa? Pues que tú contactas con OpenAI y les dices, mira, el chat GPT me ha encontrado una fórmula que tú puedes dejarme una versión un poquito más poderosa y le dejaron la versión todavía en investigación, más poderosa, que no será 5.3 ni 5.2, es una cosa de investigación y estuvo, según cuentan en OpenAI, 12 horas pensando para obtener la demostración. En tu versión, aunque pagues el pro, tienes minutos, no sé cuántos son, pues yo no pago el pro, yo pago el plus, pero tienes una serie de minutos de límite; 12 horas la máquina pensando para sacarte la demostración son un huevo de horas, después hay que verificarlo O aparentaría que estaba pensando y se había quedado dormida, ¿quién no ha hecho eso? y entonces después usaron otra versión diferente para verificar esa demostración y después los humanos verificaron la demostración. O sea que es una demostración bastante verificada y está clara. Ahora está de moda eso, el demostrar cosas. Está habiendo muchos matemáticos que se han reunido para ofrecer Problemas. Lo último salió hace poco, eran como 15 días. Una serie de matemáticos demostraron nuevos resultados; eran secretos las demostraciones, solo la conocía el que la había demostrado y entonces ellos publicaron los enunciados y retaron a cualquiera que…