Búsqueda · 29 momentos en 11 episodios
Juan Carlos GilIgnacio CrespoFrancis VillatoroJosé EdelsteinHéctor SocasLuisa AchaerandioGastón Giribetdemostración fórmula compleja openaiopenai pro plus límite minutoschatgpt resuelve fórmula complejaverificación humana de openaidemostración verificada por humanosOpenAIFrancis VillatoroChatGPTSG12SG23SG34SG123
Demostración fórmula compleja OpenAI
Con
0:000:301:001:302:002:303:003:19
Francis Villatoro explica que OpenAI proporcionó una versión más potente de ChatGPT para resolver una fórmula compleja, dedicando 12 horas a la tarea.
…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…
Significado #1 · Palabras #1
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 #6 · Palabras #3chatgpt simplifica fórmulas complejasformulitas triviales openaisg12 más sg23 chatgpt…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…
Francis Villatoro explica que OpenAI proporcionó una versión más potente de ChatGPT para resolver una fórmula compleja, dedicando 12 horas a la tarea.
Habla: Francis VillatoroSignificado #1 · Palabras #1demostració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…