ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

49 results

AI Proved What?
Never the Same Twice? AI Claims the Purely Cosmetic Surgery Conjecture for Knots

Result 306 in OpenAI's math release is about Dehn surgery on knots. Remove a neighbourhood of a knot in the 3-sphere and ...

4:36
Never the Same Twice? AI Claims the Purely Cosmetic Surgery Conjecture for Knots

0 views

57 min ago

How It Really Works?
Python緊急更新を時系列で解説|pip・仮想環境に残る対応

2026年10月24日10:06 JST時点。Pythonの証明書問題への対応を、10月20日の注意喚起、21日の緊急版、既存の仮想環境・ ...

6:11
Python緊急更新を時系列で解説|pip・仮想環境に残る対応

0 views

31 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

37 min ago

codingjanta
Complete Python Course in Hindi 🔥 | Python Full Course for Beginners to Advanced | 2026

... Functions and Lambda Functions ✓ Recursion and Python Modules ✓ File Handling ✓ Exception Handling ✓ Object-Oriented ...

3:14
Complete Python Course in Hindi 🔥 | Python Full Course for Beginners to Advanced | 2026

13 views

Streamed 4 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

15 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

14 min ago

Vadim Ilchenko
OpenAI agents broke out of their own training sandbox

Episode for 24 October 2026 OpenAI told how its own agents attacked the isolation of its training environment. On the way, the ...

12:55
OpenAI agents broke out of their own training sandbox

0 views

25 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

37 min ago

AI Proved What?
Spaces as Algebra? AI Claims Grothendieck’s Homotopy Hypothesis, Core Step in Lean

Result 312 in OpenAI's math release is about Grothendieck's homotopy hypothesis. In Pursuing Stacks (1983) Grothendieck ...

4:32
Spaces as Algebra? AI Claims Grothendieck’s Homotopy Hypothesis, Core Step in Lean

0 views

36 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

14 min ago

Atlas Arcade
Street Fighter but it’s PLAYABLE in YouTube!

Street Fighter but it's a PLAYABLE interactive YouTube video! If you lose, click here to restart 0:30 This interactive video is ...

1:16
Street Fighter but it’s PLAYABLE in YouTube!

12 views

3 min ago

AI Proved What?
Robert’s Trace-Cone Question: AI Claims Traces Classify Razak–Jacelon Stabilizations

Result 301 in OpenAI's math release is about classifying C*-algebras by their traces. Here traces are defined on positive elements ...

3:51
Robert’s Trace-Cone Question: AI Claims Traces Classify Razak–Jacelon Stabilizations

0 views

59 min ago

AI Proved What?
Always Lie? AI Claims the Hilbert–Smith Conjecture in Every Finite Dimension

Result 304 in OpenAI's math release claims one of the classic open problems of topology. Hilbert's fifth problem (1900) asked how ...

4:38
Always Lie? AI Claims the Hilbert–Smith Conjecture in Every Finite Dimension

0 views

58 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

15 min ago

AI Proved What?
The Sphere Knows All? AI Claims a Solution to Tingley’s Problem, with Lean

Result 322 in OpenAI's math release is about Tingley's problem. In a normed space the unit sphere need not be round: with the ...

3:42
The Sphere Knows All? AI Claims a Solution to Tingley’s Problem, with Lean

0 views

15 min ago

AI Proved What?
Same Shape, Not the Same? AI Claims Lipschitz-Equivalent Banach Spaces That Differ

Result 324 in OpenAI's math release is about the Lipschitz isomorphism problem. Two Banach spaces are linearly isomorphic ...

3:52
Same Shape, Not the Same? AI Claims Lipschitz-Equivalent Banach Spaces That Differ

0 views

14 min ago

Prabhanjana Kumar
How celld Runs Millions of Stateful Objects on Just a Few Servers

celld runs Cloudflare-style Durable Objects on your own machines: millions of small stateful "cells", each with its own SQLite, only ...

17:42
How celld Runs Millions of Stateful Objects on Just a Few Servers

0 views

35 min ago

AI Proved What?
The Kirchberg–Rørdam Question: AI Claims Jiang–Su Stability Comes Down to Characters

Result 299 in OpenAI's math release is about the Kirchberg–Rørdam question. A character of a C*-algebra is a one-dimensional ...

3:42
The Kirchberg–Rørdam Question: AI Claims Jiang–Su Stability Comes Down to Characters

0 views

59 min ago

AI Proved What?
Free Groups Not Good? AI Claims Counterexamples to 4D Disc Embedding and Wall’s Question

Result 305 in OpenAI's math release is about four-dimensional topology. In dimension five and up, the Whitney trick removes ...

4:55
Free Groups Not Good? AI Claims Counterexamples to 4D Disc Embedding and Wall’s Question

0 views

58 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

16 min ago