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

関連する概念動画

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

こちらも読む

関連記事

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

並び替え
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

関連する実験動画

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

オリンピックレベルの公式数学推論と補強学習

Thomas Hubert1, Rishi Mehta2, Laurent Sartran2

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

Nature
|November 12, 2025
PubMed
まとめ

AIのエージェントであるAlphaProofは 補強学習 (RL) と形式的な証明を通じて 複雑な数学的推論を学習します このシステムは,IMOのコンペティションでメダルレベルのパフォーマンスを達成し,AIを証明しました.

さらに関連する動画

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

関連する実験動画

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

科学分野:

  • 人工知能
  • 公式な方法
  • 強化学習

背景:

  • 現在の人工知能システムには 数学的推論の正式な検証が欠けていることが多い.
  • Leanのような正式な言語は 根拠のある推論の環境を提供します
  • 強化学習 (RL) は,インタラクティブな環境で学習するためのメカニズムを提供します.

研究 の 目的:

  • 複雑な数学的推論と 正式な証明の生成を可能にする AI システムを開発する
  • 正式な数学領域で証明戦略を学ぶためにRLを活用する.
  • 挑戦的な数学の問題に対する AI のパフォーマンスを向上させるため

主な方法:

  • アルファプローフを開発しました アルファゼロからインスピレーションを得て 公式の証拠発見のために RL を使用しています
  • 数学の問題でアルファプロフを訓練した
  • 難しい問題に対する問題特有の適応のためのRL.

主要な成果:

  • アルファプローフは 歴史的な数学競技問題に関する 最先端の成果を 明らかにした.
  • AIシステムは 2024年のIMOコンテストで最も難しい問題を含めて 5つの非幾何学問題の3つを解決しました
  • アルファジオメトリ2と組み合わせたAIは,銀メダリストに相当するスコアを達成し,メダルのレベルのパフォーマンスのAIで初めてです.

結論:

  • 接地された経験から大規模な学習は,高度な数学的推論を持つ AI エージェントを可能にします.
  • AlphaProofは 複雑な数学的な問題解決のための 信頼できるAIツールの可能性を 示しています
  • この研究は AIシステムに複雑な数学的な課題を 解決する道を開きます