Related Experiment Video

Updated: Oct 28, 2026

Generating Strictly Controlled Stimuli for Figure Recognition Experiments
05:39

Generating Strictly Controlled Stimuli for Figure Recognition Experiments

Published on: March 18, 2019

Autonomous disproofs of the Erdős unit distance conjecture with GPT-5.5 Pro

Yichen Huang1

  • 1Santa Clarita, CA 91350.

Proceedings of the National Academy of Sciences of the United States of America
|October 26, 2026
PubMed

Related Concept Videos

Extended Versions of Green’s Theorem01:27

Extended Versions of Green’s Theorem

Green’s Theorem connects the circulation of a vector field around a closed curve with the behavior of the field across the region enclosed by that curve. It provides a way to replace a line integral around a boundary with a double integral over the interior region, making it especially useful in plane geometry, fluid flow, and vector calculus.Although Green’s Theorem is often introduced using simple regions without gaps, it can also be applied to regions made from several simple parts. This...
Theorems of Pappus and Guldinus01:10

Theorems of Pappus and Guldinus

The two theorems developed by Pappus and Guldinus are widely used in mathematics, engineering, and physics to find the surface area and volume of any body of revolution. This is done by revolving a plane curve around an axis that does not intersect the curve to find its surface area or revolving a plane area around a non-intersecting axis to calculate its volume.
For finding the surface area, consider a differential line element that generates a ring with surface area dA when revolved.
Theorem of Pappus01:24

Theorem of Pappus

The Theorem of Pappus, also known as the Pappus–Guldinus Theorem, provides a geometric method for determining the volume and surface area of solids generated by the revolution of a plane region or a plane curve about an external axis. The theorem consists of two related statements. The first addresses the volume of solids formed by rotating plane areas, while the second addresses the surface area generated by rotating plane curves. Both results depend on the location of the centroid, which...
Fundamental Theorem of Algebra01:30

Fundamental Theorem of Algebra

The Fundamental Theorem of Algebra is central to the study of polynomial equations, asserting that every non-constant polynomial with complex coefficients has at least one complex zero. This means that a polynomial of degree n ≥ 1, written as:  with an ≠ 0, has at least one solution in the complex number system. Since the set of real numbers is a subset of complex numbers, this theorem applies equally to polynomials with real coefficients.Building on this result, the Complete Factorization...
Green’s Theorem01:27

Green’s Theorem

Green’s Theorem establishes a relationship between a line integral around a closed plane curve and a double integral over the region enclosed by that curve. It applies to a vector field F(x, y) = 〈P(x, y), Q(x, y)〉, where P and Q have continuous first partial derivatives on an open set containing the region.Let C be a positively oriented, simple, closed, piecewise smooth curve, and let R be the plane region bounded by C. Green’s Theorem states that\begin{equation*}\oint_C P\,dx+Q\,dy =\iint_R...
Perpendicular-Axis Theorem01:16

Perpendicular-Axis Theorem

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...