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
概括

一个人工智能代理AlphaProof通过强化学习 (RL) 和正式证明来学习复杂的数学推理. 这一系统在国际海事组织的比赛中获得了奖牌级别的表现,

更多相关视频

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学习证明策略.
  • 提高人工智能在挑战性数学问题上的表现.

主要方法:

  • 开发了AlphaProof,一个以AlphaZero为灵感的代理,利用RL进行正式的证据发现.
  • 在数以百万计的自动化数学问题上训练AlphaProof.
  • 使用测试时间 RL 针对难题进行特定的调整.

主要成果:

  • 在历史数学竞赛问题上取得了显著的先进成果.
  • 在2024年国际海事组织比赛中,人工智能系统解决了五个非几何问题中的三个,包括最困难的问题.
  • 结合AlphaGeometry 2,人工智能获得了相当于银牌的分数,这是人工智能首次获得奖牌级别的成绩.

结论:

  • 从有基础的经验中进行大规模的学习使得人工智能代理具有复杂的数学推理.
  • 对于复杂的数学问题解决,AlphaProof展示了可靠的人工智能工具的潜力.
  • 这项工作为人工智能系统解决复杂的数学挑战铺平了道路.