ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

300 results

AI Proved What?
Covering Is Not Self-Dual? AI Claims a Counterexample to Pietsch’s Entropy Duality

Result 329 in OpenAI's math release is about metric-entropy duality. How many translates of a body L does it take to cover a body ...

3:45
Covering Is Not Self-Dual? AI Claims a Counterexample to Pietsch’s Entropy Duality

0 views

17 min ago

AI Proved What?
Every Surface Fits in 4D? AI Claims Isometric Immersions of Closed Surfaces, with Lean

Result 333 in OpenAI's math release is about placing surfaces in flat space with exactly their own lengths. A flat torus cannot sit ...

3:30
Every Surface Fits in 4D? AI Claims Isometric Immersions of Closed Surfaces, with Lean

0 views

16 min ago

AI Proved What?
Walks Reveal the Shape? AI Claims Markov Type Characterizes Superreflexivity

Result 327 in OpenAI's math release is about Markov type and superreflexivity. Run a stationary, reversible random walk on a ...

3:33
Walks Reveal the Shape? AI Claims Markov Type Characterizes Superreflexivity

0 views

17 min ago

AI Proved What?
Midpoints Aren’t Enough? AI Claims a Reflexive Space with No AUC Renorming

Result 331 in OpenAI's math release is about asymptotic convexity and diamond graphs. A norm is asymptotically uniformly ...

3:58
Midpoints Aren’t Enough? AI Claims a Reflexive Space with No AUC Renorming

0 views

17 min ago

AI Proved What?
Same Group, Not the Same? AI Claims a Counterexample to the Borel Conjecture in Dimension Four

Result 320 in OpenAI's math release is about the Borel conjecture. In 1953 Armand Borel asked Jean-Pierre Serre, in modern ...

3:44
Same Group, Not the Same? AI Claims a Counterexample to the Borel Conjecture in Dimension Four

0 views

38 min ago

DatabaseHistory
Logistics & Supply Chain 101 for DBAs - Episode 3: The JOIN Bottleneck vs. The Shortest-Path

Welcome back to Database History. In Episode 3 of our Logistics & Supply Chain series, we tackle the architectural nightmare of ...

5:12
Logistics & Supply Chain 101 for DBAs - Episode 3: The JOIN Bottleneck vs. The Shortest-Path

1 view

27 min ago

Always on Mute Podcast
I've Known More Than One Kind of Lonely   4 Types of Loneliness

... Headphones: Sony WH-CH520 Wireless Headphones 🖥️ Desk: TOPSKY Computer Desk with Storage Shelves Lighting: ...

16:07
I've Known More Than One Kind of Lonely 4 Types of Loneliness

1 view

41 min ago

AI Proved What?
Pisier’s Last Question? AI Claims the Cotype–Cotype Conjecture, with Lean

Result 326 in OpenAI's math release is about the cotype–cotype conjecture. Flip a fair sign on each of n vectors and add them up: ...

3:57
Pisier’s Last Question? AI Claims the Cotype–Cotype Conjecture, with Lean

0 views

37 min ago

AI Proved What?
V(4) at Last? AI Claims Finite Smith–Toda Complexes at Every Height

Result 308 in OpenAI's math release is about building blocks of stable homotopy theory. Brown–Peterson homology at a prime p ...

4:27
V(4) at Last? AI Claims Finite Smith–Toda Complexes at Every Height

0 views

59 min ago

AI Proved What?
Looks 2D, Isn’t? AI Claims a Counterexample to Wall’s D(2) Problem

Result 321 in OpenAI's math release is about Wall's D(2) problem. In 1965 C. T. C. Wall asked: if a finite 3-dimensional complex ...

3:18
Looks 2D, Isn’t? AI Claims a Counterexample to Wall’s D(2) Problem

0 views

38 min ago

AI Proved What?
Always a Hole? AI Claims Quillen’s Conjecture for Every Finite Group and Prime

Result 310 in OpenAI's math release is about finite groups and topology. For a finite group G and a prime p, Quillen (1978) built a ...

4:17
Always a Hole? AI Claims Quillen’s Conjecture for Every Finite Group and Prime

0 views

59 min ago

AI Proved What?
Every Dimension? AI Claims Thomason Model Structures for All Strict n-Categories, in Lean

Result 317 in OpenAI's math release is about Thomason model structures. Every small category has a nerve, a space built from its ...

4:19
Every Dimension? AI Claims Thomason Model Structures for All Strict n-Categories, in Lean

0 views

38 min ago

Meet Brandon
How Do You Pay Less for Netflix? (The Ad Plan)

Want Netflix for less? Here's how the cheaper ad plan works, and how to switch, one easy step at a time. U.S. prices from Netflix's ...

1:16
How Do You Pay Less for Netflix? (The Ad Plan)

2 views

27 min ago

AI Proved What?
Always a Fixed Point? AI Claims Kirk’s Reflexive Fixed-Point Problem, with Lean

Result 328 in OpenAI's math release is about Kirk's fixed-point problem. A map is nonexpansive if it never pulls two points farther ...

3:50
Always a Fixed Point? AI Claims Kirk’s Reflexive Fixed-Point Problem, with Lean

0 views

17 min ago

AI Proved What?
Never More Than Twice? AI Claims the Complete Crouzeix Conjecture, with Lean

Result 325 in OpenAI's math release is about the Crouzeix conjecture. The numerical range W(A) of a matrix A is the set of values ...

3:51
Never More Than Twice? AI Claims the Complete Crouzeix Conjecture, with Lean

0 views

37 min ago

AI Proved What?
Not Even a Piece Fits in 3D? AI Claims a Smooth Metric with No Local Isometric Immersion

Result 334 in OpenAI's math release asks whether every smooth rule for lengths on a surface can be built, near a point, as a small ...

4:18
Not Even a Piece Fits in 3D? AI Claims a Smooth Metric with No Local Isometric Immersion

0 views

15 min ago

AI Proved What?
Only the Famous Ones? AI Claims Curtis’s Conjecture on the Hurewicz Image of the Sphere

Result 316 in OpenAI's math release is about Curtis's conjecture. Each class in the stable homotopy groups of spheres gives a ...

4:20
Only the Famous Ones? AI Claims Curtis’s Conjecture on the Hurewicz Image of the Sphere

0 views

58 min ago