
Chapter 1
El origen de las computadoras matemáticas
Chapter 2
Los asistentes de demostración modernos
Chapter 3
El descubrimiento de nuevos patrones
Chapter 4
El factor humano en las matemáticas
YOUR GOAL
Master of Matemáticas e inteligencia artificial
Ch 3 · El descubrimiento de nuevos patrones
sonia Descubrimiento de nuevos patrones
Traza el nudo, la máquina aprende, nace un teorema.

sonia Las redes neuronales modernas destacan encontrando fallas en teorías matemáticas existentes.

sonia La inteligencia artificial imita la asombrosa intuición del matemático indio Srinivasa Ramanujan.

BETA
sonia Compite contra la supercomputadora para descubrir si la inteligencia artificial reemplazará a los matemáticos.
Fun Fact
Máquina de Ramanujan: El algoritmo 'Máquina de Ramanujan' ha descubierto nuevas fórmulas para calcular la constante matemática Pi que ningún humano había visualizado antes.
Glossary
conjetura (sustantivo)
Juicio que se forma de algo a partir de indicios u observaciones. En 2021, la inteligencia artificial de DeepMind ayudó a formular hipótesis inéditas sobre la teoría de nudos.
Juicio que se forma de algo a partir de indicios u observaciones. En 2021, la inteligencia artificial de DeepMind ayudó a formular hipótesis inéditas sobre la teoría de nudos.
Quiz
¿Qué constante matemática famosa ha sido el objetivo principal de las fórmulas generadas por la Máquina de Ramanujan?
Quiz
¿En qué área de las matemáticas aplicó DeepMind su IA en 2021 para conectar la geometría hiperbólica y el álgebra?
Quiz
¿Qué empresa de inteligencia artificial colaboró en 2021 para hallar nuevos patrones en la teoría de nudos?
Quiz
¿Qué es un 'contraejemplo' en matemáticas, el cual las IA son muy eficientes encontrando?
Quiz
¿Qué célebre matemático indio inspiró el nombre del algoritmo del Technion que genera conjeturas matemáticas?
Quiz
¿Cuántos problemas de geometría de la Olimpiada Internacional logró resolver con éxito AlphaGeometry en 2024?
Quiz
¿Cómo se llama el sistema de IA de Google que en 2024 resolvió problemas de geometría a nivel de olimpiada?
