Búsqueda · 27 momentos en 11 episodios
Juan Carlos GilBorja TosarIgnacio CrespoFrancis VillatoroHéctor Socasproblemas erdős con formato latexintroducción problemas erdős en iademostraciones de problemas por iasLaTeXInteligencias ArtificialesErdős
Demostraciones de problemas por IAS
Con
0:000:301:001:302:002:303:003:37
Francis Villatoro explica el motivo por el cual se recopilaron los problemas de Erdős con formato LaTeX para facilitar su introducción en inteligencias artificiales.
…resultado que te va a servir como lema para tu demostración y escribes esa demostración y te importa un comino que resulte que eso es un problema de Erdős. Los problemas de ERDIS se han puesto de moda desde que hay una página web en internet que los recopila. ¿Y para qué alguien ha recopilado esos problemas de ERDIS con el enunciado escrito en látex para poderlo meter directamente en una IA? Porque esa era la intención. La intención era que esos problemas fueran metidos en inteligencias artificiales. Entonces no es sorprendente que las IAs estén dando demostraciones a muchos de esos problemas, sobre todo los problemas relativamente Fáciles. Este es un problema que Territau, después de haber hecho esa versión en una sola página del problema, ha dicho que este es un problema que a priori parecía difícil, pero que a posteriori es un problema fácil. Claro, ¿una vez que tenemos la…
Significado #1 · Palabras #1
Francis Villatoro explica el motivo por el cual se recopilaron los problemas de Erdős con formato LaTeX para facilitar su introducción en inteligencias artificiales.
Habla: Francis VillatoroSignificado #1 · Palabras #1problemas erdős con formato latexintroducción problemas erdős en iademostraciones de problemas por ias…resultado que te va a servir como lema para tu demostración y escribes esa demostración y te importa un comino que resulte que eso es un problema de Erdős. Los problemas de ERDIS se han puesto de moda desde que hay una página web en internet que los recopila. ¿Y para qué alguien ha recopilado esos problemas de ERDIS con el enunciado escrito en látex para poderlo meter directamente en una IA? Porque esa era la intención. La intención era que esos problemas fueran metidos en inteligencias artificiales. Entonces no es sorprendente que las IAs estén dando demostraciones a muchos de esos problemas, sobre todo los problemas relativamente Fáciles. Este es un problema que Territau, después de haber hecho esa versión en una sola página del problema, ha dicho que este es un problema que a priori parecía difícil, pero que a posteriori es un problema fácil. Claro, ¿una vez que tenemos la…