Búsqueda · 30 momentos en 18 episodios
José EdelsteinIgnacio CrespoFrancis VillatoroHéctor SocasBorja Tosarvalidación cálculos teoría cuerdastécnicas dixon resultadoscomprobar resultado correctoanthropic solicita ayuda a dixondixon valida cálculos anthropichippel contacta con dixon códigosvalidación resultados con códigosAnthropicDixonHippelFrancis VillatoroCloth 5Opus 5Fable 5.1Lean
Validación resultados con códigos
Con
0:000:301:001:302:002:303:003:25
Francis Villatoro explica cómo Anthropic solicitó ayuda a Dixon para validar cálculos relacionados con la amplitud y propiedades matemáticas, pagándole por usar sus códigos.
…si era un día y medio, dos días, por lo tanto, con un coste económico muy bajo, de unas miles de euros, que es ridículo comparado con las millones que se ha gastado OpenAI en algunos de los problemas que ha resuelto. Pero el punto clave es que no se ha tenido que innovar con ninguna técnica. ¿Eso qué significa? Que las herramientas desarrolladas por Dixon para validar los resultados, porque cuando yo calculo esto, lo importante no es calcularlo, complicado es validarlo. Tengo que buscar una serie de técnicas que me validen que el resultado es correcto, que no me he dejado una cosita. Aparenta ser un resultado correcto, pero hay un pequeño detalle que me he olvidado de él y no lo he tenido en cuenta. No, está todo incluido. Pero hay una serie de técnicas para validar que la amplitud cumple con todas las propiedades matemáticas que tiene que cumplir para ser correctas, entonces ese tipo de técnica es lo que se le ha pedido ayuda. Anthropic le ha pedido ayuda a Dixon, ha contactado con Dixon a través de con Hippel, que le ha dicho: contacta con Dixon, que él tiene los códigos, entonces han invitado, le han pagado dinero a Dixon para que use sus códigos y chequee y valide el resultado. Entonces Dixon ha dicho sí, validado; lo he logrado validar, qué maravilla, no ha habido que inventar nada, ha vuelto a pasar lo que ha pasado varias veces en el pasado: que las técnicas desarrolladas para un cierto número de lazos han sido suficientes para un lazo más. Si no hubieran sido suficientes, ¿hubiera podido la inteligencia artificial obtener el resultado? Mi opinión es que no. Es una opinión, ¿vale? O sea que habrá mucha gente que me criticará y dirá: ¿pero cómo opinas eso? Seguro que si ponen millones de euros lo…
Significado #1 · Palabras #1
Francis Villatoro explica cómo trabajadores de Antropic resolvieron un problema utilizando Cloth 5, Opus 5 y Fable 5.1, invitando posteriormente al experto Dixon para validar el resultado.
Habla: Francis VillatoroPalabras #9problema nueve lazos supersimetríasexpertos validan resultado antropi dixonresultados técnicos interés expertos…dinero posible; el problema que él proponía es que se van a gastar millones de euros. Con esas reglas se decidió utilizar las versiones de Anthropic, de Cloth, que están disponibles para cualquier persona que yo uso y que mucha gente usa; que por un lado es El Cloth 5, el Opus 5 y el Fable 5 .1 que ya acababa de salir. Todavía no había salido el Opus que tenemos ahora, el 5.5. Entonces, con esas dos herramientas la aplicaron durante relativamente poco tiempo y lo han resuelto. Han resuelto uno de los dos problemas: el problema entre comillas más fácil, el de nueve lazos para la teoría con cuatro supersimetrías. Entonces es una cosa que, claro, una vez que trabajadores de Anthropi logran esto, pues Anthropi presume de haberlo logrado y entonces ha invitado a los expertos para que validen, al gran experto mundial, a Dixon, para que valide el resultado y bueno, han dado un poquito de bombo en redes sociales, etc. Pero ya os digo, es claramente para todos los oyentes: es un resultado muy técnico, de muy bajo interés, o sea, solo interesa a los expertos en este tipo de cálculos y que, bueno, Está consiguiendo cierto bombo porque Anthropic quería ahora reivindicar que también está haciendo cosas relevantes. Y ahora pues tenemos que entrar en los detalles de realmente qué se ha logrado, qué impacto tiene, etc. Y si quiere, no sé si hay tiempo,…
Francis Villatoro explica cómo Anthropic solicitó ayuda a Dixon para validar cálculos relacionados con la amplitud y propiedades matemáticas, pagándole por usar sus códigos.
Habla: Francis VillatoroSignificado #1 · Palabras #1validación cálculos teoría cuerdastécnicas dixon resultadoscomprobar resultado correctoanthropic solicita ayuda a dixondixon valida cálculos anthropichippel contacta con dixon códigosvalidación resultados con códigos…si era un día y medio, dos días, por lo tanto, con un coste económico muy bajo, de unas miles de euros, que es ridículo comparado con las millones que se ha gastado OpenAI en algunos de los problemas que ha resuelto. Pero el punto clave es que no se ha tenido que innovar con ninguna técnica. ¿Eso qué significa? Que las herramientas desarrolladas por Dixon para validar los resultados, porque cuando yo calculo esto, lo importante no es calcularlo, complicado es validarlo. Tengo que buscar una serie de técnicas que me validen que el resultado es correcto, que no me he dejado una cosita. Aparenta ser un resultado correcto, pero hay un pequeño detalle que me he olvidado de él y no lo he tenido en cuenta. No, está todo incluido. Pero hay una serie de técnicas para validar que la amplitud cumple con todas las propiedades matemáticas que tiene que cumplir para ser correctas, entonces ese tipo de técnica es lo que se le ha pedido ayuda. Anthropic le ha pedido ayuda a Dixon, ha contactado con Dixon a través de con Hippel, que le ha dicho: contacta con Dixon, que él tiene los códigos, entonces han invitado, le han pagado dinero a Dixon para que use sus códigos y chequee y valide el resultado. Entonces Dixon ha dicho sí, validado; lo he logrado validar, qué maravilla, no ha habido que inventar nada, ha vuelto a pasar lo que ha pasado varias veces en el pasado: que las técnicas desarrolladas para un cierto número de lazos han sido suficientes para un lazo más. Si no hubieran sido suficientes, ¿hubiera podido la inteligencia artificial obtener el resultado? Mi opinión es que no. Es una opinión, ¿vale? O sea que habrá mucha gente que me criticará y dirá: ¿pero cómo opinas eso? Seguro que si ponen millones de euros lo…
Francis Villatoro explica cómo las inteligencias artificiales (IAS) simulan reconstruir el proceso seguido para llegar a una solución, y enfatiza la importancia de verificar el código Lean en demostraciones.
Habla: Francis VillatoroSignificado #10ias simulan reconstruir solucionesverificación código lean demostracionesexplicaciones ias pueden ser desviadas…tachas, borras, tal, y luego cuando lo escribes en el paper, lo pones súper elegante. Partimos de aquí, vamos a no sé qué, tal, tal, y en cuatro pasitos, con qué elegancia llegas, pero eso no se parece en nada al proceso mental que has seguido realmente, ¿no? Pero en las IAS, que son máquinas, les pedimos que lo reconstruyan bien y la gente se cree que lo está reconstruyendo bien. Por eso, en demostraciones, por ejemplo, con Lean, es muy importante leerse el código Lean. O sea, no basta con la explicación que me describen, porque la explicación que me describen puede estar muy, muy desviada respecto a... Ahora las IAS alucinan de una manera muy diferente a como alucinaban hace años, porque hace años alucinaban de la manera que tú lo veías, ¿no? Me ha cambiado este número; en esta tabla le he pedido que me hagan un OCR de la tabla y se ha equivocado en un…