Contraejemplos matemáticos e inteligencia artificial
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

sonia Descubrimiento de nuevos patrones

Traza el nudo, la máquina aprende, nace un teorema.

Aug 22

sonia

sonia La búsqueda de contraejemplos matemáticos

Aug 22

sonia
La búsqueda de contraejemplos matemáticos

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

Aug 22

sonia
La intuición de Ramanujan digital

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

Aug 22

sonia
3 words. Catchy, but sounds like a console game: Maths vs
BETA

sonia Compite contra la supercomputadora para descubrir si la inteligencia artificial reemplazará a los matemáticos.

Aug 22

sonia
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.

Aug 22

sonia
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.

Aug 22

sonia
Gossip

¿Podrá la IA ganar una olimpiada?

Aug 22

sonia
Quiz

¿Qué constante matemática famosa ha sido el objetivo principal de las fórmulas generadas por la Máquina de Ramanujan?

Aug 22

sonia

sonia La intuición de Ramanujan digital

Aug 22

sonia
Quiz

¿En qué área de las matemáticas aplicó DeepMind su IA en 2021 para conectar la geometría hiperbólica y el álgebra?

Aug 22

sonia

sonia La llegada de DeepMind al juego

Aug 22

sonia
Quiz

¿Qué empresa de inteligencia artificial colaboró en 2021 para hallar nuevos patrones en la teoría de nudos?

Aug 22

sonia

sonia Los modelos de lenguaje y ecuaciones

Aug 22

sonia
Quiz

¿Qué es un 'contraejemplo' en matemáticas, el cual las IA son muy eficientes encontrando?

Aug 22

sonia
Quiz

¿Qué célebre matemático indio inspiró el nombre del algoritmo del Technion que genera conjeturas matemáticas?

Aug 22

sonia
Quiz

¿Cuántos problemas de geometría de la Olimpiada Internacional logró resolver con éxito AlphaGeometry en 2024?

Aug 22

sonia
Quiz

¿Cómo se llama el sistema de IA de Google que en 2024 resolvió problemas de geometría a nivel de olimpiada?

Aug 22

sonia
Quiz

¿En qué país se encuentra el instituto Technion, creador de la 'Máquina de Ramanujan' en 2021?

Aug 22