Búsqueda · 27 momentos en 12 episodios
Silvana TapiaJuan Carlos GilFrancis VillatoroHéctor SocasBorja TosarGastón Giribetdemostraciones matemáticas máquinasconfianza demostración máquina correcciónrevolución matemáticas inteligencia artificialinteligencia artificial generativa matemáticosdemostradores automáticos uso limitadoformalizar demostraciones ordenador matemáticoFrancis VillatoroEulerLeansiglo XIXsiglo XXITerence TaoMachine LearningInteligencia ArtificialGastón Giribet
Revolución Matemáticas Inteligencia Artificial
Con
0:000:301:001:302:002:303:003:15
Francis Villatoro expresa su duda sobre la confianza que se puede depositar en demostraciones matemáticas realizadas por máquinas, a pesar de su aparente corrección.
…las entiendo pero tengo la convicción de que si yo dedicara tiempo suficiente, acabaría entendiéndolas pero cuando una demostración me requiere estudiar 100 millones de páginas pues yo sé que por mucho que yo me esfuerce yo no lo voy a ser capaz de entender. Entonces yo puedo confiar en una demostración de 200 páginas que supuestamente demuestra que una máquina es capaz de demostrar que eso es correcto; pero te quedas como diciendo, me falta algo. Y es el problema que tenemos ahora mismo en matemáticas: es que está habiendo una revolución con el tema de La inteligencia artificial generativa y es que hasta hace muy poquito tiempo, un matemático le daba miedo formalizar en ordenador las demostraciones. Hay demostradores automáticos desde hace 50 años, pero muy poca gente los usaba. ¿Por qué? Porque dedicar tiempo a pasar tu demostración escrita a mano a un demostrador automático requería años de trabajo para después que resulte que el demostrador automático diga: pues sí, no te has equivocado, es correcta. Pero ahora mismo con la Inteligencia Artificial Generativa, ChatGPT y compañía podemos automatizar ese proceso. Las demostraciones en Lean, L-A-N, es fácil, claro; el ChatGPT más o menos te la construye y tú tienes que estar como, es tu demostración, tú…
Significado #1
Gastón Giribet establece un paralelismo entre las demostraciones matemáticas asistidas por computadora y el uso de técnicas de Machine Learning e Inteligencia Artificial en física.
Habla: Gastón GiribetPalabras #20machine learning física demostraciones matemáticasinteligencia artificial caja negra físicaparalelismo giribet machine learning…de que, bueno, sí, pero si no puedo ver los detalles ¿Sabes por qué te pregunto esto? Porque vos sos el matemático del grupo, por un lado, y tienen una estética particular acerca de lo que una demostración significa, pero por otro lado, también porque es un Tema vigente, porque el análogo en la física sería el empleo técnicas de, no sé, Machine Learning, Inteligencia Artificial también dan esta idea de que en algún sentido hay cosas que se vuelven una caja negra que antes no lo eran para nosotros. Y la pregunta es, and so what? O sea, mucha gente puede tener una posición, bueno, no importa, pero resolviste tu problema. O algunas personas pueden decir, sí, pero ¿cuánto de eso es entender? ¿Y qué es física si no entender la naturaleza? Tú has comentado el caso de la demostración de la…
Francis Villatoro expresa su duda sobre la confianza que se puede depositar en demostraciones matemáticas realizadas por máquinas, a pesar de su aparente corrección.
Habla: Francis VillatoroSignificado #1demostraciones matemáticas máquinasconfianza demostración máquina correcciónrevolución matemáticas inteligencia artificialinteligencia artificial generativa matemáticosdemostradores automáticos uso limitadoformalizar demostraciones ordenador matemático…las entiendo pero tengo la convicción de que si yo dedicara tiempo suficiente, acabaría entendiéndolas pero cuando una demostración me requiere estudiar 100 millones de páginas pues yo sé que por mucho que yo me esfuerce yo no lo voy a ser capaz de entender. Entonces yo puedo confiar en una demostración de 200 páginas que supuestamente demuestra que una máquina es capaz de demostrar que eso es correcto; pero te quedas como diciendo, me falta algo. Y es el problema que tenemos ahora mismo en matemáticas: es que está habiendo una revolución con el tema de La inteligencia artificial generativa y es que hasta hace muy poquito tiempo, un matemático le daba miedo formalizar en ordenador las demostraciones. Hay demostradores automáticos desde hace 50 años, pero muy poca gente los usaba. ¿Por qué? Porque dedicar tiempo a pasar tu demostración escrita a mano a un demostrador automático requería años de trabajo para después que resulte que el demostrador automático diga: pues sí, no te has equivocado, es correcta. Pero ahora mismo con la Inteligencia Artificial Generativa, ChatGPT y compañía podemos automatizar ese proceso. Las demostraciones en Lean, L-A-N, es fácil, claro; el ChatGPT más o menos te la construye y tú tienes que estar como, es tu demostración, tú…
Francis Villatoro reflexiona sobre cómo Terence Tao está impulsando una revolución en la demostración matemática, anticipando que los matemáticos jóvenes adoptarán estas técnicas en las próximas décadas.
Habla: Francis VillatoroSignificado #4 · Palabras #10terence tao revoluciona demostración matemáticamatemáticas jóvenes adoptarán técnicas taodemostración en matemáticas próxima década…no había pensado, pero ahora que lo pienso pues es una buena idea y entonces está acelerando ese proceso de búsqueda de ideas a la hora de demostrar y ya tiene varios ejemplos y son absolutamente fascinantes, claro eso ahora mismo lo puede hacer pues Dios En matemáticas, Terence Tao, pero que ya no es un niño, que ya no tiene 30 años, que ya tiene sus 50 a largo, pero probablemente eso lo aprendan a hacer los matemáticos jóvenes en las próximas décadas y lo haga todo el mundo, por lo que promete una enorme revolución a lo que es la demostración en matemáticas. A mí me parece muy valiente por parte de Tao, yo soy muy equipo Tao, pero poquísimo que abarco en mis matemáticas y me parece fascinante lo que está haciendo. O sea, y ya te digo, está generando una tendencia en la que muchos matemáticos están empezando a…
Francis Villatoro reflexiona sobre la revolución actual en matemáticas y su impacto en las diferentes generaciones de matemáticos, especialmente en relación con herramientas como Lean.
Habla: Francis VillatoroSignificado #3revolución matemáticas fronteralean y nuevas generaciones matemáticoseuler matemáticas siglo xixmatemáticas siglo xxi lean…yo voy a hacer el casting; no te vamos a consultarte. Para vos va a ser una sorpresa: vas a ir a la premiere y no vas a saber nada. Bueno, bueno, no sé; vamos a hacer la película de Coffee Break y vamos a buscar; yo me voy a encargar del casting de todos. Estamos viviendo un momento fascinante en la revolución de lo que está ocurriendo en matemáticas en la frontera y nos va a afectar a todos; los que ya tenemos una cierta edad nunca vamos a aprender. No voy a tener la capacidad de ganar intuiciones matemáticas gracias a formalizar en Lean, pero la gente joven acabará ganándolo y dominando. ¿Cómo se hacían matemáticas en la época de Euler, finales del siglo XIX? No tiene nada que ver cómo se hacían matemáticas a finales del siglo XX o cómo se hacen matemáticas ya en el siglo XXI. Héctor, apunta lo que ha dicho Francis: que en el episodio 1000 de Coffee Break nos va a traer una demostración por Linn, estoy convencido; hecha por él. Va a ser una demostración muy linda, digo que lo que es fascinante es como este programa adquiere vida…