Jove
Visualize
お問い合わせ
JoVE
x logofacebook logolinkedin logoyoutube logo
JoVEについて
概要リーダーシップブログJoVEヘルプセンター
著者向け
出版プロセス編集委員会範囲と方針査読よくある質問投稿
図書館員向け
推薦の声購読アクセスリソース図書館諮問委員会よくある質問
研究
JoVE JournalMethods CollectionsJoVE Encyclopedia of Experimentsアーカイブ
教育
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab Manual教員リソースセンター教員サイト
利用規約
プライバシーポリシー
ポリシー

関連する概念動画

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

こちらも読む

関連記事

共著者、ジャーナル、引用グラフによってこの研究に関連する記事。

並び替え
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
関連記事をすべて見る

関連する実験動画

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

オリンピックの幾何学を人間の演習なしに解く

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

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

Nature
|January 17, 2024
PubMed
まとめ
この要約は機械生成です。

AIシステムであるAlphaGeometryは,独自のデータを合成することで,ユークリッド平面幾何学における人間レベルの自動推論を実現します. オリンピックレベルの数学問題の 30件のうち 25件を解決し 過去のAI方法を上回ります

さらに関連する動画

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

関連する実験動画

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

科学分野:

  • 人工知能
  • 自動 推論
  • 計算式幾何学

背景:

  • オリンピックレベルの数学定理証明は 自動推論の基準です
  • 現在の機械学習方法は,特に幾何学では,高い翻訳コストとデータ不足のために数学領域で苦労しています.
  • 既存のアプローチは複雑な幾何学的な証明には適用できない.

研究 の 目的:

  • ユークリッド平面幾何学で定理を証明できるAIシステムであるアルファジオメトリを開発する.
  • 機械学習におけるデータ不足と翻訳コストの制約を克服する
  • 自律的に幾何学定理を生成し 解くことができる 神経シンボリックシステムを作る

主な方法:

  • ユークリッド平面幾何学の定理を証明するための神経シンボリックAIシステムであるAlphaGeometryを開発した.
  • 理論と証明の大規模合成データで訓練された神経言語モデルを使用しました.
  • 神経モデルによって誘導される シンボリック・デデクション・エンジンを統合して 複雑な問題空間をナビゲートします
  • 数百万の定理と証明を 合成して 人間によるデータの必要性を 回避した

主要な成果:

  • アルファジオメトリは30のオリンピックレベルの幾何学問題のうち25を 解決しました
  • このシステムは 前の最先端の方法の2倍以上の 問題解決を大幅に上回りました
  • 平均的な国際数学オリンピック (IMO) の金メダリストに匹敵するパフォーマンスを達成しました.
  • IMO 2000と2015からのすべての幾何学問題を解決しました.

結論:

  • アルファジオメトリは,特に複雑な幾何学において,AIによる数学的推論の重要な進歩を示しています.
  • 合成データを活用した神経シンボリックアプローチは,自動定理証明の重要な課題を効果的に克服します.
  • このシステムの性能は数学の研究と教育に寄与する可能性を示している.