Búsqueda · 25 momentos en 8 episodios
Borja TosarIgnacio CrespoJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetcreatividad matemática modelos lenguajeagentes openai demostraciones matemáticassesgo creatividad humana inteligencia artificialmatemáticos españoles idea existenteanálisis profundo alternativas openaiOpenAIFrancis VillatoroMatemáticaInteligencia Artificial
Agentes OpenAI demostraciones Matemáticas
Con
0:000:301:001:302:002:303:003:29
Francis Villatoro aborda el debate sobre la creatividad matemática de los modelos de lenguaje, específicamente refiriéndose a las demostraciones realizadas por agentes de OpenAI.
…estimular y no permitir abrir nuevos campos. El mismo hecho de la investigación es muy preocupante. ¿Qué opinan? Quizás Francis es el matemático más formal de la sala, podemos empezar por ti y luego si quieres seguimos haciendo ronda por el resto de la mesa. Posta ya en varias ocasiones sobre el tema de la creatividad matemática de los modelos de lenguaje, de las inteligencias artificiales que actúan como agentes para hacer demostraciones. Esto es una cosa que hay gente que la pone en duda; hay gente que dice: “no, es que tú tienes un sesgo hacia la creatividad humana”. Pero en rigor, si tú analizas la demostración que ha logrado estas inteligencias artificiales colaborando entre ellas de OpenAI, en rigor lo que ha hecho es coger una idea ya existente, que es la idea de los dos matemáticos españoles y explotarla y estrujarla y hacer un análisis no es de fuerza bruta pero es un análisis bastante profundo de muchísimas posibles alternativas pero basándose siempre en esa idea. Si tú miras realmente qué creatividad tiene la nueva solución, pues te encuentras con una creatividad relativamente muy ridícula, porque puedes tracear todas las nuevas ideas aparentes que aparecen en la demostración, porque el problema que tiene la…
Significado #1 · Palabras #1
Francis Villatoro aborda el debate sobre la creatividad matemática de los modelos de lenguaje, específicamente refiriéndose a las demostraciones realizadas por agentes de OpenAI.
Habla: Francis VillatoroSignificado #1 · Palabras #1creatividad matemática modelos lenguajeagentes openai demostraciones matemáticassesgo creatividad humana inteligencia artificialmatemáticos españoles idea existenteanálisis profundo alternativas openai…estimular y no permitir abrir nuevos campos. El mismo hecho de la investigación es muy preocupante. ¿Qué opinan? Quizás Francis es el matemático más formal de la sala, podemos empezar por ti y luego si quieres seguimos haciendo ronda por el resto de la mesa. Posta ya en varias ocasiones sobre el tema de la creatividad matemática de los modelos de lenguaje, de las inteligencias artificiales que actúan como agentes para hacer demostraciones. Esto es una cosa que hay gente que la pone en duda; hay gente que dice: “no, es que tú tienes un sesgo hacia la creatividad humana”. Pero en rigor, si tú analizas la demostración que ha logrado estas inteligencias artificiales colaborando entre ellas de OpenAI, en rigor lo que ha hecho es coger una idea ya existente, que es la idea de los dos matemáticos españoles y explotarla y estrujarla y hacer un análisis no es de fuerza bruta pero es un análisis bastante profundo de muchísimas posibles alternativas pero basándose siempre en esa idea. Si tú miras realmente qué creatividad tiene la nueva solución, pues te encuentras con una creatividad relativamente muy ridícula, porque puedes tracear todas las nuevas ideas aparentes que aparecen en la demostración, porque el problema que tiene la…
Francis Villatoro explica por qué considera que las demostraciones matemáticas generadas por inteligencia artificial carecen de creatividad.
Habla: Francis VillatoroSignificado #13demostraciones matemáticas inteligencia artificialcreatividad carente en demostraciones villatoroúnico camino no es matemática…tipo de desviación, cuando eso no es el conocimiento humano. El conocimiento humano es un conocimiento de ir generando muchos caminos alternativos, explorándolo, volviendo para atrás, volviendo a avanzar por aquí, va por acá, o aquí he llegado más lejos. Ponerme contra alguna pared, una obstrucción matemática no puede continuar; tengo que ir para atrás. Eso nos falta en este tipo de demostraciones. Y en ese sentido son demostraciones muy poco creativas, no son demostraciones que creen matemática nueva, no hay matemática nueva en estas demostraciones porque solo tengo un único camino y un único camino no es matemática, la matemática no es un único Camino, la matemática no es leer la historia del explorador mirando los datos en el GPS del camino que ha recorrido. La historia es todo lo que le va pasando al explorador, mientras va recorriendo el camino, mientras está descubriendo: aquí vi una serpiente,…
