Búsqueda · 30 momentos en 18 episodios
José EdelsteinIgnacio CrespoFrancis VillatoroHéctor SocasBorja Tosarcálculos complejos humanos versus chatgptpausa para café en cálculos humanoschatgpt recomienda pausas calculosChatGPTHéctor SocasJosé EdelsteinFrancis VillatoroDixonLance DixonAnthropiClaude Opus 5Fable 5.1Songhe
Cálculos Humanos factores olvidados
Con
0:000:301:001:302:002:303:003:25
Héctor Socas y José Edelstein discuten una ventaja inherente de los humanos sobre las máquinas en la realización de cálculos complejos: la capacidad de tomar descansos para actividades como tomar un café.
…iguales por una simetría en un lenguaje abstracto que utilizaste para expresarlas, o sea, bueno, este es el contexto en el cual ocurre este hallazgo que Francis lo va a poder contar mejor que yo, pero calculo que ya la pausa. Sí, bien calculado, efectivamente Pues sí, porque una ventaja que siempre tendrá el ser humano sobre las máquinas al hacer estos cálculos es que te puedes parar para ir a tomar un café. No lo calculé yo, me dijo ChatGPT que tenía que hacer pausa. Exacto, ya está eso, nos lo vamos a tener que. Programar con ChatGPT. Bueno, pues nada, lo dicho, pausita, volvemos en cinco minutos, pero en la cara B. Si nos están escuchando en la radio, recuerden que el resto del programa no se lo pierdan, que vamos a hablar del lanzamiento de la Starship y vamos a…
Significado #1 · Palabras #11
José Edelstein compara la capacidad de una inteligencia artificial con la del mejor calculador humano en este campo, específicamente Lance Dixon, reconociendo que la IA ha superado a este último en términos de velocidad de cálculo.
Habla: José EdelsteinSignificado #6 · Palabras #13cálculo complicadísimo lance dixonlazos cálculo ingenuo imposibleexperto mundial lance dixonerrores cálculos científicos iarevisión resultados inteligencia artificialprocesos complejos jose edelsteinmarcha atrás procesos científicosia cálculos complejos humanosordenadores jugando ajedrezerrores ia velocidad humanafatiga humana vs iaia supera a lance dixon cálculolance dixon experto calculador humanomodelo ia vs calculador humano…todo lo que la IA utilizó de humanos fue ella misma buscarlo en los papers originales, cosa que hizo, cosa que hizo, que también va a ser importante creo que en la discusión final sobre la parte espectacular y la parte menos espectacular de este resultado. Hay una parte obviamente espectacular porque estamos hablando de un cálculo complicadísimo que el mayor experto mundial de esto que es Lance Dixon le lleva años ir pasando de 7 lazos a 8 lazos por ejemplo y dándose cuenta trucos para que el cálculo sea... el cálculo ingenuo es imposible, es muy muy complejo como dice Dixon que también incluyó una parte, un pequeño comentario en la pieza del blog él dice, a ver, es que además un humano se equivoca y entonces te das cuenta muchos días después que llevas varios días con un error; entonces, bueno, es mucho más tortuoso y también eso te mina el ánimo y hace que te lleve más tiempo, probablemente porque prefiere dedicarle tiempo también a otras cosas en las cuales estás más seguro de lo que estás haciendo. Está muy impresionado que obviamente la IA dio un resultado y el resultado es correcto, pero la IA también en ese proceso también se equivoca a veces y tienes que revisar; por eso es bueno que haya gente; ella misma también en estos procesos complejos también revisa sus propios y a veces tiene que dar marcha atrás de cosas que ha hecho. O sea que en ese sentido se parece también un poco a cómo nosotros funcionamos. Por supuesto, pero cada vez lo hace más ella sola y entonces, bueno, ¿qué más te da? O sea, se equivoca, pero es como un poco las ordenadoras jugando al ajedrez. Lo hace tan rápido que lo que hace puede cometer un millón de errores por día; igual va un millón de veces más rápido que un grupo de humanos. Y no se cansa ni se aburre. No se cansa. Ni se aburre y estamos hablando de, o sea, Lance Dixon es la persona que más sabe en el planeta cómo se calculan estas cosas. Entonces no es que estamos comparando; estamos comparando un modelo comercial de una inteligencia artificial con el mejor calculador de esto humano. Entonces ese, y claramente lo superó, en términos de hacer el cálculo lo superó y él mismo lo reconoce en esta pieza de blog. ¿Por qué son 6? Bueno, dejando de lado ese caso en el que son todos menos 1. De una licidad y una de la contraria, que es un caso un poco particular y que ya se resolvió. El caso un poco de bandera siempre es cuando son todos menos 2 iguales. Ese caso se llama…
Héctor Socas y José Edelstein discuten una ventaja inherente de los humanos sobre las máquinas en la realización de cálculos complejos: la capacidad de tomar descansos para actividades como tomar un café.
Habla: Héctor SocasSignificado #1 · Palabras #11cálculos complejos humanos versus chatgptpausa para café en cálculos humanoschatgpt recomienda pausas calculos…iguales por una simetría en un lenguaje abstracto que utilizaste para expresarlas, o sea, bueno, este es el contexto en el cual ocurre este hallazgo que Francis lo va a poder contar mejor que yo, pero calculo que ya la pausa. Sí, bien calculado, efectivamente Pues sí, porque una ventaja que siempre tendrá el ser humano sobre las máquinas al hacer estos cálculos es que te puedes parar para ir a tomar un café. No lo calculé yo, me dijo ChatGPT que tenía que hacer pausa. Exacto, ya está eso, nos lo vamos a tener que. Programar con ChatGPT. Bueno, pues nada, lo dicho, pausita, volvemos en cinco minutos, pero en la cara B. Si nos están escuchando en la radio, recuerden que el resto del programa no se lo pierdan, que vamos a hablar del lanzamiento de la Starship y vamos a…
Francis Villatoro explica cómo la introducción del concepto de 'factor de forma' permitió reducir significativamente la dimensionalidad y hacer viables cálculos que antes eran inviables, lo que llevó a obtener el cálculo a ocho lazos en 2023.
Habla: Francis VillatoroSignificado #5 · Palabras #3factor de forma dimensionalidad cálculoscálculo ocho lazos 2023reducción dimensionalidad espacio factores…teorías conformes en lo que llaman la simetría celeste y ahí se trabajó con lo que llaman la dualidad antipodal. Son cosas inspiradas en cosmología que se aplicaron y se logró reducir lo suficiente. Además, se incorporó un concepto nuevo que era el concepto. De factor de forma y entonces la dimensionalidad en el espacio de factores de forma también se reduce una barbaridad. Pero una barbaridad, eso sí fue una reducción enorme y entonces cosas que eran realmente inviables a nivel computacional se hicieron viables y se pudo obtener en 2023 el cálculo a ocho lazos. Entonces estaba en 2023 la gran duda. ¿Para calcular a nueve lazos vamos a tener que innovar? ¿Vamos a tener que crear nuevas técnicas, descubrir nuevas simetrías o van a servir las técnicas que hemos usado para ocho lazos? Bueno, pues eso estaba trabajando el equipo de Dixon en paralelo con…
Francis Villatoro explica cómo los modelos de inteligencia artificial Fable, Claude Opus 5 y Fable 5.1 de Anthropi han logrado calcular resultados a nueve lazos utilizando las técnicas existentes para ocho lazos.
Habla: Francis VillatoroSignificado #18modelos fable antropi calculan nueve lazosresultados inteligencia artificial creatividad humanacálculo bruto sistemático sin errores anthropi…Bueno, pues eso estaba trabajando el equipo de Dixon en paralelo con otros equipos; había un equipo del grupo de Songhe que estaba trabajando con IA, con la IA de Anthropi, trabajando en ese problema. Pues resulta que eso es lo que ha demostrado Claude. Y Fable, Claude Opus 5 y Fable 5.1 de Anthropi han demostrado que basta con las técnicas de ocho lazos que se puede obtener el resultado a nueve lazos sin innovaciones sin creatividad y este es el punto clave que tenemos que recordar de este gran resultado de inteligencia artificial. Los resultados de inteligencia artificial tenemos que dejar muy claro que resultados son creativos, que resultados de verdad presentan una creatividad que podemos calificar de creatividad humana o pos humana y que resultados son cálculo bruto sistemático sin errores y durante muchas horas y muchas CPUs. Aquí se han usado 64 CPUs, 64 ordenadores colaborando entre ellos y usando, eso sí, un software comercial. Entonces se ha logrado obtener ese cálculo en muy pocas horas; no sé, recuerdo si era un día y medio, dos días, por lo tanto, con un coste económico muy…
Francis Villatoro explica la importancia de validar los cálculos realizados en teoría de cuerdas, destacando que el proceso es más complejo que simplemente obtener un resultado.
Habla: Francis VillatoroPalabras #19validación cálculos teoría cuerdastécnicas dixon resultadoscomprobar resultado correcto…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…
José Edelstein reflexiona sobre la capacidad de una inteligencia artificial para realizar saltos creativos comparables a los de algunos humanos, y cuestiona si la IA puede superar las limitaciones humanas en ciertos cálculos.
Habla: José EdelsteinSignificado #4salto creativo inteligencia artificiallimitaciones humanas cálculosia compete con dixoncálculo lazos mortales…la IA lo entiendo, que es lo que al final ocurrió, que es lo que dice Francis, que lo que usó fue técnicas que estaban en la literatura y mostró que no había que introducir ningún concepto nuevo, bueno, en parte bien, en parte hubiera sido mucho más bonito. Que la IA en algún momento ya tenga que dar un salto que nadie ha dado todavía. Y todavía ese salto podría ser un salto técnico y de no demasiada creatividad o completamente creativo. Entonces, sí, por supuesto cabe la duda de en qué medida una IA puede dar un salto creativo de estos que los humanos, también hay que decirlo, unos pocos humanos dan cada tantos. Cuando estamos comparando nos venimos arriba porque la IA recién puede competir con Dixon, pero es que nosotros no somos capaces de calcular ni ni cero lazos, ¿no? Entonces, el grueso de los mortales. O sea, yo creo que... Yo estaba pensando, José, justo eso, cuando decía si sería capaz de identificar un oscilador armónico visto desde un sistema de referencia. Digo, pero es que a lo mejor yo tampoco lo sería. Ah, no, no; por supuesto que no. Es muy notable el hallazgo de…