Búsqueda · 32 momentos en 17 episodios
Juan Carlos GilIgnacio CrespoFrancis VillatoroJosé EdelsteinHéctor SocasLuisa AchaerandioGastón Giribetchatgpt resuelve fórmula complejaverificación humana de openaidemostración verificada por humanosOpenAIChatGPTFrancis VillatoroJaewel LeeGuayúmonopolos de Young MillsGastón GiribetChatGPT5Mariano CharnicoffSG12SG23SG34SG123José Edelstein
Verificación rápida con ChatGPT
Con
0:000:301:001:302:002:303:003:19
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.
…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
José Edelstein describe su experiencia utilizando ChatGPT para repasar resultados de investigación mientras conducía, destacando la rapidez y coherencia con la que responde a preguntas complejas.
Habla: José EdelsteinSignificado #14chatgpt para repasar investigaciónrapidez de chatgpt edelsteincoherencia de respuestas chatgpt…parte del día; ahora lo hice en el coche, pero a la mañana también empecé a hacerlo, a charlar sobre el trabajo y es realmente alucinante porque no solo, o sea que tiene toda la literatura obviamente a su disposición, entonces que la naturalidad con la que Ante una pregunta que te obligaría a revisar cinco papers distintos, que son complejos y que un comentario esté hecho en un pie de página, que si vas al pie de página tienes que leerte la página entera, porque si no, no la entiendes bien, te responden en fracciones de segundo y con mucho sentido. Incluso es impresionante, me parece impresionante que te dice, te Tira la respuesta, luego te dice: vamos a desgranarlo; te lo desgrana con una claridad brutal y luego te dice si te lo tuviste que decir en una línea y te pone como una especie de slogan y es todo, todo de altísima calidad me pareció; me parece impresionante…
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 #11chatgpt 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 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 #1chatgpt resuelve fórmula complejaverificación humana de openaidemostración verificada por humanos…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…
Gastón Giribet describe una experiencia con su estudiante de doctorado, Jaewel Lee, quien estaba resolviendo problemas relacionados con monopolos y monopolos de Young Mills. Utilizaron ChatGPT para verificar rápidamente la solución encontrada.
Habla: Gastón GiribetSignificado #2monopolos young mills jaewel leechatgpt gratuita para comprobar solucionesverificación rápida con chatgpt…bueno acá en NYU podría tener la paga gratis, pero ni la instalo, porque Mariano Charnicoff vino acá e hicimos competencia de calcular cosas con la paga y yo con la gratis; hicimos cosas así. Mariano Charnicoff es un colega que viene de seguido de visita. y de hecho hace poco, por ejemplo, en mi estudiante de doctorado, Jaewel Lee, mi estudiante de doctorado que tengo acá en Guayú, estábamos resolviendo algunas cosas sobre monopolos y monopolos de Young Mills y cosas así y vino con una solución y la, está bien, una vez que tiene la solución es fácil preguntar a la HGPT si es cierta, pero hicimos eso, que eso es mucho más fácil que la encuentre, pero estoy hablando de la HGPT gratuita, estoy hablando de esa, con la que uno puede jugar así. No jugar, sino un poco para aprender cómo calcula, cómo piensa y ese tipo de cosas. Y en efecto, comprobó la solución de Jaegu rápidamente. Después la hicimos nosotros a mano y bueno, no solamente Él la había derivado primero, sino que después la comprobamos a mano. Pero jugar con esas cosas es una cosa que creo que hacemos bastante nosotros. Con José estuvimos pensando en cosas de inteligencia artificial; yo estoy recién aprendiendo eso, gracias a…