Home Tecnología Los matemáticos elogian el gran avance en el uso de la IA para sugerir nuevos teoremas | Noticias de ciencia y tecnología

Los matemáticos elogian el gran avance en el uso de la IA para sugerir nuevos teoremas | Noticias de ciencia y tecnología

by admin

Los científicos han utilizado por primera vez la inteligencia artificial para sugerir y probar nuevos teoremas matemáticos.

El avance potencial se produjo en una colaboración entre matemáticos que se especializan en matemáticas puras en las universidades de Oxford y Sydney, junto con DeepMind, propiedad de Google.

Su trabajo examinó la teoría de los nudos y la teoría de la representación, áreas de la “matemática pura” que típicamente dependen de la intuición humana para lograr avances.

DeepMind ha sido capaz repetidamente de resolver problemas que requieren analizar una enorme cantidad de datos y cálculos, como aprender a jugar juegos de computadora mejor que los humanos, o descubrir cómo se pueden plegar las proteínas.

Ahora, en un artículo publicado en la revista Nature, los investigadores han explicado cómo DeepMind también pudo descubrir patrones y conexiones en los campos matemáticos avanzados de la teoría de nudos y la teoría de la representación.

Los matemáticos de la Universidad de Oxford utilizaron la IA para descubrir una conexión sorprendente entre los nodos invariantes algebraicos y geométricos, estableciendo un teorema completamente nuevo en el campo.

El profesor Andras Juhasz, del instituto matemático de Oxford, dijo: “Los matemáticos puros trabajan formulando conjeturas y probándolas, lo que da como resultado teoremas. Pero, ¿de dónde provienen las conjeturas?”

“Hemos demostrado que, cuando se guía por la intuición matemática, el aprendizaje automático proporciona un marco poderoso que puede descubrir conjeturas interesantes y demostrables en áreas donde hay una gran cantidad de datos disponibles, o donde los objetos son demasiado grandes para estudiarlos con métodos clásicos”.

Su colega, el profesor Marc Lackey, agregó que le había fascinado ver cómo el aprendizaje automático de DeepMind les ayudó a desarrollar “conexiones nuevas e inesperadas entre diferentes áreas de las matemáticas”.

El profesor Geordie Williamson y sus colegas de la Universidad de Sydney pudieron utilizar las conexiones propuestas por la IA para acercarlos a probar una conjetura que no ha sido resuelta durante 40 años.

El profesor Williamson dijo: “Los problemas matemáticos se consideran en general como algunos de los problemas intelectualmente más desafiantes que existen.

“Si bien los matemáticos han usado el aprendizaje automático para ayudar en el análisis de conjuntos de datos complejos, esta es la primera vez que usamos computadoras para ayudarnos a formular conjeturas o sugerir posibles líneas de ataque para ideas no probadas en matemáticas”, dijo.

“La intuición puede llevarnos un largo camino, pero la IA puede ayudarnos a encontrar conexiones que la mente humana no siempre puede detectar fácilmente”, agregó el profesor.

You may also like

Leave a Comment

This site uses Akismet to reduce spam. Learn how your comment data is processed.

This website uses cookies to improve your experience. We'll assume you're ok with this, but you can opt-out if you wish. Accept Read More

Privacy & Cookies Policy