Búsqueda · 31 momentos en 12 episodios
Problema 690
Con
0:000:301:001:302:002:302:57
Francis Villatoro explica cómo usuarios de ChatGPT Pro 5.5 han logrado replicar una demostración matemática, incluso mejorando las cotas establecidas.
…la gente que utiliza GPT 5.5 Pro, ChatGPT 5.5 Pro, le dijo: refuta el problema 60 y ChatGPT Pro 5.5, el que todo el mundo que paga los 100 euros o los 200 euros puede usar, obtuvo la misma demostración. Hay gente que tiene su ordenador con todos los aspectos. Para que no se conecte nunca a internet, ¿vale? Para evitar que se vicie por ese tipo de pruebas y repetir cosas. Entonces algunas de esas personas lo han logrado. Lo han logrado. O sea, incluso mejoras en las cotas porque ya han definido incluso las constantes. Es decir, no se había logrado con CharGPT 5.5 Pro básicamente porque se le había pedido que demostrara el problema 690 y lo que había que decirle es que refutara; es decir, ahora mismo mucha gente está diciendo pues Ahora voy a hacer una siguiente corrida de todos los problemas de AirDisk pero en lugar de decirle que demuestre, le voy a decir que refute, a ver si me refuta alguno, ¿vale? Que la inteligencia cuando le dice que demuestre, piense también o tenga en cuenta…
Significado #1 · Palabras #1
Francis Villatoro explica por qué existe un interés específico en el problema de la distancia unitaria propuesto por Erdős.
Habla: Francis VillatoroPalabras #3problemas de erdős no resueltoslistado problemas erdős inteligencia artificialresolución sistemática problemas erdősproblema distancia unitaria erdőserdős y sus 14 artículosproblema erdős pasión del autor…los apuntes de R2 y están pasando por todos sus problemas uno detrás de otro y viendo qué cosas interesantes sacan de ahí. Pero es un caso más de una inteligencia artificial ayudando a los matemáticos a resolver problemas que hasta ahora estaban abiertos. Sí, bueno, esa es la gran ventaja del listado de problemas de Erdős, que ahora mismo literalmente decenas como mínimo y probablemente haya cientos de personas están literalmente poniendo primero el primero, después el segundo, después el tercero, después el cuarto, llegan al final, son 1.300 y pico, vuelven al principio de todos los no resueltos, de todos los no resueltos todavía, están sistemáticamente dándoles vueltas una y otra vez y eso echa un tiempo y las intereses artificiales mejoran y entonces lo están haciendo con diferentes inteligencias artificiales. O sea que no hay un enorme interés, específicamente por ese tipo de problemas porque la mayoría de los problemas de Erdős son irrelevantes; pero en concreto este problema sí es un problema bastante interesante y bastante atacado. Este es el problema de la distancia unitaria: es un problema que propuso Erdős en 1946, Erdős tenía 33 años, y es un problema que ha generado bastante eco porque Erdős ha recurrido a él muchas veces y lo cita en unos 14 artículos; y aunque como la mitad están específicamente dedicados a cuestiones relativas a este problema, los otros son artículos de revisión en el que menciona el problema como uno de los que más le apasionaba. Erdi llegó a valorar en dinero poner un premio para quien resolviera el problema de 300 euros, que más tarde subió a 500 para quien lo refutara o lo resolviera. El problema de la distancia unitaria es básicamente el problema de: si tú tienes un conjunto de…
Francis Villatoro explica cómo Erdős reintrodujo repetidamente un problema aparentemente sencillo, que ahora se considera un desafío importante dentro del campo de la geometría combinatoria.
Habla: Francis VillatoroSignificado #7 · Palabras #16problema erdős geometría combinatoriaerdős reintrodujo problema sencillo…que es un ejemplo muy bueno. Muy bueno porque el exponente es uno más, repito, del orden de el uno partido del logaritmo del logaritmo de n. Y entonces conjetura que es uno más, pues algo muy pequeño, algo despreciable, algo que es prácticamente uno, ¿vale? N elevado a uno. Entonces, ¿qué pasó con este problema al que varias veces ha reentrado Erdős en su carrera? Y es que este problema, que parece muy sencillo de describir, se ha ido convirtiendo en un problema rodeado de un cierto aura de que en este campo de investigación en el que se enmarca, que es la geometría combinatoria, se ha convertido como el gran problema de la geometría combinatoria. Es decir, prácticamente todo el mundo que hace un doctorado en geometría combinatoria trata de demostrar este problema; desarrolla nuevas técnicas, nuevas cosas, nuevas maneras de ver este tipo de problemas, y se lo voy a probar con este problema de ERDIS.…
Francis Villatoro explica cómo usuarios de ChatGPT Pro 5.5 han logrado replicar una demostración matemática, incluso mejorando las cotas establecidas.
Habla: Francis VillatoroSignificado #1 · Palabras #1chatgpt pro 5 5 mejora cotasproblema 690 chatgpt pro…la gente que utiliza GPT 5.5 Pro, ChatGPT 5.5 Pro, le dijo: refuta el problema 60 y ChatGPT Pro 5.5, el que todo el mundo que paga los 100 euros o los 200 euros puede usar, obtuvo la misma demostración. Hay gente que tiene su ordenador con todos los aspectos. Para que no se conecte nunca a internet, ¿vale? Para evitar que se vicie por ese tipo de pruebas y repetir cosas. Entonces algunas de esas personas lo han logrado. Lo han logrado. O sea, incluso mejoras en las cotas porque ya han definido incluso las constantes. Es decir, no se había logrado con CharGPT 5.5 Pro básicamente porque se le había pedido que demostrara el problema 690 y lo que había que decirle es que refutara; es decir, ahora mismo mucha gente está diciendo pues Ahora voy a hacer una siguiente corrida de todos los problemas de AirDisk pero en lugar de decirle que demuestre, le voy a decir que refute, a ver si me refuta alguno, ¿vale? Que la inteligencia cuando le dice que demuestre, piense también o tenga en cuenta…
Gastón Giribet explica que incluso en la solución de problemas matemáticos recientes, la guía y cooperación humana fue esencial, retomando una observación previamente hecha por Francis Villatoro.
Habla: Gastón GiribetPalabras #13guía humana en problemas matemáticoscooperación humano problemarefutación de conjetura originalfrancis villatoro observación previa…No es que uno se remite a la matemática que conocíamos en el 46 y la resolvió. No, la resolvió construyendo sobre cimientos hechos por matemáticos humanos, como le gusta decir a esta gente, antes. Esa es la segunda observación. La tercera observación es que incluso en esta solución la guía de los humanos fue esencial. No es que uno puso el problema en la máquina y dijo: vuelvo el jueves y lo tenés resuelto. No, hubo que saber guiar. Así que en esta misma demostración la presencia del humano fue esencial, una suerte de cooperación con el problema también. La tercera observación, que ya la dijo Francis pero nos cansamos de repetir, esta no es la resolución del problema original sino la refutación de una conjetura acerca de la solución del problema original, que no es lo mismo. Es muy interesante igual, pero no es lo mismo mostrar que alguien cuando quiso resolver el problema estaba equivocado aunque se le ve rimamente equivocado, no es resolver el problema original; eso también es importante aclararlo, porque si no uno confunde resolver un problema con resolver otro, que es mostrar que alguien está equivocando cuando quiso resolver el problema. Entonces todo esto es verdad, todas estas cosas hay que tenerlas en cuenta cuando uno quiere ponderar verdaderamente la importancia de este resultado. Lo del sesgo con el que afrontamos estos problemas me recuerda a ese mismo sesgo que teníamos en la carrera,…