Jove
Visualize
Contáctanos
JoVE
x logofacebook logolinkedin logoyoutube logo
ACERCA DE JoVE
Visión GeneralLiderazgoBlogCentro de Ayuda JoVE
AUTORES
Proceso de PublicaciónConsejo EditorialAlcance y PolíticasRevisión por ParesPreguntas FrecuentesEnviar
BIBLIOTECARIOS
TestimoniosSuscripcionesAccesoRecursosConsejo Asesor de BibliotecasPreguntas Frecuentes
INVESTIGACIÓN
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchivo
EDUCACIÓN
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualCentro de Recursos para ProfesoresSitio de Profesores
Términos y Condiciones de Uso
Política de Privacidad
Políticas

Videos de Conceptos Relacionados

Deductive Reasoning01:16

Deductive Reasoning

63.7K
Deductive reasoning, or deduction, is the type of logic used in hypothesis-based science. In deductive reasoning, the pattern of thinking moves in the opposite direction as compared to inductive reasoning, which means that it uses a general principle or law to predict specific results. From those general principles, a scientist can deduce and predict the specific results that would be valid as long as the general principles are valid.
For example, a researcher can deduce specific predictions...
63.7K
Reasoning01:30

Reasoning

388
Reasoning is the action of thinking about something in a logical, sensible way. It is integral to problem-solving, decision-making, and critical thinking. Reasoning can be inductive or deductive. Reasoning involves transforming information into conclusions, which is essential for problem-solving, decision-making, and critical thinking.
Inductive reasoning involves deriving generalizations from specific observations. This type of reasoning helps form beliefs about the world. For example,...
388
Inductive Reasoning00:59

Inductive Reasoning

64.5K
Inductive reasoning is a form of logical thinking that uses related observations to arrive at a general conclusion. It is uncertain and operates in degrees to which the conclusions are credible. As such, inductive arguments can be weak or strong, rather than valid or invalid, and conclusions can be used to formulate testable, falsifiable hypotheses.
Inductive reasoning is common in descriptive science. A life scientist makes observations and records them. This data can be qualitative or...
64.5K
Observational Learning01:12

Observational Learning

804
Albert Bandura's observational learning, also known as imitation or modeling, occurs when a person observes and imitates another's behavior. It is a quicker process than operant conditioning. A well-known example is the Bobo doll study, where children who saw an adult acting aggressively towards the doll were more likely to act aggressively when left alone, compared to those who observed a nonaggressive adult. Many psychologists view observational learning as a form of latent learning...
804
Reinforcement01:23

Reinforcement

804
Positive and negative reinforcement are key concepts in operant conditioning, a learning process where the consequences of a behavior affect the likelihood of that behavior being repeated.
Positive reinforcement occurs when a behavior is followed by the presentation of a rewarding stimulus, increasing the frequency of that behavior. For example:
804
Theorems of Pappus and Guldinus: Problem Solving01:12

Theorems of Pappus and Guldinus: Problem Solving

1.0K
Pappus and Guldinus's theorems are powerful mathematical principles that are used for finding the surface area and volume of composite shapes. For example, consider a cylindrical storage tank with a conical top. Finding the surface area or volume can be challenging for such complex shapes. These theorems are particularly useful in calculating the volume and surface area of such systems. Here, the cylindrical storage tank with a conical top can be broken down into two simple shapes: a...
1.0K

También podría leer

Artículos Relacionados

Artículos vinculados a este trabajo por autores compartidos, revista y gráfico de citas.

Ordenar por
Same author

Accelerating scientific discovery with Co-Scientist.

ArXiv·2026
Same author

Lipid nanoparticles for Cas9 ribonucleoprotein delivery: design and evaluation of ionisable oligoamine-lipidoids.

European journal of pharmaceutical sciences : official journal of the European Federation for Pharmaceutical Sciences·2026
Same author

Accelerating scientific discovery with Co-Scientist.

Nature·2026
Same author

Advancing conversational diagnostic AI with multimodal reasoning.

Nature medicine·2026
Same author

Advancing regulatory variant effect prediction with AlphaGenome.

Nature·2026
Same author

Tumor Microenvironment Reprogramming via Copper-Enriched Black Phosphorus Nanoplatform for Cuproptosis-Sensitized Low-Dose Radioimmunotherapy.

International journal of nanomedicine·2025

Video Experimental Relacionado

Updated: Jan 11, 2026

Exploring the Role of Deontic Reasoning and World Knowledge in Wason´s Selection Task
06:08

Exploring the Role of Deontic Reasoning and World Knowledge in Wason´s Selection Task

Published on: July 22, 2025

814

Razonamiento matemático formal de nivel olímpico con aprendizaje por refuerzo

Thomas Hubert1, Rishi Mehta2, Laurent Sartran2

  • 1Google DeepMind, London, UK. tkhubert@google.com.

Nature
|November 12, 2025
PubMed
Resumen

AlphaProof, un agente de IA, aprende el razonamiento matemático complejo a través del aprendizaje por refuerzo (RL) y las pruebas formales. Este sistema logró un rendimiento de nivel de medalla en la competencia de la OMI, lo que demuestra

Más Videos Relacionados

The Double-H Maze: A Robust Behavioral Test for Learning and Memory in Rodents
09:01

The Double-H Maze: A Robust Behavioral Test for Learning and Memory in Rodents

Published on: July 8, 2015

13.1K
Working Memory Training for Older Participants: A Control Group Training Regimen and Initial Intellectual Functioning Assessment
07:01

Working Memory Training for Older Participants: A Control Group Training Regimen and Initial Intellectual Functioning Assessment

Published on: September 20, 2020

5.2K

Videos de Experimentos Relacionados

Last Updated: Jan 11, 2026

Exploring the Role of Deontic Reasoning and World Knowledge in Wason´s Selection Task
06:08

Exploring the Role of Deontic Reasoning and World Knowledge in Wason´s Selection Task

Published on: July 22, 2025

814
The Double-H Maze: A Robust Behavioral Test for Learning and Memory in Rodents
09:01

The Double-H Maze: A Robust Behavioral Test for Learning and Memory in Rodents

Published on: July 8, 2015

13.1K
Working Memory Training for Older Participants: A Control Group Training Regimen and Initial Intellectual Functioning Assessment
07:01

Working Memory Training for Older Participants: A Control Group Training Regimen and Initial Intellectual Functioning Assessment

Published on: September 20, 2020

5.2K

Área de la Ciencia:

  • Inteligencia artificial
  • Métodos formales
  • Aprendizaje por refuerzo

Sus antecedentes:

  • Los sistemas actuales de IA a menudo carecen de verificación formal para el razonamiento matemático.
  • Los lenguajes formales como Lean proporcionan entornos de razonamiento basados en la tierra.
  • El aprendizaje por refuerzo (RL) ofrece un mecanismo para el aprendizaje en entornos interactivos.

Objetivo del estudio:

  • Desarrollar un sistema de IA capaz de razonamiento matemático complejo y generación de pruebas formales.
  • Aprovechar RL para el aprendizaje de estrategias de prueba en dominios matemáticos formales.
  • Mejorar el rendimiento de la IA en problemas matemáticos desafiantes.

Principales métodos:

  • Desarrolló AlphaProof, un agente inspirado en AlphaZero que utiliza RL para el descubrimiento de pruebas formales.
  • Entrenado AlphaProof en millones de problemas matemáticos auto-formalizados.
  • Tiempo de prueba empleado RL para la adaptación específica de problemas difíciles.

Principales resultados:

  • AlphaProof ha avanzado significativamente en el estado de los resultados de la técnica en problemas históricos de competición matemática.
  • El sistema de IA resolvió tres de los cinco problemas no geométricos en la competencia de la OMI de 2024, incluido el más difícil.
  • Combinado con AlphaGeometry 2, la IA logró una puntuación equivalente a la medalla de plata, una primera para la IA en el rendimiento a nivel de medalla.

Conclusiones:

  • El aprendizaje a gran escala a partir de la experiencia fundamentada permite a los agentes de IA tener un razonamiento matemático sofisticado.
  • AlphaProof demuestra el potencial de las herramientas de IA confiables para la resolución de problemas matemáticos complejos.
  • Este trabajo allana el camino para que los sistemas de IA aborden complejos desafíos matemáticos.