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

Theorems of Pappus and Guldinus: Problem Solving01:12

Theorems of Pappus and Guldinus: Problem Solving

740
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...
740
Castigliano's Theorem: Problem Solving01:14

Castigliano's Theorem: Problem Solving

650
The deflection of a simply supported beam that carries a central point load can be analyzed using structural mechanics principles, particularly by applying Castigliano's theorem. This theorem relates the displacement at the load application point to the partial derivatives of the strain energy in the structure. The simply supported beam with a point load at its center has symmetric reaction forces at the supports, each bearing half of the load. The bending moment at any point along the beam...
650
Perpendicular-Axis Theorem01:16

Perpendicular-Axis Theorem

2.8K
The perpendicular-axis theorem states that the moment of inertia of a planar object about an axis perpendicular to its plane is equal to the sum of the moments of inertia about two mutually perpendicular concurrent axes lying in the plane of the body.
Consider a circular disc of mass M and radius R lying along an x-y plane. The origin lies at the center of the disc, and the z-axis is perpendicular to the disc's plane. All three axes coincide at the disc's center. The moment of inertia of this...
2.8K
Parallel-axis Theorem01:06

Parallel-axis Theorem

6.6K
The parallel-axis theorem provides a convenient and quick method of finding the moment of inertia of an object about an axis parallel to the axis passing through its center of mass. Consider a thin rod as an example. There is a striking similarity between the process of finding the moment of inertia of a thin rod about an axis through its middle, where the center of mass lies, and about an axis through its end using the conventional method. In the conventional method, the concept of linear mass...
6.6K
Design Example: Measuring Distance Between Two Points with Obstructions01:10

Design Example: Measuring Distance Between Two Points with Obstructions

39
When measuring distances in areas with physical obstructions, such as a lake in a field, surveyors must employ techniques to calculate accurate lengths without direct line measurements. One effective method is the offset technique, which allows for precise distance estimation over inaccessible stretches.In this scenario, a surveyor must measure a side of an area that crosses a lake. Since the measuring tape cannot span the lake, the surveyor begins by establishing a baseline that aligns with...
39
Method of Sections: Problem Solving II01:30

Method of Sections: Problem Solving II

999
Consider an arbitrary truss structure composed of diagonal, vertical, and horizontal members fixed to the wall. To calculate the force acting on members CB, GB, and GH, method of sections can be used. The loads and lengths of the horizontal and vertical members are known parameters, as shown in the figure.
999

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

Low-Temperature Resistant and Biocompatible Hot-Melt Adhesives Enabled by Triblock Thermoplastic Polyester Elastomers.

Advanced materials (Deerfield Beach, Fla.)·2026
Same author

Study on dual-layer MPC-SMC control strategy for piezoelectric platforms based on extended kalman filter.

ISA transactions·2026
Same author

Exploring translator's style in children's literature: A case study of Nicky Harman's English translations of Huang Beijia's two works.

PloS one·2026
Same author

Impulsivity, time perception and non-suicidal self-injury in adolescents: from behavioral and fNIRS evidence.

Frontiers in psychiatry·2026
Same author

Endovascular therapy versus standard medical treatment for vertebrobasilar artery occlusion: a systematic review and meta-analysis.

Frontiers in neurology·2026
Same author

Multifactorial associations of non-suicidal self-injury among adolescents with depression: a network analytic perspective.

BMC psychology·2026
Same journal

Incoming US science academy chief vows to 'double down' on research.

Nature·2026
Same journal

Author Correction: Synthesis of enantioenriched atropisomers by biocatalytic deracemization.

Nature·2026
Same journal

Electrodeposited self-assembled molecules for perovskite photovoltaics.

Nature·2026
Same journal

Neutrino's nursery found: the 'Shadow Blaster'.

Nature·2026
Same journal

Dementia risk in middle-aged people linked to a blood protein.

Nature·2026
Same journal

Daily briefing: What's really happening with trust in science.

Nature·2026
Ver todos los artículos relacionados

Video Experimental Relacionado

Updated: Jul 5, 2025

Orienteering as a Tool for Cognitive Research: An Implementation Guide
07:13

Orienteering as a Tool for Cognitive Research: An Implementation Guide

Published on: November 29, 2024

784

Resolviendo la geometría olímpica sin demostraciones humanas

Trieu H Trinh1,2, Yuhuai Wu3, Quoc V Le3

  • 1Google Deepmind, Mountain View, CA, USA. thtrieu@google.com.

Nature
|January 17, 2024
PubMed
Resumen
Este resumen es generado por máquina.

AlphaGeometry, un sistema de IA, logra el razonamiento automatizado a nivel humano en la geometría del plano euclidiano mediante la síntesis de sus propios datos. Resuelve 25 de los 30 problemas de matemáticas de nivel olímpico, superando a los métodos anteriores de IA.

Más Videos Relacionados

Problem-Solving Before Instruction PS-I: A Protocol for Assessment and Intervention in Students with Different Abilities
10:26

Problem-Solving Before Instruction PS-I: A Protocol for Assessment and Intervention in Students with Different Abilities

Published on: September 11, 2021

4.0K
The Spatial Memory Game: Testing the Relationship Between Spatial Language, Object Knowledge, and Spatial Cognition
05:15

The Spatial Memory Game: Testing the Relationship Between Spatial Language, Object Knowledge, and Spatial Cognition

Published on: February 19, 2018

10.8K

Videos de Experimentos Relacionados

Last Updated: Jul 5, 2025

Orienteering as a Tool for Cognitive Research: An Implementation Guide
07:13

Orienteering as a Tool for Cognitive Research: An Implementation Guide

Published on: November 29, 2024

784
Problem-Solving Before Instruction PS-I: A Protocol for Assessment and Intervention in Students with Different Abilities
10:26

Problem-Solving Before Instruction PS-I: A Protocol for Assessment and Intervention in Students with Different Abilities

Published on: September 11, 2021

4.0K
The Spatial Memory Game: Testing the Relationship Between Spatial Language, Object Knowledge, and Spatial Cognition
05:15

The Spatial Memory Game: Testing the Relationship Between Spatial Language, Object Knowledge, and Spatial Cognition

Published on: February 19, 2018

10.8K

Área de la Ciencia:

  • Inteligencia artificial
  • El razonamiento automatizado
  • Geometría computacional

Sus antecedentes:

  • La demostración de teoremas matemáticos de nivel olímpico es un punto de referencia para el razonamiento automatizado.
  • Los métodos actuales de aprendizaje automático luchan con los dominios matemáticos debido a los altos costos de traducción y la escasez de datos, especialmente en geometría.
  • Los enfoques existentes carecen de aplicabilidad para pruebas geométricas complejas.

Objetivo del estudio:

  • Para desarrollar un sistema de IA, AlphaGeometry, capaz de probar teoremas en geometría del plano euclidiano a un nivel olímpico.
  • Superar las limitaciones de la escasez de datos y los costos de traducción en el aprendizaje automático para la geometría.
  • Para crear un sistema neuro-simbólico que puede generar y resolver teoremas geométricos de forma autónoma.

Principales métodos:

  • Desarrolló AlphaGeometry, un sistema de IA neuro-simbólico para probar el teorema de la geometría plana euclidiana.
  • Utilizó un modelo de lenguaje neural entrenado en datos sintéticos a gran escala de teoremas y pruebas.
  • Integrado un motor de deducción simbólica guiado por el modelo neural para navegar espacios de problemas complejos.
  • Sintetizó millones de teoremas y pruebas para evitar la necesidad de datos demostrados por humanos.

Principales resultados:

  • AlphaGeometry resolvió con éxito 25 de los 30 problemas de geometría de nivel olímpico.
  • El sistema superó significativamente a los métodos de última generación anteriores, resolviendo más del doble de problemas.
  • Logró un rendimiento comparable al promedio de un medallista de oro de la Olimpiada Internacional de Matemáticas (IMO).
  • Generó pruebas legibles por humanos y abordó con éxito todos los problemas de geometría de la OMI 2000 y 2015.

Conclusiones:

  • AlphaGeometry demuestra un avance significativo en el razonamiento matemático impulsado por IA, particularmente en geometría compleja.
  • El enfoque neuro-simbólico, aprovechando los datos sintéticos, supera efectivamente los desafíos clave en la prueba automatizada de teoremas.
  • El rendimiento del sistema indica su potencial para contribuir a la investigación y la educación matemáticas.